yusuke1997/dblp-id-title huggingface dataset:
On automating the extraction of programs from proofs using product types
Partial Order Trace Analyzer (POTA) for Distributed Programs
Type-Safe Code Transformations in Haskell
An Approach to Splitting Atoms Safely: Extended Abstract
Emotion Recognition from Physiological Signal Analysis: A Review
From Reduction-based to Reduction-free Normalization
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking
SOFA 2 Component Framework and Its Ecosystem
CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment
Stochastic Bigraphs
Strategy-Based Proof Calculus for Membrane Systems
Introduction - Algorithmic MeThods and Models for Optimization of RailwayS - ATMOS 2001
Regular Strategies as Proof Tactics for CIRC
Informational Semantics, Non-Deterministic Matrices and Feasible Deduction
A Hofmann-Mislove theorem for Bitopological Spaces
FJQuantum - A Quantum Object Oriented Language
Formal Techniques for Analysing Scenarios using Message Sequence Charts
Type Theory and Language Constructs for Objects with States
Exact Acceleration of Real-Time Model Checking
A Data Model for Data Integration
Merging Scenarios
Benchmarking Explicit State Parallel Model Checkers
"Map Theory" et Antifondation
Supporting ArcAngel in ProofPower
A Scalable Agent Architecture for a Dynamic Sensor Network
Encoding the Java Virtual Machine's Instruction Set
Automatic Verification of Bossa Scheduler Properties
EClean - An Embedded Functional Language
Variants of Online Chain Partition Problem of Posets
Refinement-Preserving Plug-In Components
A Concurrent Graph Semantics for Mobile Ambients
Continuous Domains and Banach Spaces
Concise Graphs and Functional Bisimulations
Dialgebraic Logics
A Data Model to Facilitate the Automation of Web Accessibility Evaluations
A Software Certification Consortium and its Top 9 Hurdles
TSAT++: an Open Platform for Satisfiability Modulo Theories
Sigma Coloring on Powers of Paths and Some Families of Snarks
Adaptive Threat Modeling for Secure Ad Hoc Routing Protocols
On a Condition for Semirings to Induce Compact Information Algebras
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins
Diagrammatic Formal Specification of a Configuration Control Platform
Lexicalized Syntax and Topology for Non-projective Dependency Grammar
Term Equational Systems and Logics: (Extended Abstract)
TAO+: Extending the Conceptual Framework TAO to Support Internal Agent Architectures in Normative Multi-Agent Systems
On Iteratable Endofunctors
Translation Templates to Support Strategy Development in PVS
The Uniformity Principle on Traced Monoidal Categories
Proving Quicksort Correct in Event-B
Testing XML constraint satisfiability
Computational Origami Construction as Constraint Solving and Rewriting
Bytecode Analysis for Proof Carrying Code
A Quantitative Study of Two Attacks
Characterizing Non-Zenoness on Real-Time Processes
Composition and refinement of specifications and parameterised data types
GUPRO - Generic Understanding of Programs
Interfacing Coq + SSReflect with GAP
Concrete Process Categories
A Generalized Higher-Order Chemical Computation Model
Functions and Lazy Evaluation in Prolog
Combining Deep and Shallow Embeddings
Introducing Polymodal Neighbourhood Logics
A Quillen Model Structure for Chu Spaces
Compatibility of Linda-based Component Interfaces
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
From Functional Programs to Interaction Nets via the Rewriting Calculus
Component Identification Through Program Slicing
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic
A State Space Distribution Policy Based on Abstract Interpretation
Event-oriented Web-based E-trading
A Channel-based Coordination Model for Components
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis
Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Bicontinuous Domains and Some Old Problems in Domain Theory
Automated Security Protocol Analysis With the AVISPA Tool
e 2 -computability of e, pi and Other Famous Constants
An Augmented Reality Prototype for supporting IoT-based Educational Activities for Energy-efficient School Buildings
Models for an adversary-centric protocol logic
Resource Modeling for Timed Creol Models
Development of Control Systems Guided by Models of their Environment
The Relevance of Semantic Subtyping
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
Reasoning About Recursive Processes: Expansion is not Always Fair
Transforming SAT into Termination of Rewriting
Towards a Formal Foundation to Orchestration Languages
Towards Formalizing Categorical Models of Type Theory in Type Theory
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets
Towards a Sharing Strategy for the Graph Rewriting Calculus
Quasilinear Approximation Scheme for Steiner Multi Cycle in the Euclidean plane
On the Use of Singular Value Decomposition for a Fast Intrusion Detection System
Pixel Geometry
Inferring Static Non-monotone Size-aware Types Through Testing
Language-Based Program Verification via Expressive Types
Smart Dust Security - Key Infection Revisited
Quantum Fault Tolerance in Systems with Restricted Control
Extending Security Protocol Analysis: New Challenges
A Translation of Beta-binders in a Prioritized Pi-calculus
Types for Access Control in a Calculus of Mobile Resources
Bisimilarity as a theory of functional programming
Incremental Confined Types Analysis
Effectiveness for Embedded Spheres and Balls
On the Recognition of Algorithm Templates
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
Probabilistic Constraint Handling Rules
Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers
Secrecy in Security Protocols as Non Interference
Objects, interference and the Yoneda embedding
From µCRL to mCRL2: Motivation and Outline
Error Analysis and Verification of an IEEE 802.11 OFDM Modem using Theorem Proving
Formal Semantics of Programming Languages: - An Overview -
On Message Specifications in OCL
Predicate and Relation Lifting for Parametric Algebraic Specifications
Encoding Distributed Areas and Local Communication into the pi-Calculus
Game Semantics in the Nominal Model
A fully abstract semantics for a nondeterministic functional language with monadic types
The Complexity of Satisfiability for Fragments of CTL and CTL *
Lazy Algorithms for Exact Real Arithmetic
A Compositional Coalgebraic Model of a Fragment of Fusion Calculus
Chemical Graphs, Chemical Reaction Graphs, and Chemical Graph Transformation
Bounded Model Checking for All Regular Properties
On Adjacent-vertex-distinguishing Total Colourings of Powers of Cycles, Hypercubes and Lattice Graphs
Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
Formal Semantics for Program Paths
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Composing Programming Languages by Combining Action-Semantics Modules
Open and Closed Questions in Decision-making
An Isomorph-Free SEM-Like Enumeration of Models
Bifibrational Functorial Semantics of Parametric Polymorphism
Mobile Identity Management Revisited
Building Verification Condition Generators by Compositional Extension
Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment
Paths and Simulations
Compositionality of Security Protocols: A Research Agenda
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey
Synchronous Dataflow Pattern Matching
Deconstructing Reo
Distributed Measurement-based Quantum Computation
Building Components from Functions
Automated Analysis of Reo Circuits using Symbolic Execution
Spatial Differentiation and Positive Circuits in a Discrete Framework
Solutions of functorial and non-functorial metric domain equations
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract
Experimental Evaluation of Numerical Domains for Inferring Ranges
Hybrid Automata in Systems Biology: How Far Can We Go?
A Game-theoretic Approach to Behavioural Visualisation
An Institutional Theory for #-Components
Elastic Flow in an Application Specific Network-on-Chip
Automated Verification of Signalling Principles in Railway Interlocking Systems
A Categorical Characterization of Relative Entropy on Standard Borel Spaces
May Testing, Non-interference, and Compositionality
Executable Specifications for Real-Time Distributed Systems
CoBiC: Context-dependent Bioambient Calculus
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models
EXPTIME-complete Decision Problems for Modal and Mixed Specifications
A Rewriting-based Framework for Web Sites Verification
Hybrid Automata as a Modelling Approach in the Behavioural Sciences
Rational Unification in 28 Characters
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach
Greedy Algorithm for Set Cover in Context of Knowledge Discovery Problems
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders
Universality of R-automata with Value Copying
Observational Equivalence for the Interaction Combinators and Internal Separation
Call-by-value, call-by-name, and strong normalization for the classical sequent calculus
Propositional Statecharts for Agent Interaction Protocols
Built-In Contract Testing in Component Integration Testing
Lazy Strong Normalization
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings
Universality Issues in Reversible Computing Systems and Cellular Automata (Extended Abstract)
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation
Simple and Efficient Translation from LTL Formulas to Buchi Automata
Proving and Debugging Set-Based Specifications
On Methodology of Representing Knowledge in Dynamic Domains
Towards Testing the Implementation of Graph Transformations
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract)
Epitomes of Four other Cases
A Branching Time Logical System for Open Distributed Systems Development
Computing Dialogues with Membranes
Coalgebraic Description of Generalized Binary Methods
Formal Specification Generation from Requirement Documents
Computability of the Metric Projection Onto Finite-dimensional Linear Subspaces
Diagonal Compositionality of Partial Petri Nets
Singular Coverings and Non-Uniform Notions of Closed Set Computability
RelMiS 2001 - Preface
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
IoT sensors in sea water environment: Ahoy! Experiences from a short summer trial
A Universal Cellular Automaton on the Ternary Heptagrid
The Tableau Workbench
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
Deduction Graphs with Universal Quantification
Complexity of Operators on Compact Sets
Categorical Models for Fairness: Completion vs Delay
Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding
Abstract correction of first-order functional programs
Structuring Operational Semantics: Simplification and Computation
Towards a Subject-Oriented Model-Driven Framework
Failure Reasoning in Multiple-Strategy Proof Planning
An Example of Cloning Graph Transformation Rules for Programming
Unifying Views of UML
Pervasive Compiler Verification - From Verified Programs to Verified Systems
The Countable Character of Uncountable Graphs
Ensuring consistency of conditional graph rewriting - a constructive approach
Peer Review of Animations Developed by Students
Towards Integration of Geographic Information Systems
HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
Principles of Chemical Programming
An Algorithm for the Identification of Components in Biochemical Pathways
Definability and Full Abstraction
Local Reasoning About Tree Update
Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant
GS.Lambda Theories: A Syntax for Higher-Order Graphs
A Practical Approach to Partial Functions in CVC Lite
Performance Evaluation of Elastic GALS Interfaces and Network Fabric
Type Inference for Correspondence Types
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
Characterizing Topologies With Bounded Complete Computational Models
Regularity Results for FIFO Channels
Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics
A Diagrammatic Logic for Object-Oriented Visual Modeling
Rewriting Semantics and Analysis of Concurrency Features for a C-like Language
From Process Calculi to Klaim and Back
Coinduction in Control of Partially Observed Discrete-Event Systems
Generic Tools via General Refinement
Towards Higher-Order Types
Policy Evolution in Distributed Usage Control
Exploiting Partial Symmetries for Markov Chain Aggregation
Computational models for ultrametric spaces
Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets
Parallel Model Checking for LTL, CTL*, and Lµ 2
Multi-Site Allocation Policies on a Grid and Local Level
Broadening the denotational semantics of linear logic
The Essence of Coin Lemmas
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Programmed Strategies for Program Verification
A monadic approach to polycategories
synERJY An Object-oriented Synchronous Language
Impact of Scalability on the Performance of Secured Cognitive Radio Networks
Hierarchical Hybrid Logic
From Rogue to MicroRogue
On the Wadge Reducibility of k-Partitions
Towards an Intersection Typed System à la Church
Distributed On-the-Fly Equivalence Checking
Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract)
Guarded induction on final coalgebras
A Formal Semantics for a Quality of Service Contract Language
Pervasive Process Calculus
DisCComp - A Formal Model for Distributed Concurrent Components
Improvement of a Result on Sequencing Elementary Cellular Automata Rules for Solving the Parity Problem
Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks
Sequential and Distributed Model Checking of Petri Net Specifications
GALS for Bursty Data Transfer based on Clock Coupling
A Note on Hyperspaces and Terminal Coalgebras
The Dual Complexity Space as the Dual of a Normed Cone
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
Trusted Directory Services for Secure Internet Connectivity: Transport Layer Security using DNSSEC
Membership equational logic, calculus of inductive instructions, and rewrite logic
Supermetrics over Apartness Lattice-Ordered Semigroup
Generating Nearly Sorted Sequences - The use of measures of disorder
Preface: 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2003) - Final Proceedings
On Decidability Properties of Local Sentences
Architecture Recovery by Semi-Automatic Component Identification
Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory
A Framework for Datatype Transformation
A Large-Scale Experiment in Executing Extracted Programs
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
On the Largest Cartesian Closed Category of Stable Domains
Stateflow Diagrams in Circus
A Compressed Suffix Tree Based Implementation With Low Peak Memory Usage
LEMON - an Open Source C++ Graph Template Library
Relating semantic models for the object calculus
Speeding up Polyhedral Analysis by Identifying Common Constraints
Analysis of Reciprocal and Square Root Reciprocal Instructions in the AMD K6-2 Implementation of 3DNow!
Real-Time Systems Development with MASS
On the Borel Complexity of Hahn-Banach Extensions
An Efficient CoMP-based Handover Scheme for Evolving Wireless Networks
Probabilistic behaviours of reactive agents
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems
Multi-focused Proofs with Different Polarity Assignments
Active Evaluation Contexts for Reaction Semantics
Specify, Compile, Run: Hardware from PSL
Dynamic Contextual Adaptation
Comparing Topological Models for Concurrency
A logical approach to A-Prolog
Declarative Debugging for Encapsulated Search
Abstraction of parameterized networks
Characterization of Single Cycle CA and its Application in Pattern Classification
Type Disciplines for Analysing Biologically Relevant Properties
Data Store Models are Different Than Data Interchange Models
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources
Metric spaces in type theory via formal topology
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis
"Computing with words" Concept Applied to Musical Information Retrieval
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
Modelling Parallel Quantum Computing Using Transactional Memory
Incorporating Formal Techniques into Industrial Practice: an Experience Report
On the Refinement of Atomic Actions
On the Complexity of Semantic Self-minimization
A Technique for Verifying Component-Based Software
Realizability for Monotone and Clausular (Co)inductive Definitions
Term Graphs for Computing Derivatives in Imperative Languages
Categorical Models of the Differential λ-Calculus Revisited
Turing Machines, Transition Systems, and Interaction
Inferring Effective Types for Static Analysis of C Programs
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions
Securing Statically-verified Communications Protocols Against Timing Attacks
E-matching for Fun and Profit
Applying Fondue to Specify a Drink Vending Machine
Binding in Nominal Equational Logic
A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL
Position Paper: Thoughts on Programming with Proof Assistants
Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract
Encoding an Object Calculus into Interaction Nets
Towards a Quantitative Analysis of Security Protocols
Propositional Games with Explicit Strategies
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Interfacing Concepts: Why Declaration Style Shouldn't Matter
A Semiring-based Quantitative Analysis of Mobile Systems
On the Use of Uniform Random Generation of Automata for Testing
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
The Probability Nesting Game
An Ontological Rule-Based Approach for Analyzing Dead and False Optional Features in Feature Models
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition
A Characterization of Constructive Dimension
Model Checking Games
Guardians for Ambient-based Monitoring
A Coordination-based Methodology for Security Protocol Verification
Time-inhomogeneous Population Models of a Cycle-Stealing Distributed System
An Efficient Migration to Model-driven Development (MDD)
Tags for Multi-Protocol Authentication
Schedulability Criteria and Analysis for Dynamic and Flexible Resource Management
On the Expressiveness of Timed Coordination via Shared Dataspaces
An Algebraic Approach to Population-Based Evolutionary Algorithm Generation
Quasi-Nelson Algebras
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
How Iterative are Iterative Algebras?
Automatic Roundtrip Engineering
Validation Coverage for a Component-based SDL model of a Railway Signaling System
Formal Molecular Biology Done in CCS-R
A Duality Theorem for Quantitative Semantics
Modeling and Verification of CAN Bus with Application Layer using UPPAAL
Input/Output for ELAN
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects
Two Extensions of PX system
Reachability in Conditional Term Rewriting Systems
Software Evolution through Transformations
On-demand Evaluation by Program Transformation
Pre-Galois Connection on Coalgebras for Generic Component Refinement
Towards Hilbert's 24 th Problem: Combinatorial Proof Invariants: (Preliminary version)
A categorical account of two-level languages
Services and Contracts: Coalgebraically
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems
On One-way One-bit O (One)-message Cellular Automata
Automated Theorem Proving with Spider Diagrams
Alternating Context-Free Languages and Linear Time mu-Calculus with Sequential Composition
Symbolic Simulation of Synchronous Programs
A User-friendly Interface for a Lightweight Verification System
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations
Slicing Event Spaces: Towards a Java Programs Checking Framework
Heuristics for Safety and Security Constraints
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Towards a Double Pushout Transformation of Algebras
Finding Optimal Timetables for Edinburgh Bus Routes
Time-dependent Networks as Models to Achieve Fast Exact Time-table Queries
What can we do with a Solution?
Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs
On Verification of Linear Occurrence Properties of Real-Time Systems
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003
HTab: a Terminating Tableaux System for Hybrid Logic
A Generalisation of Stationary Distributions, and Probabilistic Program Algebra
An Automated Approach for Proving PCL Invariants
Confluent rewriting of bisimilar term graphs
Controlling Testing Using Three-Tier Model Architecture
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java
The Action Environment: -- Tool Demonstration --
Connecting Logical Representations and Efficient Computations
Unguarded Recursion on Coinductive Resumptions
Completeness and Counter-Example Generations of a Basic Protocol Logic: (Extended Abstract)
Derivation of Characteristic Formulae
Statistics of implicational logic
Generation of Asynchronous Component Adapters
A Rough Set Approach to Estimating the Game Value and the Shapley Value from Data
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Axiomatic Description of Mixed States From Selinger's CPM-construction
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
Formal Verification of Websites
Observer Architecture of Program Visualization
Process languages for ESM systems
Incremental Evaluators for Remote Attribute Grammars
Testing-based Process for Evaluating Component Replaceability
Strategic Rewriting
A Semantics for Timed MSC
Constructing Formally Verified Reasoners for the ACL Description Logic
Recognizing Strategies
Premonoidal categories and flow graphs
Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe
A Graphical Foundation for Schedules
Composition and Correctness
Application of Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving
Categories of dimaps and their dihomotopies in po-spaces and local po-spaces
Process Algebra with Local Communication
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP
The Specification Logic vZ
Proving Correctness of a Compiler Using Step-indexed Logical Relations
Classically-controlled Quantum Computation
A Langevin Interpretation of PEPA Models
Semantics, modularity, and rewriting logic
An Aspect-Oriented Approach to Modular Behavioral Specification
Idealized CSP: combining procedures with communicating processes
Lightweight Static Capabilities