yusuke1997/dblp-id-title huggingface dataset:
A Service-Oriented Model for Embedded Peer-to-Peer Systems
Strategies for games with state - An application of the Chu-construction
Complexity and computability from a programming language perspective
Analysis of Real-Time Systems with CTL Model Checkers
Translating Multi-Agent Autoepistemic Logic into Logic Program
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay
Quantum Logic in Dagger Kernel Categories
Merging Hierarchically-Structured Documents in Workflow Systems
A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
A Framework for Defining Logical Frameworks
Concepts and Techniques simplifying the Assembly Process for Component Instances
Preface - F-WAN: Foundations of Wide Area Network Computing
Forecasting Passenger Loads in Transportation Networks
Complete Positivity and Natural Representation of Quantum Computations
Grammatical Specification in ASL: Germanic Dependent Clause Order
Reversible, Irreversible and Optimal Lambda-machines
Natural Number Objects in Dialectica Categories
A Unified Display Proof Theory for Bunched Logic
Stochastic Concurrent Constraint Programming and Differential Equations
CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi
A Family of Graded Epistemic Logics
Reflective Designs -- An Overview
Conditioning in Probabilistic Programming
Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic
Synthetic Topology: of Data Types and Classical Spaces
Bisimulation and Hidden Algebra
Regular Expression Types for Strings in a Text Processing Language
Adjunction Models For Call-By-Push-Value With Stacks
Syntactic Type Soundness for HM(X)
An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models
Testing Planning Domains (without Model Checkers)
On a Categorical Framework for Coalgebraic Modal Logic
Hyperformulae, Parallel Deductions and Intersection Types
On sparseness and Turing reducibility over the reals
Quantitative Analysis With the Probabilistic Model Checker PRISM
Control Flow Analysis for the Applied Pi-calculus
An Epistemic Predicate CTL * for Finite Control π-Processes
Synthesising Features by Games
Heuristics for railway infrastructure saturation
Tripos Theory in Retrospect
Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware
Image representation using distributed weighted finite automata
Lagrangean Relaxation Parallel Method for Optimizing of a Hydroelectric Generation System
SAT-based Abstraction Refinement for Real-time Systems
Power Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDP
Dynamic Task Monitoring
A derivation system for uniqueness typing
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
Web Sites Repairing through Abduction
Concurrency and refinement in the UML
Rules and Strategies in Java
A Game Semantics for Proof Search: Preliminary Results
Global Coordination Policies for Services
Encoding Functional Relations in Scunak
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting
Granular Reasoning Using Zooming In & Out: Aristotle's Categorical Syllogism
The use of graph grammar in a software engineering education tool
SCHOOL: a Small Chorded Object-Oriented Language
Modularity of Behaviours for Mathematical Operational Semantics
On the Convergence of Fourier Series of Computable Lebesgue Integrable Functions
Iterated Covariant Powerset is not a Monad
About a Positive Set Theory With Equality
Fresh O'Caml: Nominal Abstract Syntax for the Masses
Safe Execution of Unreliable Software
What is algebraic in process theory?
Bitopology and Four-valued Logic
Dynamic Reverse Code Generation for Backward Execution
Comparative analysis of the expressiveness of shared dataspace coordination
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
A Context-based Approach to Proving Termination of Evaluation
An overview of CafeOBJ
Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation
Verification of Random Graph Transformation Systems
Formalizing Web Service Choreographies
A Semantic Approach to Protocold
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
A Framework for Developing Stand-Alone Certifiers
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs
Substitution in Non-wellfounded Syntax with Variable Binding
Operating Policies for Energy Efficient Dynamic Server Allocation
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Truly Concurrent Logic via In-Between Specification
On Modelling Sensor Networks in Maude
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic
A formal approach for checking security properties in SecSpaces
Comparing Three Coordination Models: Reo, ARC, and RRD
The Recursion Scheme from the Cofree Recursive Comonad
Distribution of Explicit-State LTL Model-Checking
A Constructive Object Oriented Modeling Language for Information Systems
Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis
Internal strategies in a rewriting implementation of tile systems
View Creation of Meta Models by Using Modified Triple Graph Grammars
A Cartesian Closed Category of Domains with Almost Algebraic Bases
Time Domain Verification of Oscillator Circuit Properties
Using Abduction to Compute Efficient Proofs
An Effective Tietze-Urysohn Theorem for QCB-Spaces: (Extended Abstract)
Semantics and Analysis of Instruction List Programs
Bone Remodelling in BioShape
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination
An Abstract Specification Language for Static Program Analysis
A Rude Contract Language for Web Services
A Free Object in Quantum Information Theory
Security Issues in Component-based Design
Meta-metric Evaluation of E-Commerce-related Metrics
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
An Application of Relational Algebra: Specification of a Fault Tolerant Flight Control System
Formalization of Component Substitutability
FDR Explorer
Combining Sequence Diagrams and OCL for Liveness
Dinapter: Automatic Adapter Specification for Software Composition
A Space Semantics for Core Haskell
Minimality in a Linear Calculus with Iteration
Ramified Corecurrence and Logspace
Avoiding Massive Automated Voting in Internet Polls
Model-Based Test Case Generation for Smart Cards
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
Deforestation, program transformation, and cut-elimination
Mechanised Wire-wise Verification of Handel-C Synthesis
Approximate Symbolic Model Checking using Overlapping Projections
Adequate Sets of Temporal Connectives in CTL
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres
Stochastic segmentation using Gibbs priors
A Tool for Automated Certification of Java Source Code in Maude
Efficient Compilation of Functional Languages by Program Transformation
Static Class Elements for Object-Z
Nominal SOS
Mobile Channels, Implementation Within and Outside Components
Visual Specification of Systems with Heterogeneous Coordination Models
A Geometric View of Partial Order Reduction
Steering of Discrete Event Systems: Control Theory Approach
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints
Stability of Multi-Valued Continuous Consensus
Contorsion: A Semantic XPath Processor
Calculus of structures and proof-nets
Runtime Refinement Checking of Concurrent Data Structures
Pattern Guards and Transformational Patterns
Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis
The ideal completion is not sequentially adequate
A Performance Study of Distributed Timed Automata Reachability Analysis
The metafront System: Extensible Parsing and Transformation
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence
A Taxonomy of Model Transformation
Argumentative Agent Deliberation, Roles and Context
A methodological process for the design of a large system: two industrial case-studies
Computable Functions on Final Coalgebras
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
Abstract Interpretation of Functional Programs using an Attribute Grammar System
Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
Analyzing Cockpit Interfaces Using Formal Methods
Variations on Realizability: Simple examples realizing axioms of choice
On Corelations, Cokernels, and Coequations
Denotational Semantics for Probabilistic Refusal Testing
An Unsupervised Approach for Combining Scores of Outlier Detection Techniques, Based on Similarity Measures
Composition of Distributed Software with Algon - Concepts and Possibilities
Controller/Orchestrator Synthesis via Filtration
Mechanical Reasoning about Families of UTP Theories
Refinement by Interpretation in a General Setting
Refinement in the Presence of Unknowns
Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus
Rational Operational Models
Message Sequence Charts in the Development Process - Role and Limitations
The Linear Logical Abstract Machine
Towards Component Verification in the Generic Component Framework
Visualization of Distributed Algorithms Based on Graph Relabelling Systems
Using Secondary Structure Information for Protein Folding in CLP(FD)
Higher-Order Types and Meta-Programming for Global Computing
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics
Simulating and Compiling Code for the Sequential Quantum Random Access Machine
Comparing cospan-spans and tiles via a Hoare-style process calculus
Classical Knowledge for Quantum Cryptographic Reasoning
Specifications via Realizability
Larger Than Life's Invariant Measures
Maude Object-Oriented Action Tool
An Abstract Interpretation-based Approach to Mobile Code Safety
A Preliminary Comparative Study on the Expressive Power of Reo and Linda
Topics of Stochastic Algebraic Topology
Automatic Concurrency in SequenceL
Platform-Variant Applications from Platform-Independent Models via Templates
Can American Checkers be Solved by Means of Symbolic Model Checking?
Epistemic Uncertainty Propagation in Power Models
Orbit Complexity and Entropy for Group Endomorphisms: (Extended Abstract)
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode
Visualising Reasoning: What ATP Can Learn From CP
Towards Behavioral Maude: Behavioral Membership Equational Logic
Q-Automata: Modelling the Resource Usage of Concurrent Components
Dealing Denotationally With Stream-based Communication
Adaptation and Evolution in Dynamic Persistent Environments
The Mechanical Verification of a DPLL-Based Satisfiability Solver
Tree Process Calculus
A Contract-based Approach to Specifying and Verifying Safety Critical Systems
Probabilistic Observations and Valuations: (Extended Abstract)
Free SFP-algebras for truncation-closed sets of inequations
PVS Strategies for Proving Abstraction Properties of Automata
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
Predicting Incompatibility of Transformations in Model-driven Development
Verifying Properties of Coordination by Well-Structured Transition Systems
Expressibility of Higher Order Logics
SLAMM - Automating Memory Analysis for Numerical Algorithms
Probabilistic Logic over Paths
Multivariate Normal Approximation for the Stochastic Simulation Algorithm: Limit Theorem and Applications
Encoding Catalytic P Systems in pi@
Model Checking Multithreaded Programs by Means of Reduced Models
Simulating Finite Eilenberg Machines with a Reactive Engine
Stability for Effective Algebras
Obtaining Memory-Efficient Solutions to Boolean Equation Systems
On the Expressive Power of Klaim-based Calculi
Relators and Metric Bisimulations
Deconstructing Alice and Bob
A Propositional Dynamic Logic for Concurrent Programs Based on the pi-Calculus
Agens Faber : Toward a Theory of Artefacts for MAS
Effective and Efficient Compilation of Run-Time Generics in Java
A parallel genetic algorithm for cell image segmentation
Axiomatizing a Fragment of PAFAS
Bases in Diagrammatic Quantum Protocols
Generating Optimal Monitors for Extended Regular Expressions
jHoles: A Tool for Understanding Biological Complex Networks via Clique Weight Rank Persistent Homology
Symmetric Monoidal Sketches and Categories of Wirings
Optimality parsing and local cost functions in Discontinuous Grammar
A Coq Library for Verification of Concurrent Programs
Game Semantics for Quantum Stores
Program Extraction From Proofs of Weak Head Normalization
Sequence Types for the pi -calculus
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Presenting and Explaining Mizar
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
Infinite computations in concurrent constraint programming
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers
Bounded Model Generation for Isabelle/HOL
Impact of Evolution of Concerns in the Model-Driven Architecture Design Approach
A Parameterized Floating-Point Formalizaton in HOL Light
Quadtrees as an Abstract Domain
A Verified Compiler for Synchronous Programs with Local Declarations
Visual Language Parsing in GenGEd
Computability of Topological Pressure for Shifts of Finite Type with Applications in Statistical Physics
A Class of Reversible Primitive Recursive Functions
Coordination of Mobile Components
Probabilistically Checkable Proofs Over the Reals
Tensor products and powerspaces in quantitative domain theory
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Distributed Partial Order Reduction of State Spaces
Putting Web Services in Context
Mixed Rational Assessments of Possibility and Probability Measures
Evaluating the Quality of Open Source Software
Reflection and strategies in rewriting logic
BRKGA Algorithm for the Capacitated Arc Routing Problem
From Comodels to Coalgebras: State and Arrays
Intuitionistic Hypothetical Logic of Proofs
The Universe of Approximations
Analysis of Rewrite-Based Access Control Policies
A New Proposal Of Quasi-Solved Form For Equality Constraint Solving
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios
A Survey on Trust and Privacy Negotiability in the Norwegian Mobile Telecom Market
A Uniform Multiscale Meta-model of BioShape
Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets
Why networks aren't programmable (or, why programs aren't protocols)
A Coalgebraic Semantics of Subtyping
Developing Theories of Types and Computability via Realizability
Taylor Expansion, Finiteness and Strategies
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
SAT-based methods for sequential hardware equivalence verification without synchronization
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
PVS Embedding of cCSP Semantic Models and Their Relationship
A rho-Calculus of Explicit Constraint Application
Theory exploration versus theorem proving
Logic Programming with Bunched Implications
On Relativizations of the P =? NP Question for Several Structures
Refinement for User Interface Designs
Using Assumptions to Distribute CTL Model Checking
Interpolant Learning and Reuse in SAT-Based Model Checking
Normalization by Evaluation for Martin-Löf Type Theory with One Universe
Queues as Processes
Peirce's Rule in a Full Natural Deduction System
Reasoning About Imperative Quantum Programs
Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption
A Verification Method for a Commitment Strategy of the BDI Architecture
Process Algebra with Hooks for Models of Pattern Formation
Characterizing polytime through higher type recursion
Component Substitutability via Equivalencies of Component-Interaction Automata
Nonsequential Automata Semantics for a Concurrent, Object-Based Language
Modeling Process Calculi with PVS
Improving the Efficiency of Non-Deterministic Computations
Linearity and Passivity
Architectural Interoperability Checking in Visual Coordination Networks
Towards "Dynamic Domains": Totally Continuous Cocomplete Q -categories
Explicit Contexts in LF (Extended Abstract)
A Branch and Price Algorithm for List Coloring Problem
A case for po-manifolds - in chase after a good topological model for concurrency
TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator
Assertion based Inductive Verification Methods for Logic Programs
Types as processes, via Chu spaces
Some remarks on cyclic linear logic
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers
An Algebra of Automata That Includes Both Classical and Quantum Entities
Metalevel computation in Maude
Generative Version of the FastFlow Multicore Library
Behavioral Constraints for Visual Models
Bridging the Web Accessibility Divide
Oracle-Based Partial Evaluation
Component Updates as a Boolean Optimization Problem
Monoid-labeled transition systems
Enforcing Concurrent Temporal Behaviors
Operational Subsumption, an Ideal Model of Subtyping
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
Modelling Opacity Using Petri Nets
Verification of the legOS Scheduler using Uppaal
Some challenging typing issues in object-oriented languages
Pseudo-commutative Monads
On Continuous Nondeterminism and State Minimality
Abstract Local Reasoning for Concurrent Libraries: Mind the Gap
Vicious Circles in Orthogonal Term Rewriting Systems
Multicore C++ Standard Template Library in a Generative Way
Formal Verification of Object-Oriented Graph Grammars Specifications
Improving the Usability of a Graph Transformation Language
Continuous Functions on Final Coalgebras
Partial Order Reduction for Rewriting Semantics of Programming Languages
A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists
Synchronous Robots vs Asynchronous Lights-Enhanced Robots on Graphs
On the Semantic Foundations of Probabilistic Synchronous Reactive Programs
Keeping Secrets in Resource Aware Components
Towards Integrated Cognitive and Interface Analysis
Timed Sets, Functional Complexity, and Computability
Generating Scenarios by Multi-Object Checking
Generalizing coherent domains and hypercoherences
Behaviour and Instantiation of High-Level Net Processes
Computing SSA Form with Matrices
MatchC: A Matching Logic Reachability Verifier Using the K Framework
A α -Spectrum of a Firefly Graph
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus
A Quantum Game Semantics for the Measurement Calculus
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata
Binding Operators for Nominal Sets
Remarks on isomorphisms of simple inductive types
Redundancy Elimination for LF
Higher-Order Separation Logic in Isabelle/HOLCF
Abstract interpretation for proving secrecy properties in security protocols
Stochastic Transcription Elongation via Rule Based Modelling
The Compositional Method and Regular Reachability
Exploiting XPG for Visual Languages: Definition, Analysis and Development
Elgot Algebras: (Extended Abstract)
Topos Quantum Logic and Mixed States
A Formal Framework for Hybrid Event B
A Stream Calculus of Bottomed Sequences for Real Number Computation
Bigraphs and Their Algebra
Self-Test Components for Highly Reconfigurable Systems
Recursion Engineering for Reduction Incorporated Parsers
Parallel and Distributed Invariant Checking of Microcontroller Software
Classical Control and Quantum Circuits in Enriched Category Theory
Refinement and Test Case Generation in UTP
On the Evolution Complexity of Design Patterns
MarCaSPiS: a Markovian Extension of a Calculus for Services
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Asymptotic Density for Equivalence
Compositional System Security with Interface-Confined Adversaries
Multi-objective Variable Neighborhood Search Algorithms for a Single Machine Scheduling Problem with Distinct due Windows
Pauli Measurements are Universal
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory
State Dependent IO-Monads in Type Theory
A Lightweight Approach for the Semantic Validation of Model Refinements
Modularity in Coalgebra
Comparing Calculi of Explicit Substitutions with Eta-reduction
Secured Information Flow for Asynchronous Sequential Processes
Classical Representations of Qubit Channels
Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin
Formalizing UML Models and OCL Constraints in PVS
Realizing UML Metamodel Transformations with AGG
SAT-based Induction for Temporal Safety Properties
Modeling A Certified Email Protocol using I/O Automata
Extensionality of Spatial Observations in Distributed Systems
Modular Checkpointing for Atomicity
Convex Stochastic Bounds and Stochastic Optimisation on Graphs
Security Abstractions and Intruder Models (Extended Abstract)
Distributive rho-calculus
Redundancy of Arguments Reduced to Induction
The Haskell Refactorer, HaRe, and its API
Transforming Programs into Recursive Functions
Transformational Pattern System - Some Assembly Required
On Timed Models and Full Abstraction
Intensional Approaches for Symbolic Methods
Context Dependent Procedures and Computed Types in -eriFun
Space-Reduction Strategies for Model Checking Dynamic Software
Visual Modeling of Distributed Object Systems by Graph Transformation
Global State Considered Helpful
Set Types and Applications
Animation Metaphors for Object-Oriented Concepts
Checking Emptiness of Non-Deterministic Regular Types with Set Operators
Debugging and Testing Optimizers through Comparison Checking
Distribution, Approximation and Probabilistic Model Checking
Defining Effectiveness Using Finite Sets A Study on Computability
Event Structures with Symmetry
A System for Virtual Directories Using Euler Diagrams
Toward Extracting ?-calculus from UML Sequence and State Diagrams
Decision Trees of Algorithms and a Semivaluation to Measure Their Distance
Bisimilarity is decidable in the union of normed BPA and normed BPP processes
Infrastructural Support for Enforcing and Managing Distributed Application-Level Policies
A Type System For Object Initialization In the Java Bytecode Language
j-POST: a Java Toolchain for Property-Oriented Software Testing
Model Checking Semi-Continuous Time Models Using BDDs
Canonical HybridLF: Extending Hybrid with Dependent Types
Interactive Computation: Stepping Stone in the Pathway From Classical to Developmental Computation
An Imperative Pure Calculus
Sustainability of RNA-interference in Rule Based Modelling
System BV is NP-complete
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
A Framework for Managing Requirements of Software Product Lines
PathFinder: A Visualization eMathTeacher for Actively Learning Dijkstra's Algorithm
Logical Semantics for the Rewriting Calculus
Is Hyper-extensionality Preservable Under Deletions of Graph Elements?
On the Representation of Semigroups and Other Congruences in the Lambda Calculus
Declarative Reflection and its Application as a Pattern Language
Approximations for Restrictions of The Budgeted and Generalized Maximum Coverage Problems
Reflections on a Geometry of Processes
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks
Towards a Systematic Method for Proving Termination of Graph Transformation Systems
Gap Embedding for Well-Quasi-Orderings