yusuke1997/dblp-id-title huggingface dataset:
Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing
Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams
Timers for Distributed Systems
Integrating UML and Formal Methods
A Behavioural Model for Klop's Calculus
On Symbolic Verification of Weakly Extended PAD
Observational Coalgebras and Complete Sets of Co-operations
Sequentiality and the CPS Semantics of Fresh Names
A Low-Level Analysis Library for Architecture Recovery
Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002
A Categorical Setting for Lower Complexity
Multimodal Separation Logic for Reasoning About Operational Semantics
Formal Modelling of PKI Based Authentication
The GTB and PAT tools
Towards Resolution-based Reasoning for Connected Logics
Construct Aspectual Models from Requirement Documents for Model-driven Development of Automotive Software
Axiomatizing Hybrid Products of Monotone Neighborhood Frames
Hierarchical Automata and P-systems
Universal Boolean Systems
Effects and effect inference for a core Java calculus
Probabilistic Completion of Nondeterministic Models
Pathway Logic: Executable Models of Biological Networks
An Ontology-based Approach for Sharing, Integrating, and Retrieving Architectural Knowledge
Honeycomb vs square and cubic models
Freyd categories are Enriched Lawvere Theories
Towards Seamless Merging of Hypertext and Algorithm Animation
Sequential Algorithms for Unbounded Nondeterminism
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Clausal Tableaux for Hybrid PDL
An Action Semantics Integrated Development Environment
Formalisation of C Language Interfaces
A Massively Scalable Architecture For Instant Messaging & Presence
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Specifying and Executing Reactive Scenarios With Lutin
Rewriting logic as a logic of special relations
The GTO Toolset and Method
Reachability Analysis of Synchronized PA Systems
Variations on Wadge Reducibility Extended Abstract
Weak Probabilistic Anonymity
Operational Semantics of Reversibility in Process Algebra
Validating for Liveness in Hidden Adversary Systems
Models for the computational lambda-calculus
Object-oriented specification of distributed systems
Narrowing and Rewriting Logic: from Foundations to Applications
Mobile Agents in Interaction Spaces
A Static Analysis for Beta-Binders
An Integrated and "Engaging" Package for Tree Animations
Implementing Compositional Analysis Using Intersection Types With Expansion Variables
A Light-Weight e-Voting System with Distributed Trust
Model-checking Web Services Orchestrations using BP-calculus
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol
Termination and normalisation under strategy Proofs in ELAN
Minimum Augmentation of Edge-connectivity between Vertices and Sets of Vertices in Undirected Graphs
A Petri Net Based Method for Refining Object Oriented System Specifications
A compositional approach to structuring and refinement of typed graph grammars
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages
Verifying Programs that Manipulate Pointers: (Invited Talk)
Visual Design of Software Architecture and Evolution based on Graph Transformation
A Short Introduction to Clones
The Language Evolver Lever - Tool Demonstration -
Randomness Preserving Deletions on Special Binary Search Trees
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Type Checking for JavaScript
Alloy as a Refactoring Checker?
Varieties and Covarieties of Languages (Extended Abstract)
Monads for Behaviour
Algebraic Specialization of Generic Functions for Recursive Types
On a Description of Terminal Coalgebras and Iterative Theories
Noise and the Mermin-GHZ Game
Bell States and Negative Sentences in the Distributed Model of Meaning
Audit-Based Access Control for Electronic Health Records
Counter Abstraction in the CSP/FDR setting
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting
Normalization by Evaluation and Algebraic Effects
Case Analysis of Higher-Order Data
On the Role of Names in Reasoning about lambda-tree Syntax Specifications
Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces
Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs
Neural Network Architecture for Synthesis of the Probabilistic Rule Based Classifiers
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems
Multiobjective Harmony Search Algorithm Proposals
Coinductive Verification of Program Optimizations Using Similarity Relations
Tree Unification Grammarstar: Problems and Proposals for Topology, TAG, and German
An overview of Boxed Ambients
The Impact of Profit Uncertainty on Miner Decisions in Blockchain Systems
A Petri Net Model of Handshake Protocols
Model Based Testing in Practice at Microsoft
Improving the Security of Downloadable Java Applications With Static Analysis
On the symbolic reduction of processes with cryptographic functions
Uniform Topological Spaces Based on BF-ideals in Negative Non-involutive Residuated Lattices
Safety-Oriented Design of Component Assemblies using Safety Interfaces
Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras
Defining Actions in Concurrent Declarative Programming
Topological Analysis of Refinement
The Largest Topological Subcategory of Countably-based Equilogical Spaces
Reconstruction of Partial Orders and List Representation as Random Structures
Hardness and Efficiency on Minimizing Maximum Distances for Graphs With Few P 4 's and ( k , ℓ )-graphs
Discount-Optimal Infinite Runs in Priced Timed Automata
Cut Elimination for a Simple Formulation of PA epsilon
Wrapping of Web Sources with restricted Query Interfaces by Query Tunneling
Reusable Idioms and Patterns in Graph Transformation Languages
Stochastic Concurrent Constraint Programming
Virtual-Machine Abstraction and Optimization Techniques
Thread Verification - An Experience Report
A Case Study on Verifying a Supervisor Component Using McErlang
On the Ubiquity of Certain Total Type Structures: (Extended Abstract)
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
From Bialgebraic Semantics to Congruence Formats
Formal Methods Group ETH Zürich
What are the Fundamental Structures of Concurrency?: We still don't know!
Early Verification of Computer Systems Temporal Properties
Four equivalent equivalences of reductions
Institutionalizing Coalgebraic Modal Logic
Semi-Automatic Specification of Behavioural Service Adaptation Contracts
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations
Integral of Two-dimensional Fine-computable Functions
Operational Termination of Membership Equational Programs: the Order-Sorted Way
Local Compactness and the Baire Category Theorem in Abstract Stone Duality
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda
A Simply Typed λ-Calculus of Forward Automatic Differentiation
Automating Soundness Proofs
Specification and Runtime Verification of Java Card Programs
Petri Nets With Persistence
Complete Axiomatization for the Total Variation Distance of Markov Chains
Automated Game Analysis via Probabilistic Model Checking: a case study
MMC: the Mono Model Checker
Optimizing Conditional Logic Reasoning within CoLoSS
Universality and powerdomains
On Reversible Combinatory Logic
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
Stateful Runners of Effectful Computations
On Leaf Permutative Theories and Occurrence Permutation Groups
Bialgebraic Methods in Structural Operational Semantics: Invited Talk
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
HSIM: A Hybrid Stochastic Simulation System for Systems Biology
Methods for Quantitative Analysis of Probabilistic Pushdown Automata
Controlling rewriting: study and implementation of a strategy formalism
A Meta-Model for Fact Extraction from Delphi Source Code
Timing Analysis and Code Generation of Vehicle Control Software using Taxys
The Construction of Set-Truncated Higher Inductive Types
Resolution in the Smyth powerdomain
A Model-based Integration and Testing Method to Reduce System Development Effort
Visualization of Procedural Abstraction
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
Testing Concurrent Java Programs using Randomized Scheduling
Through Personalized Web Service Composition Specification: From BPEL to C-BPEL
The Closed Fragment of IL is PSPACE Hard
Aspect and XML-oriented Semantic Framework Generator: SmartTools
Model Checking of Component Behavior Specification: A Real Life Experience
Compositional Failure-based Equivalence of Constraint Automata
Syntactic Type Soundness for the Region Calculus
Embedding Constructive K into Intuitionistic K
Goto and Concurrency Introducing Safe Jumps in Esterel
Class and Capsule Refinement in UML for Real Time
Rule-based Programs Describing Internet Security Protocols
Verification with the Undefined: A New Look
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time
Towards the Evaluation of Environment and Business Trade-offs in Supply Chains
QRB, QFS, and the Probabilistic Powerdomain
Power Simulation and its Relation to Traces and Failures Refinement
Some Remarks on Type Systems for Course-of-value Recursion
Data Anonymity in the FOO Voting Scheme
Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency
Foundations for Designing Secure Architectures
UML Statechart Diagrams on the ADONIS Metamodeling Platform
A Precise Yet Efficient Memory Model For C
Prospec: Support for Elicitation and Formal Specification of Software Properties
Revising Type-2 Computation and Degrees of Discontinuity
Programmed Search in a Timetabling Problem over Finite Domains
Linial's Conjecture for Arc-spine Digraphs
Experiments in Theorem Proving for Topological Hybrid Logic
Formalizing a Hierarchical File System
Computing by Floating Strings
Controlling File Access with Types
Design Aspects and GRS-based AOD: The GREAT transformation framework
Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey
Implementing Nominal Unification
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol
A Process Calculus of Atomic Commit
Developing High-Performance Server Applications in Haskell - Case Study: A Haskell Web Server
Formal Models of Timing Attacks on Web Privacy
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
Constructive Urysohn's Universal Metric Space
Right Kan spaces and essentially complete T0-spaces
Scannerless Boolean Parsing
Monotonic Abstraction in Parameterized Verification
Two semantics for Timed Default Concurrent Constraint Programming
Component Simulation-based Substitutivity Managing QoS Aspects
Comonoids in chu: a large cartesian closed sibling of topological spaces
jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java
Timed Semantics of Message Sequence Charts Based on Timed Automata
Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus
Encryption as an abstract data type
Epistemic Verification of Anonymity
Specifying and Implementing Visual Process Modeling Languages with DiaGen
Countably Sober Spaces
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study
Tagged Systems: A Framework for the Specification of History-dependent Properties
Experimenting Formal Proofs of Petri Nets Refinements
A Clustering-based Group Key Agreement Protocol for Ad-Hoc Networks
Component-Oriented Specification of Performance Measures
Towards characterizing bisimilarity of value-passing processes with context-free control
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS
A Framework for Engineering Interactions in Java-based Component Systems
A type preserving translation of Fickle into Java
Calculation of Invariants Assertions
Selective Data Encryption in Outsourced Dynamic Environments
Sharpening the Incompleteness of the Duration Calculus
Role-based Architectural Modelling of Socio-Technical Systems
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
Characterizing Consistent Smyth Powerdomains by FS-∧ ↑ -domains
Embedding First-Order Tableaux into a Pure Type System
Distributed Branching Bisimulation Reduction of State Spaces
Towards Proof Planning for Mω +
Collaborative Development of Interactive Language Processing Tools
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting
An efficient algorithm for Helly property recognition in a linear hypergraph
Exploiting Gamification to Improve Eco-driving Behaviour: The GamECAR Approach
Alternation-Free Weighted Mu-Calculus: Decidability and Completeness
Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC
Quantitative Evaluation of Enterprise DRM Technology
Frameworks Based on Templates for Rigorous Model-driven Development
Virtual Organizations in Arigatoni
Abstract Semantics for Alias Analysis in K
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract)
Programming Examples Needing Polymorphic Recursion
CTL-Property Transformations Along an Incremental Design Process
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators
Characterizing Computable Analysis with Differential Equations
Reconstruction of hv-convex binary matrices from their absorbed projections
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems
Validating Behavioral Component Interfaces in Rewriting Logic
CTML - A Context Transport Mark-up Language for Formalization and Verification of Legal, Medical and Bureaucratic and Safety procedures and Protocols
Generating Snapshots of a Component Setting
An Algebra-Coalgebra Framework for System Specification
Solving the Freight Car Flow Problem to Optimality
User--system interaction within Theorema
Generating Functional Implementations of Finite State Automata in C# 3.0
An Implementation of Role-Base Trust Management Extended with Weights on Mobile Devices
A Technique for Verifying Measurements
DPVK - An Eclipse Plug-in to Detect Design Patterns in Eiffel Systems
A Model Driven Approach to the Analysis of Quality Scenarios within Self-Adaptable SOA Systems
Model-checking of infinite Kripke structures defined by simple graph grammars
A Logical Approach to Security in the Context of Ambient Calculus
Containment in Rule-Based Models
Cell Cycle Control in Eukaryotes: A BioSpi model
Scenario Views for Visual Behavior Models in GenGED
Reasoning with Graphs
Quantifier-free logic for multialgebraic theories
The ASW Protocol Revisited: A Unified View
Infinitary rewriting and cyclic graphs
Analysing the BKE-security Protocol with µ CRL
Geodesic paths approach to color image enhancement
On the Use of Functional Test Generation in Diagnostic Test Generation for Synchronous Sequential Circuits
Dynamic Software Assembly for Automatic Deployment-oriented Adaptation
Normalisation of Loops with Covariant Variables
Formal Fault Tree Analysis - Practical Experiences
Name-passing style GUI programming in the pi -calculus-based language Nepi
An Overview of C alpha ml
PEF: Python Error Finder
Rewriting Logic Systems
Capsules and Closures
A Single Complete Relational Rule for Coalgebraic Refinement
A relative PCF-definability result for strongly stable functions and some corollaries
Axioms for Probability and Nondeterminism
Splitting Mobility and Communication in Boxed Ambients
Step-Indexed Kripke Model of Separation Logic for Storable Locks
Classical Knowledge for Quantum Security
Inductive Proof Outlines for Exceptions in Multithreaded Java
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
Abductive Network Action Inference for Targeted Therapy Discovery
Safe Composition of Linda-based Components
Approximating Bisimilarity for Markov Processes
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays
A Formal Composition and Interaction Model for a Web Component Platform
Cut Elimination in a Class of Sequent Calculi for Pure Type Systems
Reversible Effects as Inverse Arrows
Variable-Precision Compatibility Spaces
XPath Query Processing in a Functional-Logic Language
Contracts, games and refinement
New Undecidability Results for Properties of Term Rewrite Systems
The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective
Engineering, Software and Hypotheses
Process Calculià la Bird-Meertens
Introduction - Bohm's theorem: applications to Computer Science Theory - BOTH 2001
Fixed Points in Metric Semantics
Sequent Calculi for 'Generally'
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
Proving Concurrent Constraint Programming Correct, Revisited
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
Towards a Readable Formalisation of Category Theory
Type-2 Computability and Moore's Recursive Functions
A Petri Net Semantics of a Simple Process Algebra for Mobility
An Application-Oriented Framework for Wireless Sensor Network Key Establishment
Recursion and Corecursion Have the Same Equational Logic
On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank
A Quantitative Approach to Noninterference for Probabilistic Systems
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata
Formalizing Fact Extraction
Adaptive Verification using Forced Simulation
Intuitionistic Proof Transformations: Complexity and Applications
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter
Iterated Duals of Certain Topological Spaces
On the coherence of component protocols
Semantics and Verification of Data Flow in UML 2.0 Activities
Timed Term Rewrite Systems
Dynamics for ML using Meta-Programming
Transition Systems over Continuous Time-Space
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
Peano Structures and the Semantics of Iteration
Absolute versus relative time in process algebras
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
Dioids for Computational Effects
Composition of Services with Constraints
A note on parallel splicing on images
On-the-Fly Verification using CADP
Performance Evaluation of Software Development Teams: a Practical Case Study
Towards the Semantics and Verification of BPEL4WS
Modelling Calculi with Name Mobility using Graphs with Equivalences
Reasoning in Abella about Structural Operational Semantics Specifications
Adapting Hidden Markov Models for Online Learning
Observationally-induced Effects in Cartesian Closed Categories
Checking Overlaps of Nominal Rewriting Rules
Separation Logic for Multiple Inheritance
T-homotopy and Refinement of Observation (I): Introduction
Efficient State Space Search for Time Petri Nets
A Branch-and-Price Algorithm for the Ring-Tree Facility Location Problem
A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics
Using CLP Simplifications to Improve Java Bytecode Termination Analysis
Validation of Automatic Vehicle Location Data in Public Transport Systems
Slicing-based Reductions for Rebeca
Computability of Partial Delaunay Triangulation and Voronoi Diagram
Automated Mapping of Reo Circuits to Constraint Automata
Towards Weak Bisimulation For Coalgebras
Comparative Analysis of Architectural Views Based on UML
Deduction and Presentation in rho Log
Program Units as Higher-Order Modules
Residual for Component Specifications
An axiomatics for categories of coalgebras
Towards Abstract Interpretation for Recovering Design Information
Modal Logic for Rewriting Theories
Verifying Industrial Hybrid Systems with MathSAT
Handling ELAN rewrite programs via an exchange format
The Polarized λ-calculus
Integration of BETA with Eclipse - An Exercise in Language Interoperability
On the Observable Behaviour of Composite Components
Domain equations for probabilistic processes
A Computable Version of the Daniell-Stone Theorem on Integration and Linear Functionals
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications
Translation and Run-Time Validation of Optimized Code
Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols
ENT: A Generic Meta-Model for the Description of Component-Based Applications
Uniform provability realization of intuitionistic logic, modality and lambda-terms
Weak behavioral subtyping for types with mutable objects
Effective Dini's Theorem on Effectively Compact Metric Spaces
Systematic Semantic Tableaux for PLTL
Interface-Based Specification and Verification of Concurrency Controllers
k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures
The ARC Programming Model - Language Constructs for Coordination
Reversible Computer Hardware
A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies
Computing with Exact Real Numbers in a Radix-r System
Weightable quasi-metric semigroups and semilattices
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
Measurements on domains and topology
Parametric Performance Contracts for QML-specified Software Components
Categorical rewriting of term-like structures
Alias types for "environment-aware" computations
2-Dimensional Directed Type Theory
The Smyth completion: a common foundation for denotational semantics and complexity analysis
Cobalt: A Language for Writing Provably-Sound Compiler Optimizations
A Technical Analysis Indicator Based On Fuzzy Logic
Combining Decision Procedures by (Model-)Equality Propagation
Silver: an Extensible Attribute Grammar System
Sequentiality and Piecewise-affinity in Segments of Real-PCF
A Model of Guarded Recursion With Clock Synchronisation
From Iterative Algebras to Iterative Theories (Extended Abstract)
Focused Linear Logic and the λ-calculus
A Priviledge Management Scheme for Mobile Agent Systems
Efficient Substitution in Hoare Logic Expressions
Unwinding in Information Flow Security
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing
Jordan Areas and Grids
On Rough Concept Lattices
An Observational Theory for Mobile Ad Hoc Networks
Petri Nets with Non-blocking Arcs are Difficult to Analyze
A Short Visit to the STS Hierarchy
An Account of Implementing Applicative Term Rewriting
Separating Interaction Concerns from Distributed Feature Components
Constraint Functional Logic Programming Revisited
Induction, Coinduction, and Adjoints
Transformations of Concept Graphs: An Approach to Empirical Induction
On the Relations between Disjunctive and Linear Logic Programming
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time
Space and Time Adaptive Non-blocking Algorithms
Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF
Propositional Dynamic Logic with Program Quantifiers
A Prolog-based Query Language for OWL
Java-MaC: a Run-time Assurance Tool for Java Programs
Compressed and Distributed File Formats for Labeled Transition Systems
Towards Lambda Calculus Order-Incompleteness
Distributing the Workload in a Lazy Theorem-Prover
Programming Satan's Agents