yusuke1997/dblp-id-title huggingface dataset:
Integrating Refinement into Software Development Tools
Proof-carrying Bytecode
The SPARTA Pseudonym and Authorization System
LPS: A Language Prototyping System Using Modular Monadic Semantics
Monitoring Bounded LTL Properties Using Interval Analysis
Transformation of UML Models into Analyzable OSAN Models
A User Interface for a Mathematical System that Allows Ambiguous Formulae
Continuation semantics and self-adjointness
Categorifying Computations into Components via Arrows as Profunctors
Towards a Logic for Performance and Mobility
Formal Translation of Bytecode into BoogiePL
State-oriented Noninterference for CCS
Branching-Depth Hierarchies
Hierarchical Design Rewriting with Maude
Proof Search and Counter Model of Positive Minimal Predicate Logic
XRT- Exploring Runtime for .NET Architecture and Applications
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
Matroids from modules
An elementary algorithm for digital arc segmentation
Modular Structural Operational Semantics with Strategies
A Partial Type Checking Algorithm for Type: Type
Cooperation-based Invariants for OO Languages
What is a Categorical Model of Arrows?
A Framework for Complexity Classes in Membrane Computing
Foundations of Vagueness : a Category-theoretic Approach
Animalipse - An Eclipse Plugin for AnimalScript
Temporal constraints for concurrent object synchronisation
A Calculus for Mobile Ad-hoc Networks with Static Location Binding
A Model for the Delay Management Problem based on Mixed-Integer-Programming
Annotations for Defining Interactive Instructions to Interpreter Based Program Visualization Tools
Harnessing a Refinement Theory to Compute Loop Functions
Simple Network Protocol Simulation within Maude
A Case Study of a Formalized Security Architecture
Exploiting Visual Languages Generation and UML Meta Modeling to Construct Meta-CASE Workbenches
Adding Graph Transformation Concepts to UML's Constraint Language OCL
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties
A Characterization of Monotonicity with Collective Quantifiers
Distributed Framework for Adaptive Explanatory Visualization
Declarative Intraprocedural Flow Analysis of Java Source Code
TOY: A System for Experimenting with Cooperation of Constraint Domains
An Approach to Behavioral Subtyping Based on Static Analysis
Model Driven Development of Security Aspects
Priestley Duality for Strong Proximity Lattices
Unifying Architectural and Behavioural Specifications of Distributed Components
From Coalition Logic to STIT
Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax
Towards a K Semantics for OCL
An Algorithm for Computing Fundamental Solutions
Secure Web Service Workflow Execution
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
Abstraction in Graph-Transformation Based Diagram Editors
Using Aspect-orientation Techniques to Improve Reuse of Metamodels
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources
Refining specifications to programmable logic
A Formal Approach to Service Specification and Matching based on Graph Transformation
Programming with Quantum Communication
On Regular Paths with Counting and Data Tests
Lattice algorithms for compression color space estimation in JPEG images
A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract
The Chromatic Index of Proper Circular-arc Graphs of Odd Maximum Degree which are Chordal
Electronic Purse Applet Certification: extended abstract
An OO interpretation of graphs as meta-CASE's Meta-meta-model
Specialisation of Higher-Order Functions for Debugging
Process Algebraic Non-product-forms
Specifications using XQuery Expressions on Traces
A Resolution-based Model Building Algorithm for a Fragment of OCC1N=
Structured Types and Separation Logic
An Automata Based Approach for Verifying Information Flow Properties
Semantic Determinism and Functional Logic Program Properties
Weak Domain Models of T 1 spaces
If, not when
On the way to certify Computer Algebra Systems
Universal Approach to Z -frame Envelopes of Semilattices
Abstract Domains for Type Juggling
Automated Fault Localization for C Programs
Using and Parsing the Mizar Language
Coinduction in Concurrent Timed Systems
A Mechanism for Communication-Efficient Broadcast Encryption over Wireless Ad Hoc Networks
Formal Reduction for Rule-based Models
A Tableau Calculus for Minimal Modal Model Generation
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
A-maze-ing Esterel
CaRet With Forgettable Past
Compiling the pi-calculus into a Multithreaded Typed Assembly Language
A Calculus of Terms for Coalgebras of Polynomial Functors
Coupled Transformation of Schemas, Documents, Queries, and Constraints
An Action Compiler Targeting Standard ML
Families of Induced Trees and Their Intersection Graphs
Six Themes for Future Concurrency Research
Toposes of Coalgebras and Hidden Algebras
Web Components and the Semantic Web
Testing from Structured Algebraic Specifications: The Veritas Case Study
G-Reactive Systems as Coalgebras
A Formal Framework for Interactive Agents
Modularity and Implementation of Mathematical Operational Semantics
A Logical Framework for Debugging in Declarative Constraint Programming
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
Combining Non-stably Infinite, Non-first Order Theories
Explicit substitutions à la de Bruijn: the local and global way
Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic
Global Types and Network Services
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Three Performance Models at Work: A Software Designer Perspective
A Logic for Graphs with QoS
Bialgebraic Semantics and Recursion (Extended Abstract)
Automatic Analysis of the NRL Pump
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations
Abstract Fixpoint Computations with Numerical Acceleration Methods
A Functional Algorithm for Exact Real Integration with Invariant Measures
Measuring and Reducing Clutter in Euler Diagrams
Formal topology and domains
Strategy Construction in the Higher-Order Framework of TL
Handling Relations over Finite Domains in the Rule-Based System ELAN
Handling State-Machines Specifications with GATeL
Strongly normal sets of tiles in N dimensions
Modal Logics for Observation Equivalences
Syntax Definition with Graphs
Poitín: Distilling Theorems From Conjectures
Extra Variables Can Be Eliminated from Functional Logic Programs
Towards Merging PlatOmega and PGIP
Towards a Notion of Transaction in Graph Rewriting
Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction
Compact Representation of Photosynthesis Dynamics by Rule-based Models
Foundations for a Combination of Heterogeneous Specification Components
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
Strongly Normalising Cut-Elimination with Strict Intersection Types
On Modeling Coordination via Asynchronous Communication and Enhanced Matching
Coinductive Predicates and Final Sequences in a Fibration
SPPF-Style Parsing From Earley Recognisers
Relating Hybrid Chi to Other Formalisms
Context-free hypergraph grammars with node rewriting
A Design Tool for Service-oriented Systems
Distribution and Mobility with Lexical Scoping in Process Calculi
A Calculus for Team Automata
Tarzan: Communicating and Moving in Wireless Jungles
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
A Novel Derivation Framework For Definite Logic Program
Probabilistic Barbed Congruence
A Basic Parallel Process as a Parallel Pushdown Automaton
Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs
From Varieties of Algebras to Covarieties of Coalgebras
Semi-automated Tool Recommender for Software Development Processes
On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address
Refinement of actions in a real-time process algebra with a true concurrency model
The Axiom System ISigma 0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem
JVM Independent Replay in Java
Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)
A Framework for Modelling and Simulating Networks of Cells
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols
Streams, d-Spaces and Their Fundamental Categories
From Contextual Grammars to Range Concatenation Grammars
Control Flow Analysis for BioAmbients
Confluence Results for a Quantum Lambda Calculus with Measurements
Type Inference for Mobile Ambients in Prolog
Context for Models of Concurrency
Towards a Duality Result in Coalgebraic Modal Logic
The Effects of Effects on Constructivism
Temporal induction by incremental SAT solving
How to Collect Balls Moving in the Euclidean Plane
The Interactive Curry Observation Debugger iCODE
Real-Time Maude 2.1
Cost-sensitive diagnosis of declarative programs
Modelling a Secure Agent with Team Automata
ASF+SDF parsing tools applied to ELAN
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
On the Complexity of the Extended Euclidean Algorithm (extended abstract)
The Second Rewrite Engines Competition
An M X /G/1 Energetic Retrial Queue with Vacations and it's Control
Another Look at Function Domains
Cyclic Extensions of Order Varieties
Qualitative Uncertainty Orderings Revised
A Computational Definition of the Notion of Vectorial Space
Expressing Priorities and External Probabilities in Process Algebra via Mixed Open/Closed Systems
T ω as a Stable Universal Domain
Polynomial Ideals, Gröbner Bases and Constraints
Verification of Distributed Hierarchical Components
Rule-Based Operational Semantics for an Imperative Language
Actors and Logical Analysis of Interactive Systems
Towards Property Oriented Testing
What You Lose is What You Leak: Information Leakage in Declassification Policies
VOC: A Translation Validator for Optimizing Compilers
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
Aximo: Automated Axiomatic Reasoning for Information Update
Hypergraph rewriting using conformisms
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming
A Framework for Interpreting Traces of Functional Logic Computations
Formal Verification in the Design of Gestural Interaction
Categorical Structure of Asynchrony
Projectable Semantics for Statecharts
Taclets and the KeY Prover
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens
State-based Components Made Generic
From Coalgebraic to Monoidal Traces
LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks
An Analysis for Causal Properties of Membrane Interactions
An Introduction to History Dependent Automata
A Hierarchy of Quantum Semantics
Soundly Handling Static Fields: Issues, Semantics and Analysis
Formal Verification of Concurrent Systems via Directed Model Checking
The Garland Measure and Computational Complexity of Stack Programs
Model Decomposition and Stochastic Fragments
From Theoretical e-barter Models to an Implementation Based on Web Services
Logical Semantics for Stability
Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday
A Noncommutative Full Completeness Theorem
Communicating Concurrent Objects in HiddenCCS
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations
Deduction Systems for BDI Logics with Mental State Consistency
Store Atomicity for Transactional Memory
Error Detection in Concurrent Java Programs
Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints
A New Algorithm for Partitioned Symbolic Reachability Analysis
The tccp Interpreter
A Rigorous Model of Service Component Architecture
The Category of Markov Kernels
Stochastic Object-Based Graph Grammars
Deduction as an Engineering Science
Evaluating the Model-Based Testing Approach in the Context of Mobile Applications
Autonomic Adaptation solution based on Service-Context Adequacy Determination
The lambda-context Calculus
Classifying categories for partial equational logic
A Learning Algorithm for Deterministic Finite Automata using JFLAP
Patterns for Maude Metalanguage Applications
A Virtual Machine Based Information Flow Control System for Policy Enforcement
The Role of Visual Modeling and Model Transformations in Business-driven Development
SGCCS: A Graphical Language for Real-time Coordination
Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I)
Testing Non-deterministic Stream X-machine Models and P systems
Some Properties and Some Problems on Set Functors
Applications = Components + GLoo
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs
Rewritings for Polarized Multiplicative and Exponential Proof Structures
Recognizing Graph Search Trees
Bisimulation and Co-induction: Some Problems
Where Do Bugs Come From?
Topological (Bi-)Simulation
A Holistic Resource Management for Graphics Processing Units in Cloud Computing
Clones with Nullary Operations
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
A Logic for Coalgebraic Simulation
Verifying Object-Based Graph Grammars
Why ever CSP?
Sequential Computability of a Function: Diagonal Space and Limiting Recursion
Constructive Membership Predicates as Index Types
Combining OCL and Programming Languages for UML Model Processing
Borel Kernels and their Approximation, Categorically
Relating Two Approaches to Coinductive Solution of Recursive Equations
Decomposing Split Graphs into Locally Irregular Graphs
A Database Approach to Distributed State Space Generation
FPT Algorithms to Enumerate and Count Acyclic and Totally Cyclic Orientations
Reduced Functional Consistency of Uninterpreted Functions
Living with Paradoxes
On the Convergence of Reduction-based and Model-based Methods in Proof Theory
The OMRS project: state of the art
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks
Rank 2 Types for Term Graph Rewriting
A Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals
Service Oriented Computing: A New Challenge for Process Algebras
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking
A Type System for Context-dependent Overloading
Notes Towards a Semantics for Proof-search
Reasoning with Uncertain and Conflicting Opinions in Open Reputation Systems
Unfolding-based Improvements on Fuzzy Logic Programs
Stochastic Cellular Automata in Dynamic Environmental Modeling: Practical Applications
Order-Sorted Generalization
Generic Abstraction of Dictionaries and Arrays
Contract-based mutation testing in the refinement calculus
Some Characterization Results for Permutation Algebras
Extending Propositional Dynamic Logic for Petri Nets
Undecidability of Model Checking in Brane Logic
Coalgebras for Fuzzy Transition Systems
On the construction of a new generalization of Runge-Kutta methods
The Future of Formal Methods and GALS Design
On Using B in the Design of Secure Micro-controllers: An Experience Report
On the Complexity of Convex Hulls of Subsets of the Two-Dimensional Plane
A Java API for Creating (not only) AnimalScript
Structural Translation from Time Petri Nets to Timed Automata
Managing Trustworthiness in Component-based Embedded Systems
Double-spend Attack Models with Time Advantange for Bitcoin
Thoughts on Requirements and Design Issues of User Interfaces for Proof Assistants
Criteria for Homotopic Maps to be So Along Monotone Homotopies
Towards Syntax-Aware Editors for Visual Languages
Towards a Model-Theory for Esterel
Vague Domains, S-Unification, Logic Programming
Deadlock Behaviour in Split and ST Bisimulation Semantics
Compositional Properties of Sequential Processes
A rewriting strategy for protocol verification
Rank-Based Symbolic Bisimulation (and Model Checking)
Consistent transformations for software architecture styles of distributed systems
Sequential Real Number Computation and Recursive Relations
A Language for Multi-dimensional Updates
A Maude specification of an object-oriented database model for telecommunication networks
A New Method for Transforming Timed Automata
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
GRACE as a unifying approach to graph-transformation-based specification
A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols
First Workshop on Object Oriented Developments - Preface
On the Structure of Counterexamples to Symmetric Orderings for BDD's
Term Rewriting with Type-safe Traversal Functions
Distributed Explicit Bounded LTL Model Checking
Intensional Properties of Polygraphs
A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract)
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders
Relative Randomness and Real Closed Fields
Computing over K-modules
SpinS: Extending LTSmin with Promela through SpinJa
PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study
Gauss: A Framework for Verifying Scientific Computing Software
Metrics for Action-labelled Quantitative Transition Systems
Typed Multiset Rewriting Specifications of Security Protocols
An Overview of Edison
Specification of Conditions for Error Diagnostics
Executable Contracts for Incremental Prototypes of Embedded Systems
Multiobjective Optimization in a Quantum Adiabatic Computer
A Metamodel for Dynamic Information Generated from Object-Oriented Systems
Tree Morphisms and Bisimulations
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations
Failure Mode Modular De-Composition Using Spider Diagrams
Action Refinement for Real-Time Concurrent Processes with Urgency
PLCTools: Graph Transformation Meets PLC Design
Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions
Inductive and Coinductive Components of Corecursive Functions in Coq
On the Relative Complexity of Labelled Modal Tableaux
Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions
A Universal Accepting Hybrid Network of Evolutionary Processors
Coalgebraic Modal Logic Beyond Sets
Design for AJACS, yet another Java constraint programming framework
The Design of Monty: a Programming/Scripting Language
Circular Reference Attributed Grammars - Their Evaluation and Applications
Undecidability of Multi-modal Hybrid Logics
Dynamic Incremental Hashing in Program Model Checking
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Concrete Memory Models for Shape Analysis
Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems
Separation of Synchronous and Asynchronous Communication Via Testing
Studying repleteness in the category of cpos
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems
Rigid Geometric Constraints for Kappa Models
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle
Generalised Coinduction
Model Theoretic Syntax, Parsing: An Application to Temporal Logic
Coercive Subtyping via Mappings of Reduction Behaviour
Managing Proof Documents for Asynchronous Processing
Predicate Abstraction and Refinement for Model Checking VHDL State Machines
Type Preorders and Recursive Terms
Confinement Properties for Multi-Threaded Programs
Expressiveness of Process Algebras
Software Architecture for Document Anonymization
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper
Checking Integrity via CoPS and Banana: the E-Commerce Case Study
A Coding Rule Conformance Checker Integrated into GCC
Preface - SC 2003: Workshop on Software Composition Affiliated with ETAPS 2003
Joyal's arithmetic universes via type theory
Characterization of 1-d Periodic Boundary Reversible CA
Composition of XML Dialects: A ModelicaXML Case Study
Informatic vs. Classical Differentiation on the Real Line
Proving Termination of Context-Sensitive Rewriting with MU-TERM
Semantics Driven Disambiguation: A Comparison of Different Approaches
Branching Bisimulation Congruence for Probabilistic Systems
Bounded Retransmission in Event-B∥CSP: a Case Study
A Filter Model for Safe Ambients
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony
Jeliot 3 in a Demanding Educational Setting
GLL Parsing
On Validity Assurance of Dynamic Reconfiguration for Component-based Programs
Domain-complete and LCS-complete Spaces
A calculus of Kells
STARPro - A new multithreaded direct execution platform for Esterel
A GRASP for the Convex Recoloring Problem in Graphs
Run-Time Validation of Speculative Optimizations using CVC
Completeness and Complexity of Multi-modal CTL
Practical Reflection for Sequent Logics
XT: a bundle of program transformation tools
On the Representation and Aggregation of Evidence in Software Engineering: A Theory and Belief-based Perspective
A Rewriting Calculus for Cyclic Higher-order Term Graphs
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
Efficient Detection of Conflicts in Graph-based Model Transformation
The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]
The MFPS XV Security Session
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits
Formal Methods Research at NTNU, Department of Telematics
Towards Measurable Types for Dynamical Process Modeling Languages
Conditionals in Algebraic Process Calculi
On-demand Evaluation for Maude
Memory Consumption Analysis for a Functional and Imperative Language
Behavioral and Coinductive Rewriting
Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding
Strategies for Source-to-Source Constant Progagation
Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories
A model for recursive-parallel programs
Tableau Systems for Some Paraconsistent Modal Logics
Semantic Interoperability of Heterogeneous Semantic Resources
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
A Decidable Clock Language for Synchronous Specifications
A Semantic Condition for Data Independence and Applications in Hardware Verification
A Connection Between Concurrency and Language Theory
Decision Procedures for Set-Valued Fields
Handling Liveness Properties in ( omega -)Regular Model Checking
A Survey of Reasoning Systems Based on Euler Diagrams
A Multi-agent Transgenetic Algorithm for the Bi-objective Spanning Tree Problem
A safe relational calculus for functional logic deductive databases
A Completeness Result for Relation Algebra with Binders
Continuous Domains and their Information System Representation as Logical Systems
Algebraic Semantics for Coalgebraic Logics
Synchrony vs Asynchrony in Communication Primitives
Completeness in PVS of a Nominal Unification Algorithm
A Model of PCF in Guarded Type Theory
Bounded Model Checking of Traffic Light Control System
Towards Security Assurance in Round-Trip Engineering: A Type-Based Approach
Model-Checking Behavioral Specification of BPEL Applications
Ad-Hoc Threshold Broadcast Encryption with Shorter Ciphertexts
AnaDroid: Malware Analysis of Android with User-supplied Predicates
Generalized standardization lemma for the additives
Stochastic Models for Dependable Services
Complexity of Weak Bisimilarity and Regularity for BPA and BPP
Convex power constructions for continuous d-cones
Modifying Contracts with Larissa Aspects
Exploiting non-Markovian Bio-Processes
Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
P 3 -Hull Number of Graphs with Diameter Two