yusuke1997/dblp-id-title huggingface dataset:
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique
Near Distributive Laws
Verifying Communication Protocols Using Live Sequence Chart Specifications
External Control in Process Algebra for Systems Biology
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework
Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations
An Asymptotic Approach for Testing P 0 -Matrices
Proofs as graphs
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
Generic Executable Semantics for D-Clean
Declaring Numbers
Probabilistic Approach to the Lambda Definability for Fourth Order Types
Web-Based Integrated Timetable Information System for Railways and Airlines
Testability Analysis of Data-Flow Software
A Compact Linear Translation for Bounded Model Checking
Under-approximation Heuristics for Grid-based Bounded Model Checking
Middleware Support for Transparent Client-Side Caching
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
A Tool for Abstraction in Model Checking
The Case for Fairness of Trust Management
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations
Implementation of an Orchestration Language as a Haskell Domain Specific Language
Domain Theory its Ramifications and Interactions
Shape Analysis by Refining on Abstract Evaluation Path
Load Balancing Parallel Explicit State Model Checking
Formalizing and Executing Message Sequence Charts via Timed Rewriting
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem
GDSL: A Generic Decoder Specification Language for Interpreting Machine Language
On the Role of Formal Methods in Software Certification: An Experience Report
Sorting Algorithms in MOQA
Domain-Specific Languages: What, Why, How
Towards Acceptability of Optimizations: An Extended View of Compiler Correctness
Effective versions of equilogical spaces
Distilling Programs for Verification
Backbone Coloring of Graphs with Galaxy Backbones
Modelling Node Connectivity in Dynamically Evolving Networks
Regular Sets of Descendants by Leftmost Strategy
Interactive Theorem Proving with Tasks
SmartTools: a Generator of Interactive Environment Tools
Functional Active Objects: Typing and Formalisation
Algebraic Information Theory For Binary Channels
Flexible adjustment of the short-term correlation of LRD M/G/∞-based processes
A Co-iterative Characterization of Synchronous Stream Functions
Refinement of actions in Circus
An Algebraic Approach to Shadowed Sets
Discretization of Timed Automata in Timed mu
Closed, Open, and Robust Timed Networks
HYPE Applied to the Modelling of Hybrid Biological Systems
Aspects as Modular Language Extensions
Large-Scale Parallel Computing on Grids
A Monoidal Category of Bifinite Chu Spaces
An Operational Semantics of COMMUNITY Based on Graph Transformation Systems
An Optimal Family of Bounded-Degree Broadcast Networks
Polish Negation and Lexical Resource Semantics
CLEAN: a programming environment based on term graph rewriting
Supporting SAT based BMC on Finite Path Models
Valgrind: A Program Supervision Framework
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Intuitionistic Letcc via Labelled Deduction
a-Logic With Arrows
Specifying Real-Time Finite-State Systems in Linear Logic
The HiVe Writer
Natural Deduction for Full S5 Modal Logic with Weak Normalization
A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract)
On the Specification of Higher Dimensional Automata
Using Meta-Model Transformation to Model Software Evolution
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS
Deductive Generation of Constraint Propagation Rules
On Graph Calculi for Multi-modal Logics
Model-checking Distributed Components: The Vercors Platform
On the Relationship between Filter Spaces and Weak Limit Spaces
Run-Time Analysis for Atomicity
Enforcing Security and Safety with Proof-Carrying Code
Leader Election in Rings of Ambient Processes
Lexically scoped distribution: what you see is what you get
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities
Introduction - Verification of Parameterized Systems - VEPAS 2001
NL-printable sets and Nondeterministic Kolmogorov Complexity
Towards Efficient, Typed LR Parsers
Category-theoretic Structure for Independence and Conditional Independence
Attacking Group Multicast Key Management Protocols Using Coral
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
Safe Adaptation of Component Coordination
Monitoring Algorithms for Metric Temporal Logic Specifications
Using Meta-Modelling and Graph Grammars to Create Modelling Environments
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems
Routing in Very Large Multi-Modal Time Dependent Networks: Theory and Practice (Invited Talk)
Rewriting Semantics of Meta-Objects and Composable Distributed Services
Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking
Memoization-Based Proof Search in LF - an Experimental Evaluation of a Prototype
Applications of Hierarchical Reasoning in the Verification of Complex Systems
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types
Token-passing Nets for Functional Languages
Game Over: The Foci Approach to LTL Satisfiability and Model Checking
Modular Distribution and Application to Discrete Controller Synthesis
Topology Control in Cooperative Ad Hoc Wireless Networks
A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms
Integration of "Components" to Test Software Components
Equilogical spaces and domains with totality
Convergence Routing under Bursty Traffic: Instability and an AIMD Controller
Pollack-inconsistency
Trivial Reals
On Probabilistic Techniques for Data Flow Analysis
Foundations of behavioural specification in rewriting logic
Information Flow Security in Mobile Ambients
Encapsulation and Dynamic Modularity in the pi-calculus
Implementing X
Nominal Reasoning Techniques in Coq: (Extended Abstract)
Learnability of type-logical grammars
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification
Reducing the Overhead of Dynamic Analysis
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
Interface Automata with Complex Actions
Drawing Ruled Surfaces Using the Dual De Boor Algorithm
Performance Analysis of Collective Adaptive Behaviour in Time and Space
A modal mu-calculus and a proof system for value passing processes
The Stable Revivals Model in CSP-Prover
A Survey of Desynchronization in a Polychronous Model of Computation
An Automated Approach for the Interpretation of Counter-Examples
Bisimilar and Logically Equivalent Programs in PDL
A Note on Coalgebras and Presheaves
Model Driven Performance Analysis of Enterprise Information Systems
Using the Topological Characterization of Synchronous Models
Model-checking Driven Design of Interactive Systems
Typed vs. Untyped Realizability
Characteristic mu-Calculus Formulas for Underspecified Transition Systems
Order Functional Pure Type Systems
Canonical Abstract Syntax Trees
The Relationships Between KM-fuzzy Quasi-metric Spaces and the Associated Posets of Formal Balls
Simplifying Itai-Rodeh Leader Election for Anonymous Rings
Infinite Trace Equivalence
Probabilistic pi-Calculus and Event Structures
Classes of Timed Automata and the Undecidability of Universality
Generation of Exhaustive Set of Rules within Dominance-based Rough Set Approach
Tuple Domination on Graphs with the Consecutive-zeros Property
Validation of Proofs Using PhoX
Extending a Component Specification Language with Time
Dynamics of Quality Perception in a Social Network: A Cellular Automaton Based Model in Aesthetics Services
The Algebra of Multi-Agent Dynamic Belief Revision
Continuity of Gödel's System T Definable Functionals via Effectful Forcing
Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)
Managing Conflicts of Interest in Virtual Organisations
Axiom-Based Transformations: Optimisation and Testing
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations
On the Geometric Modelling of Visual Languages
Rewriting Interpolants
Categorical Formulation of Finite-dimensional C*-algebras
Towards Contract-based Testing of Web Services
Timed Concurrent Constraint Programming for Analysing Biological Systems
On coalgebra of real numbers
A Coequational Approach to Specifying Behaviours
Subtyping in Logical Form
A History of Until
Viewing CSP Specifications with UML-RT Diagrams
Deciding low levels of tree-automata hierarchy
On Refinement-Closed Security Properties and Nondeterministic Compositions
Thresholded Tabulation in a Fuzzy Logic Setting
Processes and Games
Data Refinement of Invariant Based Programs
Evolution of a Model-driven Process Framework
Formalizing Constructive Projective Geometry in Agda
Distributed Event Graphs : Formalizing Component-based Modelling and Simulation
Semantic domains for Handel-C
Development Separation in Lambda-Calculus
A Complete Symbolic Bisimilarity for an Extended Spi Calculus
Focusing the Inverse Method for LF: A Preliminary Report
Data Refinement with Probability in Mind
The Complexity of Early Deciding Set Agreement: How can Topology help?
A Representation Theorem for Unique Decomposition Categories
Which Soft Constraints do you Prefer?
Strategies and user interfaces in Maude at work
Automated Construction of Reasonable Environment for Java Components
Design and Implementation of the L+C Modeling Language
Trust-enhanced Security in Location-based Adaptive Authentication
Adventures in sequent calculus modulo equations
Modelling Component Behaviour with Concurrent Automata
Subtypes and bounded quantification from a fibred perspective
The Functional Interpretation of Direct Computations
S&D Pattern Deployment at Organizational Level: A Prototype for Remote Healthcare System
Synchronized Regular Expressions
Web Application Performance Modeling Using Layered Queueing Networks
Constraint-Based Concurrency and Beyond
Normalization of N-Graphs via Sub-N-Graphs
A Revisionist History of Concurrent Separation Logic
Elements of Stream Calculus (An Extensive Exercise in Coinduction)
How to Think of Intersection Types as Cartesian Products
Automated estimation of the parameters of Gibbs priors to be used in binary tomography
Large 2-Independent Sets of Regular Graphs
On Logics for Coalgebraic Simulation
Rewriting Calculus with(out) Types
Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities
UML Automatic Verification Tool with Formal Methods
K Semantics for Assembly Languages: A Case Study
On Tuza's Conjecture for Triangulations and Graphs with Small Treewidth
Comonadic Notions of Computation
On Metric Temporal Lukasiewicz Logic
Investigating Reasoning with Constraint Diagrams
Symbolic Reasoning with Weighted and Normalized Decision Diagrams
A Transformational Approach to Prove Outermost Termination Automatically
Process Realizability
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems
Logics and Multi-agents: towards a new symbolic model of cognition
A Bidirectional Refinement Type System for LF
The Better Bubbling Lemma
Algebraic Stuttering Simulations
The evaluation strategy for head normal form with and without on-demand flags
A Graph Transformation View on the Specification of Applications using Mobile Code
Towards a theory of mathematical operational semantics
Hedaquin: A Reputation-based Health Data Quality Indicator
On the Security of Tag-KEM for Signcryption
On Oscillation-free epsilon-random Sequences
Towards a Calculus For Wireless Systems
Towards Maude 2.0
The simply typed rewriting calculus
Canonicity
An Assertional Language for the Verification of Systems Parametric in Several Dimensions
Session-based Choreography with Exceptions
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics
Locating New Stops in a Railway Network
From Theory to Practice in Distributed Component Systems
Adaptive Application of SAT Solving Techniques
Control Flow Analysis for Brane Calculi
Reachability in Tree-Like Component Systems is PSPACE-Complete
A Logic for Reasoning about Generic Judgments
Semantic reachability
The Non-Interference Protection in BML
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events
Monadic Sigma 1 1 and Modal Logic with Quantified Binary Relations
Engineering of An Assertion-based PSL Simple -Verilog Dynamic Verifier by Alternating Automata
Abstract Interpretation From a Denotational-semantics Perspective
Towards Abstraction-Based Verification of Shape Calculus
Another Glance at Relay Stations in Latency-Insensitive Design
Concurrent derivations as single pushout graph grammar processes
Equivalence Criteria for Compositional IF Modal Logics
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics
Test Case Generation for Mutation-based Testing of Timeliness
Solve[order/topology == quasi-metric/x, x]
Stratified Static Analysis Based on Variable Dependencies
On the Observational Theory of the CPS-calculus: (Extended Abstract)
Essentials of Term Graph Rewriting
Encoding RTL Constructs for MathSAT: a Preliminary Report
Adjuncts elimination in the static ambient logic
Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach
Quantum Programming With Mixed States
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols
A Tool for Generating a Symbolic Representation of tccp Executions
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation
Greatest Bisimulations for Binary Methods
On Orthomodular Posets Generated by Transition Systems
Performability of a Secure Electronic Voting Algorithm
An Approach for 2D Visual Occupancy Grid Map Using Monocular Vision
Types, logic and semantics for nested databases
A New Approach to Quantitative Domain Theory
Relational Semantics Revisited
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta
Parametric Polymorphism and Operational Equivalence
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols
Agent-Based Material Flow
An overview of ELAN
DPO rewriting and abstract semantics via opfibrations
Feasible Reactivity for Synchronous Cooperative Threads
Model Checking Linear Programs with Arrays
Comparing models of higher type computation
Higher-Order Nets for Mobile Policies
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach
Rewriting Systems and Hochschild-Mitchell Homology
Process rewrite systems
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types
Videoconference System Based on WebRTC With Access to the PSTN
Rewrite strategies in the rewriting calculus
General Reversibility
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite
Quantum Data and Control Made Easier
Java Bytecode Transformations for Efficient, Portable CPU Accounting
A Rewriting Calculus for Multigraphs with Ports
Mechanised Refinement of Procedures
A Rewriting Semantics for Maude Strategies
Average merge time: an intuitive interpretation
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation
Towards Deriving Test Sequences by Model Checking
Linking Event-B and Concurrent Object-Oriented Programs
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
Computing large planar regions in terrains
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages
The Verification of rCOS Using Spin
Refinement Algebra for Probabilistic Programs
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
Remote Attestation on Legacy Operating Systems With Trusted Platform Modules
Code Annotation for Safe and Efficient Dynamic Object Resolution
A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
Nesting in Euler Diagrams
Compiler Verification and Compiler Architecture
Some Co-Birkhoff Type Theorems
Specifying the PLAN Network Programming Langauge
Coordination for Component Composition
A System-Level Game Semantics
Case Study: Modelling Telecom Services with Petri Net Modules
A Nominal Relational Model for Local Store
The category of cpos from a synthetic viewpoint
Modularity and Dyads
From Geometry of Interaction to Denotational Semantics
Decidable Fragments of a Higher Order Calculus with Locations
View Transformation in Visual Environments applied to Algebraic High-Level Nets
MASTERS: A General Sequence-based MultiAgent System for Protein TERtiary Structure Prediction
Modeling Hybrid Systems in SIMTHESys
A Congruence Rule Format with Universal Quantification
Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited
Code Generation with the Exemplar Flexibilization Language
Distributed Partial Order Reduction for Security Protocols
Combined Static and Dynamic Analysis
Implementing Real Numbers With RZ
A Logical Approach to Hamiltonian Graphs
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
Property-Transition-Net-Based Workflow Process Modeling and Verification
A Process Algebraic View of Coordination
Tool Integration with Triple Graph Grammars - A Survey
Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell Models
How to Randomly Flip a Quantum Bit
Implementing Dynamic-Cut in TOY
Kripke-type Semantics for CG' 3
Data Collection Prioritization for System Quality Analysis
Random Continuous Functions
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
Safety Property Verification of Cyclic Synchronous Circuits
On Dynamic Distribution of Private Keys over MANETs
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem
Prototyping SOS Meta-theory in Maude
A Debugging Scheme for Functional Logic Programs
Range and Set Abstraction using SAT
Heuristics for Faster Error Detection With Automated Black Box Testing
On Functional Dependencies in Advanced Data Models
Rewriting logic as a logical and semantic framework
Programmable Rewriting Strategies in Haskell: -- White Paper --
Probabilistic Guarded Commands Mechanized in HOL
Type Assignement for Mobile Objects
From UML Models to Graph Transformation Systems
Integrating computational and deduction systems using OpenMath
Coordinating Agents in Organizations Using Social Commitments
TIDE: A Generic Debugging Framework - Tool Demonstration
Refinement-Based Verification of Interactive Real-Time Systems
Composing Modal Properties of Programs with Procedures
Well-behaved Translations between Structural Operational Semantics
The Solution Operator of the Korteweg-de Vries Equation is Computable
Proving VLRL Action Properties with the Maude Model Checker
From UML models to automatic generated tests for the dotLRN e-learning platform
Approximating Imperfect Cryptography in a Formal Model
An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme
Transforming Object Oriented Models with BOTL
Designing a Controller for a Multi-Train Multi-Track System
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems
Process Algebras in the Age of Ubiquitous Computing
On expressive completeness of duration and mean value calculi
Abstraction and Completeness for Real-Time Maude
On Models of Higher-Order Separation Logic
A graph-based approach to the compositional specification of distributed systems
A Formal Framework for Web Services Coordination
Bisimilarity of Distributionally Equivalent Markov Transition Systems
An Operational Semantics for Declarative Multi-Paradigm Languages
Twisted Graph States for Ancilla-driven Universal Quantum Computation
Dedekind completion as a method for constructing new Scott domains
Dirichlet is Natural
From Biochemistry to Stochastic Processes
Behaviour-Driven Development of Foundational UML Components
Model checking the garbage collection mechanism of SMV
On Modifying High Level Replacement Systems
A GXL Schema for Story Diagrams
Treegraph-based Instruction Scheduling for Stack-based Virtual Machines
Automatic Implication Checking for CHR Constraints
Tissue P Systems and (Mem)Brane Systems with Mate and Drip Operations Working on Strings
A Functional Perspective on SSA Optimisation Algorithms
Multiplicative Linear Logics and Fibrations
Logic and graphs
A Case Study in Inspecting the Cost of Security in Cloud Computing
On the Decidability of Fragments of the Asynchronous pi-Calculus
Evolution Through Architectural Reconciliation
A fully abstract model for sequential computation
Analyzing Chor Specifications by Translation into FSP
Retracing CSP
Transformations of Petri Nets
Rewrite-Based Decision Procedures
A Random Bag Preserving Product Operation
Justifying control for logic programs
A Method for Extracting Rules from Incomplete Information System
A Software Architecture-Based Approach for Formalising Middleware Behaviour
Sound and Complete Equational Reasoning over Comodels
Strict Lower Bounds for Model Checking BPA
Timing Aware Information Flow Security for a JavaCard-like Bytecode
The complexity of scheduling TV commercials
Symmetric and Asymmetric Asynchronous Interaction
On Fair Cost Facility Location Games with Non-singleton Players
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement
Model Checking Functional and Performability Properties of Stochastic Fluid Models
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks
DynaMICs: Comprehensive Support for Run-Time Monitoring
Developing a Danish grammar in the GRASP project - A construction-based approach to topology and extraction in Danish
A Hierarchical Framework for Component-based Real-time Systems
Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor
The Bidirectional Mapping Problem
Process creation and full sequential composition in a name-passing calculus
Roles as a Coordination Construct: Introducing powerJava
Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models
Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How
Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study
Mixing Two Bibliography Style Languages
A WOWA-based Aggregation Technique on Trust Values Connected to Metadata
Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment
Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer
Plan in Maude: Specifying an Active Network Programming Language
Constraint Based Coordination of Autonomous Agents
Expressiveness of Hybrid Temporal Logic on Data Words
A Case Study in Periodic Timetabling
Light Dialectica Program Extraction from a Classical Fibonacci Proof
Access Control in a Core Calculus of Dependency
Coordination by Timers for Channel-Based Anonymous Communications
Introduction to COMPUGRAPH
Higher-Order Proof Construction Based on First-Order Narrowing
On Reachability and Spatial Reachability in Fragments of BioAmbients
Eager, busy-waiting and lazy actions in timed computation?
On Computable Compact Operators on Banach Spaces
Coordinated Distributed Diagram Transformation for Software Evolution
JastAdd - a Java-based system for implementing front ends
A Logical Framework with Explicit Conversions
Non-Intrusive Structural Coverage for Objective Caml
Computational Effects and Operations: An Overview