yusuke1997/dblp-id-title huggingface dataset:
Leveraging UML Profiles to Generate Plugins From Visual Model Transformations
An extensible module algebra for Maude
Reasoning about Programs With Effects
Correct Microkernel Primitives
Mathematical Services Composition
On Term Graphs as an Adhesive Category
Declarative Debugging Meets the World
Asynchronous Logic Circuits and Sheaf Obstructions
Continuous Prequantale Models of T 1 Topological Semigroups
On Mobility and Communication
Refinement for Pipelining in Event-B
Term-graph Rewriting in Tom Using Relative Positions
Deciding Reachability in Mobile Ambients with Name Restriction
Simulating Signalling Pathways With BioWayS
Refactoring by Transformation
Towards Secure Mobile Multiagent Based Electronic Marketplace Systems
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems
Slicing-based Hardware/Software Co-design Methodology From Functional Specifications
Jass - Java with Assertions
A Hybrid Public Announcement Logic with Distributed Knowledge
Variables as Resource for Shared-Memory Programs: Semantics and Soundness
On-the-Fly Data Flow Analysis Based on Verification Technology
Real Numbers and BDDs
A Tabu Search Heuristic for the Prize-collecting Rural Postman Problem
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques
A Framework for Component Categories
An Effect-Theoretic Account of Lebesgue Integration
Stochastic Modelling of Communication Protocols from Source Code
Strategies in Programming Languages Today
Towards Coalgebraic Behaviourism
Lazy Constraint Imposing for Improving the Path Constraint
Observational Refinement Process
Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions
Hierarchical Nominal Terms and Their Theory of Rewriting
Bisimulation for Feller-Dynkin Processes
Graph Transformation in Relational Databases
Cutting Up is Hard to Do: the Parameterized Complexity of k-Cut and Related Problems
A survey of location calculi
The essence of Petri nets and transition systems through Abelian groups
Computational isomorphisms in classical logic
Fundamental Nano-Patterns to Characterize and Classify Java Methods
CA Models for Target Searching Agents
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC
Efficient and Adaptive Threshold Signatures for Ad hoc networks
Separate Compilation of Polychronous Specifications
A Framework for Generic Error Handling in Business Processes
Markov Chain Simulation with Fewer Random Samples
Syntactic control of interference revisited
Key Compromise, Strand Spaces, and the Authentication Tests
Numerically-aided Deductive Safety Proof for a Powertrain Control System
Spatial Calculus of Looping Sequences
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage
Exploring an Option Space to Engineer a Ubiquitous Computing System
Introduction and Elucidation of the Quality of Sagacity in the Extended Variable Precision Rough Sets Model
Co-transformations in Information System Reengineering
Implied Scenario Detection in the Presence of Behaviour Constraints
Termination of Lazy Rewriting Revisited
Heuristic-driven Techniques for Test Case Selection
New Foundations for Rewriting Logic
Angelic Nondeterminism and Unifying Theories of Programming
Proof theory and computational analysis
On the Computational Complexity of Information Hiding
Type-level Computation Using Narrowing in Omegamega
A Framework for the Analysis of Access Control Policies with Emergency Management
Nominal Equational Logic
Access Graph Visualization: A step towards better understanding of static access control
A Proof Search Specification of the pi-Calculus
Minimization of Gini Impurity: NP-completeness and Approximation Algorithm via Connections with the k-means Problem
Metric Dimension: from Graphs to Oriented Graphs
Towards Mutation Analysis for Lustre Programs
JACK: A Java Constraint Kit
Specification Diagrams for Actor Systems
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments
Don't Care Non-determinism in Logic Program Refinement
Monadic Second Order Logic And Its Fragments
Path-Based Security for Mobile Agents
A Tool for the Syntactic Detection of Zeno-timelocks in Timed Automata
Abstract Logics as Dialgebras
An HPSG Analysis of German Depictive Secondary Predicates
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract)
On the Relative Expressive Power of Calculi for Mobility
An Algebra for Directed Bigraphs
Simulating liveness by reduction strategies
Manipulating Tree Tuple Languages by Transforming Logic Programs
A Fibration Category of Local Pospaces
Solving binary CSP using computational systems
A Head-to-Head Comparison of de Bruijn Indices and Names
Coherence completions of categories and their enriched softness
Almost Every Domain is Universal
Modal Operators for Coequations
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions
On Term-Graph Rewrite Strategies
About Constructive vectors
Modelling Devices for Natural Interaction
Representations of Complete Uniform Spaces via Uniform Domains
Parametric Analysis of an Improved Fault Tolerant System
Deductive Runtime Certification
Towards a Coordination Model for Interactive Systems
PEPA Queues: Capturing Customer Behaviour in Queueing Networks
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code
Detecting and Coordinating Complex Patterns of Distributed Events with KETAL
Anonymity in Probabilistic and Nondeterministic Systems
Automatic Proofs of Termination With Elementary Interpretations
Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol
Towards a Notion of Lambda Monoid
PostHat and All That: Automating Abstract Interpretation
Cyclic Petri net reachability sets are semi-linear effectively constructible
Resource-Oriented Design Framework for Embedded System Components
Projections for Infinitary Rewriting
Requirements Variability Support Through MDA TM and Graph Transformation
A Comprehensive Web-based Platform For Domain-Specific Biological Models
A Compositional Framework for Formally Verifying Modular Systems
Functors Determined by Values on Objects
Proof-theoretic notions for software maintenance
Mathematical Two-compartment Model of Human Cholesterol Transport in Application to High Blood Cholesterol Diagnosis and Treatment
Algebraic Structures of Rough Sets in Representative Approximation Spaces
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
Generating Processes from Specifications using the Relation Manipulation System RelView
On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks
Subclasses of Circular-Arc Bigraphs: Helly, Normal and Proper
Software Watermarking: A Semantics-based Approach
Prototype Platforms for Distributed Agreements
Migrating Traditional Web Applications to CMS-based Web Applications
Spaces of valuations as quasimetric domains
TXL - A Language for Programming Language Tools and Applications
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
Solving Equations by Graph Transformation
Primitive Recursiveness of Real Numbers under Different Representations
Engineering the Prover Interface
Model-Based Debugging - State of the Art And Future Challenges
Research on Domain-specific Embedded Languages and Program Generators
From Global to Local State, Coalgebraically and Compositionally
Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP
Abstracts of Invited Talks
Automatic Verification of Fault-Tolerant Register Emulations
Context-sensitive conditional expression reduction systems
On the Asymptotic Behavior of Fuzzy Cellular Automata
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
Verification of Asynchronous Circuits using Timed Automata
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
Deriving Event-Based Document Transformers from Tree-Based Specifications
Chaotic Actions of Locally Compact Hausdorff Topological Groups
The development of generic definitions of hyperslice packages in Hyper/J
Reversible Computation and Reversible Programming Languages
Early Verification and Validation of Mission Critical Systems
Distributed State Space Minimization
A Well-behaved LTS for the Pi-calculus: (Abstract)
Simplicial Models for Concurrency
A Taxonomy of Web Services Using CSP
Balanced timed regular expressions
Situations as Strings
A Fast Algorithm for Julia Sets of Hyperbolic Rational Functions
Differential Interaction Nets
Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages
A Geometric Semantics for Dialogue Game Protocols for Autonomous Agent Interactions
On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks
Visitor-based Attribute Grammars with Side Effect
Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time ID by SVO Logic
Toward Reasoning about Security Protocols: A Semantic Approach
An Overview of the Signal Clock Calculus
There are no Aspects
Modelchecking Correctness of Refactorings - Some Experiments
A New Rabin-type Trapdoor Permutation Equivalent to Factoring
From Architectural to Behavioural Specification of Services
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus
Tool support for MOLA
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations
Probabilistic Configuration Theories
Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context
Non Truth-Functional Many-Valuedness
From rewrite theories to temporal logic theories
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner
Risk Assessment Methodology For EMV Financial Transaction Systems
ARIFS: an Environment for Incomplete and Formal Specifications
Programming Autonomous Robots in Curry
Choiceless Polynomial Time, Counting and the Cai-Fürer-Immerman Graphs: (Extended Abstract)
Semantic Domains, Injective Spaces and Monads
An Environment for Designing/Executing Constraint Solver Collaborations
Efficient Earley Parsing with Regular Right-hand Sides
OCL 2.0 - Implementing the Standard for Multiple Metamodels
Reduction and Refinement
An Introduction to Software Testing
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I
Bus Modelling in Zoned Disks RAID Storage Systems
Strong Normalization with Singleton Types
On the Complexity of Sandpile Prediction Problems
Modelling Dynamically Changing Hardware Structure
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits
GALS Test Chip on 130nm Process
Presenting Locale Pullback Via Directed Complete Posets: Extended Abstract
Simple Easy Terms
Stochastic and Real Time in Process Algebra: A Conceptual Overview
Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine
Hard combinators
A Syntactic Abstraction for Rule-Based Languages with Binding
The K Primer (version 3.3)
Weakest Invariant Generation for Automated Addition of Fault-Tolerance
Hull and Geodetic Numbers for Some Classes of Oriented Graphs
A Framework for Reverse Engineering Large C++ Code Bases
Syntactic Logical Relations for Polymorphic and Recursive Types
Reachability Analysis in BioAmbients
Compositional CSP Traces Refinement Checking
Optimizing Aspectual Execution Mechanisms for Embedded Applications
Fast and Secure Recommendations Protocols among Members of a Community of Agents
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ
Using Binary Patterns for Counting Falsifying Assignments of Conjunctive Forms
Integration of Multiple Classifiers for Chinese Semantic Dependency Analysis
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)
A Note on Distances between Probabilistic and Quantum distributions
Towards a Programming Language for Interaction Nets
Preface: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003
Robust Range Finder Through a Laser Pointer and a Webcam
On Epistemic Temporal Strategic Logic
Characterizing bisimilarity of value-passing parametrised processes
Towards Trustworthy Spatial Messaging
Interactions in Transport Networks
Information Processing in Convex Operational Theories
A Process Model of Actin Polymerisation
Redux: A Dynamic Dataflow Tracer
Reengineering the Wikipedia for Reputation
Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic
On the Compact-regular Coreflection of a Stably Locally Compact Locale
Three approaches to Partiality in the Sketch Data Model
A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus
Quantum Circuits: From a Network to a One-Way Model
From Discrete Duration Calculus to Symbolic Automata
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Partial and Fuzzy Constraint Satisfaction to Support Coalition Formation
Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks
On 0'-computable Reals
A Hierarchical Program Representation for Refactoring
Quantitative Logics for Equivalence of Effectful Programs
Generic representation of self-similarity via structure sensitive sampling of noisy imagery
Zero-safe nets, or transition synchronization made simple
A Hierarchy of Failures-Based Models
CVM - A Verified Framework for Microkernel Programmers
Dimension Reduction of Large Sparse AND-NOT Network Models
On Improving Backwards Verification of Timed Automata
Synthesising Efficient and Effective Security Protocols
Fault Detection in Multi-Threaded C++ Server Applications
Formal Properties of Needed Narrowing with Similarity Relations
Modeling Environment for Component Model Checking from Hierarchical Architecture
Ambient Petri nets
Simulations Up-to and Canonical Preorders: (Extended Abstract)
Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic
Network Invariants for Real-Time Systems
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
First Steps Towards a Formalization of Forcing
Providing Data Structure Animations in a Lightweight IDE
Synchronization as a Special Case of Access Control
A Type-Safe Embedding of XDuce into ML
A Graph-based Design Framework for Global Computing Systems
Categories for synchrony and asynchrony
Process Algebra Under the Light of Wolfram's NKS
Seat Reservation Allowing Seat Changes
The Logic of Risky Knowledge
Mechanising a modal logic for value-passing agents in HOL
Fast Escape Analysis for Region-based Memory Management
Deriving Available Behavior All Out from Incompatible Component Compositions
Long Normal Form Proof Search and Counter-Model Generation
Notes on Generative Probabilistic Bisimulation
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Structured Transition Systems as Lax Coalgebras
Model-based Security Testing Using UMLsec: A Case Study
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata
Process Algebra as Modelling
Characterizing polynomial time computable functions using theories with weak set existence principles
Continuous Probability Distributions in Concurrent Games
Application of Queueing Network Models in the Performance Evaluation of Database Designs
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets
Acióly-Scott Interval Categories
Eclipse Support for Using Eli and Teaching Programming Languages
Privacy in Real-Time Systems
On integrating rules into the Semantic Web
Self-assembling Trees
Towards a Component Composition and Interaction Architecture for the Web
Towards full completeness of the linear logic of Chu spaces
Generating Multi-Threaded code from Polychronous Specifications
Conservation of Mass Analysis for Bio-PEPA
Tool Support for Pattern Selection and Use
Coordination and Organization: Definitions, Examples and Future Research Directions
Modelling Generic Judgements
The Approximate Correctness of Systems Based on δ-bisimulation
Evolution of Language Interpreters
Towards Multiple Access in Generic Component Architectures
Fusion of Pedigreed Preferential Relations
On the Coincidence of Semantics for Uniquely Determined Programs
Graph Rewriting for Agent Oriented Visual Modeling
Proof Certificates for Equality Reasoning
The dynamics of information exchange dialogues
Regular Model Checking using Widening Techniques
Improving UML with Petri nets
Combining Non-Stably Infinite Theories
Coalgebraic Update Lenses
Patterns for Timed Property Specifications
JVM Bytecode Verification Without Dataflow Analysis
A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions
A Revision of Coding Theory for Learning from Language
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes
Distributed Probabilistic and Quantum Strategies
Predicate Diagrams for the Verification of Real-Time Systems
A Syntactic Criterion for Injectivity of Authentication Protocols
Rewrite Based Specification of Access Control Policies
A Dependent Type Theory with Abstractable Names
Bounded Model Checking for Deontic Interpreted Systems
Neighborhood-Sheaf Semantics for First-Order Modal Logic
A distributed Intrusion Detection and Response System based on mobile autonomous agents using social insects communication paradigm
Superposition: Composition vs refinement of non-deterministic action-based systems
Innermost Termination of Rewrite Systems by Labeling
Lower Bounds on the Continuation of Holomorphic Functions
Development of Safety-Critical Reconfigurable Hardware with Esterel
Interpreting SWRL Rules in RDF Graphs
A Comparative Study of Industrial Static Analysis Tools
Total Maps of Turing Categories
Thematic Schema Building for Mediation-based Peer-to-Peer Architecture
A process semantics for functional programming
Lazy Logical Semantics
Intersection and Union Types for chi
Symbolic computational techniques for solving games
Automated Derivation of Translators From Annotated Grammars
Parametric Facial Animation for Affective Interaction Workflow for Avatar Retargeting
Building up hierarchical mathematical domains using functors in Theorema
Attribute Reduction in the Bayesian Version of Variable Precision Rough Set Model
Programs as Data Structures in λSF-Calculus
Formal Methods Research at SICS and KTH: An Overview
On the Expressive Power of Polyadic Synchronisation in pi-calculus
Models of Rate Restricted Communication for Concurrent Objects
Static Equivalence is Harder than Knowledge
Hybrid GRASP Heuristics to Solve an Unrelated Parallel Machine Scheduling Problem with Earliness and Tardiness Penalties
Iteration and Labelled Iteration
Semantics of OCL Operation Specifications
Concrete Monoids, Automata and the Catalan Construction
Dynamic Epistemic Logic with Communication Actions
Event Structures for Local Traces
Variables as Resource in Separation Logic
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic
Some Investigations About Synchronization and Density Classification Tasks in One-dimensional and Two-dimensional Cellular Automata Rule Spaces
Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks
Sigma predicates of finite types
Identifying All Preorders on the Subdistribution Monad
Fast Winning Strategies for the Maker-Breaker Domination Game
Coalgebras and Modal Expansions of Logics
Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility
Junctive Compositions of specifications in total, general correctness
Hybrid and Subexponential Linear Logics
Multi-Agent System Development Based on Organizations
Computability and Representations of the Zero Set
Biochemical Space: A Framework for Systemic Annotation of Biological Models
Normalization for the Simply-Typed Lambda-Calculus in Twelf
Reliable UML Models and Profiles
A Spectral Order for Infinite Dimensional Quantum Spaces: A Preliminary Report
An Orchestrator for Dynamic Interconnection of Software Components
A Concurrent Object Calculus: Reduction and Typing
Coalgebra morphisms subsume open maps
Model Checking Publish/Subscribe Notification for thinkteam ®
Modelling conditional rewriting logic in structured categories
Coordination Model and Noninterference
Contraction Maps on Ifqm-spaces with Application to Recurrence Equations of Quicksort
Compositional Action System Refinement
Different directions in parallel and distributed model checking (invited talk)
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS
Paradigm as Organization-Oriented Coordination Language
Energy-Aware Profiling for Cloud Computing Environments
Characterizations of Various Continuities of Posets Via Approximated Elements
Observationally-induced Algebras in Domain Theory
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions
Reputation-based Reliability Prediction of Service Compositions
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs
Programmable Hamiltonian for One-way Patterns
A Hierarchy of SOS Rule Formats
Mathematical Service Trading Based on Equational Matching
Difunctorial Semantics of Object Calculus
Provably Correct Code Generation: A Case Study
State Based Robustness Testing for Components
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields
Relay Reachability Algorithm for Exploring Huge State Space
Bunching for Regions and Locations
Rule Induction with Grouping Target Concepts based on Rough Sets
Continuity Properties of Preference Relations
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
Precision and the Conjunction Rule in Concurrent Separation Logic
Computing the Solution of the m-Korteweg-de Vries Equation on Turing Machines
On SI 2 -continuous Spaces
A Theory of Reactive Components
On Mobile Agents Resistance to Traffic Analysis
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
Verifying Concurrent Data Structures by Simulation
Syntactic Control of Interference and Concurrent Separation Logic
On the Efficiency of Convex Polyhedra
Optimization of basis functions for both reconstruction and visualization
An Inductive-style Procedure for Counting Monochromatic Simplexes of Symmetric Subdivisions with Applications to Distributed Computing
Reachability via Cooperating Morphisms
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming
Weak reduction and garbage collection in interaction nets
Proofs as Polynomials
A Symbolic Out-of-Core Solution Method for Markov Models
Membrane Systems with Peripheral Proteins: Transport and Evolution
A Neural Watermark Approach
A Logic with Temporal Glue for Mixed Specifications
Semi-automatic Generation of Metamodels and Models From Grammars and Programs
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus
Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
Problems and Methods for Testing Infinite State Machines: Extended Abstract
On Specifying Timeouts
Equitable Total Chromatic Number of K r × p for p Even
Refined Bounds on Kolmogorov Complexity for omega-Languages
Constructing and Reasoning About Security Protocols Using Invariants
Topological Properties of Event Structures
Plugging a Space Leak with an Arrow
Modelling Adaptive Systems in ForSyDe
Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks