yusuke1997/dblp-id-title huggingface dataset:
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions
On the Expressive Power of Joint Input
Unification, rewriting, and narrowing on term graphs
Structuring Optimizing Transformations and Proving Them Sound
On the Representation of McCarthy's amb in the π-calculus
Understanding Game Semantics Through Coherence Spaces
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking
Model Driven Language Engineering
J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic
Parallel Software Performance Metrics as Continuous Functions of Event Times
Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs
The Geodesic Classification Problem on Graphs
Compositional State Space Reduction Using Untangled Actions
Strengthening the Zipper
Spanning Trees of Dense Directed Graphs
Time Stamps for Fixed-Point Approximation
Approximations for Strategies and Termination
Practical Extraction of Evidence Terms From Common-knowledge Reasoning
Small Edge Dominating Sets of Regular Graphs
On the Computability of Blochs Constant
Kleene Algebra and Bytecode Verification
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations
Topology and tolerance
A Framework for Timed Concurrent Constraint Programming with External Functions
Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs
Computable Queries for Object Oriented Databases
A Relationship between Equilogical Spaces and Type Two Effectivity
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars
Using net refinement to compute the fixpoint of a recursive
Elements for a Formal Model of Intentional Systems
Approximation and Computation of Arbitrage in Frictional Foreign Exchange Market
A Language For Multiplicative-additive Linear Logic
A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic
Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract)
The Decidability of the Structural Congruence for Beta-binders
Non-Functional Oriented Dynamic Integration of Distributed Components
Integrating Multiple Approaches for Interacting with Dynamic Data Structure Visualizations
Extracting a formally verified, fully executable compiler from a proof assistant
Visualizations in Preparing for Programming Exercise Sessions
Model Checking Erlang Programs - Abstracting Recursive Function Calls
CCS semantics via proved transition systems and rewriting logic
Formal Analysis of Streaming Downloading Protocol for System Upgrading
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine
Static Validation of a Voting Protocol
Invariants of monadic coalgebras
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis
Compositional Generation of MC/DC Integration Test Suites
Model checking rationally restricted right closures of recognizable graphs
Verification of Java Programs with Interacting Analysis Plugins
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Nested Lambda Expressions with Let Expressions in C++ Template Metaprograms
Biological Transactions for Quantitative Models
Implementing beta-reduction by hypergraph rewriting
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics
A Logical Model for Agent Communication Languages
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform
Secure Sharing of Tuple Spaces in Ad Hoc Settings
How Many Argument Digits are Needed to Produce n Result Digits?
Deriving Bisimulation Congruences: A 2-categorical Approach
Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study
Coordination Models Based on a Formal Model of Distributed Object Reflection
Process Calculi and Peer-to-peer Web Data Integration
Causality Versus True-Concurrency
Specialization of Interaction Protocols in a Temporal Action Logic
TEXmacs as Authoring Tool for Formal Developments
Proof Mining in R-trees and Hyperbolic Spaces
Automated analysis of security protocols
Concurrent computing: from Petri nets to graph grammars
Checking Equivalence for Reo Networks
Quantitative ?-calculus and CTL Based on Constraint Semirings
On the Decidability of the Safety Problem for Access Control Policies
A Monotonicity Principle for Information Theory
Formal Verification of a Reader-Writer Lock Implementation in C
On the Continuity of Effective Multifunctions
Mobile Code For Key Propagation
Measuring the Overhead of C++ Standard Template Library Safe Variants
Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service
Defining Stage Argumentation Semantics in Terms of an Abducible Semantics
An Open Visualization Framework for Metamodel-Based Modeling Languages
A practical, globally optimal algorithm for geometric matching under uncertainty
Parsing K definitions
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse
Open-independent, Open-locating-dominating Sets in Complementary Prism Graphs
A Tableau Method for Checking Rule Admissibility in S4
On the Computational Complexity of the Helly Number in the P 3 and Related Convexities
Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures
A Chart Semantics for the Pi-Calculus
Mapping OMRS to rewriting logic
High Level Conflict Management Strategies in Advanced Access Control Models
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting
General Refinement, Part One: Interfaces, Determinism and Special Refinement
Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems
JHAVÉ - More Visualizers (and Visualizations) Needed
An overview of JML tools and applications
A Rule-based System for Web site Verification
Rule Discovery Based on New Attributes Construction
Chomsky-Schu"tzenberger Type Characterizations of Poly-Slender and Parikh Slender Context-Free Languages
GSOS for Probabilistic Transition Systems
Alternating-time logic with imperfect recall
Remarks on an Edge-coloring Problem
Security of RFID Protocols - A Case Study
Automatic Extraction of Super-Function From Bilingual Corpus
Characterising E-projectives via Co-monads
A Programmable Analysis and Transformation Framework for Reverse Engineering
Source Transformation for Concurrency Analysis
Runtime Verification of Concurrent Haskell Programs
Inference of Timed Transition Systems
An Integrated Development Environment for Pattern Matching Programming
Can Actors and pi-Agents Live Together?
Parallel rewriting of graphs through the pullback approach
A Declarative Debugging System for Lazy Functional Logic Programs
Cryptographic Analysis in Cubic Time
A Safety Mechanism Using Software Patterns
Haskell Server Pages - Functional Programming and the Battle for the Middle Tier
Developing the Method of Server Controlled Outcomes Management and Variance Analysis
Completeness of ASM Refinement
Effective and sequential definition by cases on the reals via infinite signed-digit numerals
Enriched Categories and Quasi-uniform Spaces
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study
Towards a Small Model Theorem for Data Independent Systems in Alloy
On Rule Formats for Zero and Unit Elements
Nonmonotonic Trust Management for P2P Applications
Practical Datatype Specializations with Phantom Types and Recursion Schemes
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude
Concern-Specific Languages in a Visual Web Service Creation Environment
The Interval Analysis of Multilinear Expressions
Dualizing Clones as Models of Lawvere Theories
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract)
Hausdorff compactifications of topological function spaces via the theory of continuous lattices
Complete Test Graph Synthesis For Symbolic Real-time Systems
Unsorted Functional Translations
Automata and Fixed Point Logics for Coalgebras
Classifying Classification
Topological Perspective on the Hybrid Proof Rules
A "Hardware Compiler" Semantics for Handel-C
Inductive Completeness of Logics of Programs
Managing Complexity in Software Development with Formally Based Tools
Towards a Strategy Language for Maude
Modeling and Verifying Graph Transformations in Proof Assistants
Modular Functional Descriptions
Qualified Logic Programming with Bivalued Predicates
Inferring Object Invariants: Extended Abstract
Hybrid Classifier Based on Rough Sets and Neural Networks
Denotational Semantics of Shape: Past, Present and Future
An Analysis of the Composition of Synchronous Systems
The Importance of Being (A Little Bit) Discrete
Properties of the subtraction valid for any floating point system
Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories
Bisimulation Relations for Dynamical and Control Systems
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
Composition Colored Petri Nets for the Refinement of Reaction-based Models
Time-awareness and Proactivity in Models of Interactive Computation
A Memory-efficient Bounding Algorithm for the Two-terminal Reliability Problem
Rewriting in the partial algebra of typed terms modulo AC
Separation Logic Verification of C Programs with an SMT Solver
Impossibility Results in the Equational Logic of Processes
Error Diagnosis in Equivalence Checking of High Performance Microprocessors
Order-sorted Equational Unification Revisited
Component-Based Specification of Collaborative Objects
Abstract Interpretation of Dynamics of Biological Regulatory Networks
A Prospectus for Mobile Broadcasting Systems
An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics
Process Algebras as Specification Language
Semantics of Biological Regulatory Networks
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
A Comparison of Certain Representations of Regularly Closed Sets
The Rewriting Logic Semantics Project
A Complete Model of the Deutsche Bahn - Prosim and Beyond
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
Quality Factors and Coding Standards - a Comparison Between Open Source Forges
Parameterized LR Parsing
Connector Rewriting with High-Level Replacement Systems
Skalpel: A Type Error Slicer for Standard ML
What is a 'good' encoding of guarded choice?
Trace Machines for Observing Continuous-Time Markov Chains
A Generic Cost Model for Concurrent and Data-parallel Meta-computing
On the Relative Soundness of the Free Algebra Model for Public Key Encryption
PAGAI: A Path Sensitive Static Analyser
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema
Composition and Independence of High-Level Net Processes
A Practical Semi-External Memory Method for Approximate Pattern Matching
A categorical framework for typing CCS-style process communication
A Language for Verification and Manipulation of Web Documents: (Extended Abstract)
Ensuring UML Models Consistency Using the OCL Environment
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
Implementing Local Intervals in CASL
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages
Integration of Reliability and Performance Analyses for Active Network Services
Incremental Rebinding with Name Polymorphism
Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver
Computing the Determinant of the Distance Matrix of a Bicyclic Graph
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
Time and Space Issues in the Generation of Graph Transition Systems
An Abstract Böhm-normalization
A Formalisation of Nominal C-Matching through Unification with Protected Variables
Simulation Machines for Checking Action System Refinements
On Strong Normalization in Proof-Graphs for Propositional Logic
Parameter Dependencies for Component Reliability Specifications
A Refinement of the µ-measure for Stack Programs
The role of observations in probabilistic open systems
Notions of Probabilistic Computability on Represented Spaces
OverView: A Framework for Generic Online Visualization of Distributed Systems
ESBC: an application for computing stabilization bounds
Bisimulation Maps in Presheaf Categories
Automated Software Testing of Asynchronous Systems
Understanding Communication Patterns in HPCG
Phase Groups and the Origin of Non-locality for Qubits
From Message Exchanges to Communicative Acts to Commitments
Tool Building Requirements for an API to First-Order Solvers
Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage
Three-Layered Source-Code Modelling
ProTest: An Automatic Test Environment for B Specifications
An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata
A Congruence for Petri Nets
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
Automated Facts Generation From Raw Data: A Perspective From The ANDES Project
Transparent Process Monitoring in a Virtual Environment
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
Formal Methods for MPI Programs
Online reconfiguration of component-based applications in PacoSuite
A Concrete Categorical Semantics of Lambda-S
Stably Compact Spaces and the Probabilistic Powerspace construction
Self-Quotation in a Typed, Intensional Lambda-Calculus
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Extending C for Checking Shape Safety
A BMC-formulation for the scheduling problem in highly constrained hardware Systems
CoLoSS: The Coalgebraic Logic Satisfiability Solver
Cryptographic Versus Trust-based Methods for MANET Routing Security
A Duality Between Ω-categories and Algebraic Ω-categories
The Coinductive Resumption Monad
Coalgebraic Monads
Rewriting-Based Navigation of Web Sites: Looking for Models and Logics
Strongly Typed Rewriting For Coupled Software Transformation
A logic for modular descriptions of asynchronous and synchronized concurrent systems
Simulating Computations in Second Order Non-Commutative Linear Logic
Action Semantics and ASF+SDF: System Demonstration
Decidability of Weak Bisimilarity for a Subset of BPA
Game Semantics for Access Control
Preface: WoLLIC 2002
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
A Graphical Fusion Calculus
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates
Stochastic Model for QoS Assessment in Multi-tier Web Services
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
Checking Java implementation of a naming architecture using Testera
Abstract Effective Models
Liveness Checking as Safety Checking
LCF-style Platform based on Multiway Decision Graphs
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Attacking a Feedback Controller
Two Graph-Based Techniques for Software Architecture Reconfiguration
Event Domains, Stable Functions and Proof-Nets
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents
Reachability in Petri Nets with Inhibitor Arcs
From Parity Games to Circular Proofs
VL-Eli: A Generator for Visual Languages - System Demonstration
Quantification of Anonymity for Mobile Ad Hoc Networks
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress)
Quantitative Notions of Leakage for One-try Attacks
A Simplified Account of the Metatheory of Linear LF
Hybrid Logics and Ontology Languages
Towards a tree of channels
Relational Graph Models, Taylor Expansion and Extensionality
The synchronized graphs trace the context-sensitive languages
Completeness Results for Undecidable Bisimilarity Problems
Abstract Model Checking of tccp programs
Design of a Mobile Robot Controller Using Esterel Tools
An Analysis of Operation-Refinement in an Abortive Paradigm
Observations on Strict Derivational Minimalism
First Steps Towards a Visualization-Based Computer Science Hypertextbook as a Moodle Module
Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract)
Coinductive Counting: Bisimulation in Enumerative Combinatorics
Obtaining Optimal Thresholds for Processors with Speed-Scaling
A CuCh Interpretation of an Object-Oriented Language
Abstractions for Fault-Tolerant Global Computing
Regularity in PDA Games Revisited
OCLPrime - Environment and Language for Model Query, Views and Transformations
A Global Algorithm for Model-Based Test Suite Generation
Notes on Coalgebras, Cofibrations and Concurrency
Distributed LTL Model Checking with Hash Compaction
Desynchronisation Technique Using Petri Nets
Foreword Volume 72
The MoR-Trust Distributed Trust Management System: Design and Simulation Results
An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches
Concrete Data Structures as Games
Kind Bigraphs
Towards formalising AADL in Proof Assistants
On the Design Rationale of ACP Style Process Algebras
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
The domain of differentiable functions
The troublesome probabilistic powerdomain
Mathematical, Interactive Exercise Generation from Static Documents
Using Graphviz as a Low-cost Option to Facilitate the Understanding of Unix Process System Calls
New developments around the mCRL tool set
CoCASL at Work -- Modelling Process Algebra
Petri Nets as Semantic Domain for Diagram Notations
Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
Adding Branching to the Strand Space Model
CoreLime: A Coordination Model for Mobile Agents
A Simple Criterion for Nodal 3-connectivity in Planar Graphs
On Monotone Determined Spaces
Towards a Formal Framework for Inter-Enterprise Application Integration
Unbounded Recursion and Non-size-increasing Functions
Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics)
Using Model Checking to Automatically Find Retrieve Relations
An approach for the estimation of the precision of a real object from its digitization
A Higher-Order Calculus for Graph Transformation
Signature Compilation for the Edinburgh Logical Framework
Dominance-based Rough Set Classifier without Induction of Decision Rules
DeSpec: Modeling the Windows Driver Environment
Closures in Binary Partial Algebras
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper
Event Structure Spans for Nondeterministic Dataflow
On Rational Monads and Free Iterative Theories
Parallel Assignments in Software Model Checking
Digital projections in prime and composite arrays
Large Immersions in Graphs with Independence Number 3 and 4
Hardness results for weak bisimilarity of simple process algebras
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
Local Distributed Model Checking of RegCTL
A Program Logic for Bytecode
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases
The bounded retransmission protocol revisited
A Rooted Tableau for BCTL*
A Graphical User Interface for Maude-NPA
Cooperative Testing of Timed Systems
The Usability of Ambiguity Detection Methods for Context-Free Grammars
An Overview of MANETs Simulation
VyrdMC: Driving Runtime Refinement Checking with Model Checkers
Divide and Congruence Applied to eta -Bisimulation
Analyzing the Uses of a Software Modeling Tool
Establishment of Ad-Hoc Communities through Policy-Based Cryptography
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach
Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs
Weighted Timed Automata: Model-Checking and Games
Weak Bisimilarity and Regularity of Context-Free Processes is EXPTIME -hard
Tableau Method and NEXPTIME-Completeness of DEL-Sequents
Synthesis of Reo Circuits from Scenario-based Specifications
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models
Proving Reachability in B using Substitution Refinement
ArcAngelC: a Refinement Tactic Language for Circus
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams
Branching Processes of general S/T-Systems and their properties
Maximal limit spaces, powerspaces, and Scott domains
Detecting Lung Abnormalities From X-rays Using an Improved SSL Algorithm
From Timed Reo Networks to Networks of Timed Automata
WAVer: A Model Checking-based Tool to Verify Web Application Design
Asymptotic Behavior and Performance Constraints of Replication Policies
An Experimental Ambiguity Detection Tool
Contraction-free Proofs and Finitary Games for Linear Logic
Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting
Modeling Petri Net Based Systems by Net Transformations: New Developments
Dynamic Event Generation for Runtime Checking using the JDI
Interaction Nets vs. the rho -calculus: Introducing Bigraphical Nets
Game Semantics for Quantum Data
Nested Semantics over Finite Trees are Equationally Hard: Invited Talk
Proving Approximate Implementations for Probabilistic I/O Automata
Type two theory of effectivity and Real PCF
Describing Hierarchical Compositions of Java Beans with the Beanome Language
Formal Verification of Health Assessment Tools: a Case Study
Combining SAT Methods with Non-Clausal Decision Heuristics
Studying Irreversible Transitions in a Model of Cell Cycle Regulation
Development of a Modelica Compiler Using JastAdd
Biomolecular Agents as Multi-behavioural Concurrent Objects
SFERA: A Simulation Framework for the Performance Evaluation of Restart Algorithms in Service-Oriented Systems
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
Formal Biochemical Space with Semantics in Kappa and BNGL
Formalizing Type Operations Using the "Image" Type Constructor
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
Implementing Trusted Terminals with a and SITDRM
How to Produce Information About a Given Entity Using Automated Deduction Methods
a(MDÆ) 2 : A Model Driven Approach to Multi-Dimensional Separation of Concerns with OCL
Default Theories Over Monadic Languages: (Extended Abstract)
On Subset Families That Form a Continuous Lattice
Trace Semantics for Stochastic Systems with Nondeterminism
jMonitor: Java Runtime Event Specification and Monitoring Library
From Chemical Rules to Term Rewriting
Automated Composition of Module Chains
Occurrence Counting Analysis for the pi-Calculus
Adaptable Mixed-Initiative Proof Planning for Educational Interaction
Trace Semantics for Coalgebras
Predicate Liftings Versus Nabla Modalities
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda
When is a function a fold or an unfold?
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras
Towards Incremental Mutation Testing
Equational Abstractions for Model Checking Erlang Programs
Towards the Integration of Versioning Systems, Bug Reports and Source Code Meta-Models
A Game Semantics of Concurrent Separation Logic
Effective State Exploration for Model Checking on a Shared Memory Architecture
Architecture Description for Mobile Distributed Systems Using Typed pi -Calculus
An Algorithm to Estimate the Hausdorff Dimension of Self-Affine Sets
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car
Integrating Component Tests to System Tests
Equational Abstractions for Reducing the State Space of Rewrite Theories
The other topology