yusuke1997/dblp-id-title huggingface dataset:
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols
Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
Towards Synchronizing Linear Collaborative Objects with Operational Transformation
SDL specification and verification of universal personal computing: with Object GEODE
An Experimental Evaluation of Probabilistic Simulation
The Testing Functionalities of LOLA
Relating Conformance Test Coverage to Formal Specifications
Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989
A Bounded True Concurrency Process Algebra for Performance Evaluation
The electric power of LOTOS - Results of a joint academic/industrial experiment
Formal Specification of Symbolic-Probabilistic Systems
Automatic verification of real-time communicating systems by constraint-solving
Leaf-First Zipper Semantics
Using First-Order Logic to Reason about Submodule Construction
A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks
The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS
Formal Description of Mobile IPv6 Protocol
Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts
On Asynchronous Session Semantics
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach
The PROMPT Automatic Implementation Tool - Initial Impressions
SDS - A LOTOS-Based Tool for Symbolic Debugging
Generation of All Counter-Examples for Push-Down Systems
An Approach to providing Support Tools for Formal Specification
Derivation of efficient implementations from formal descriptions - issues, methods and conformance
Proving performance propterties (even probabilistic ones)
Protocol Synthesis for Real-Time Applications
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool
Fault-oriented Test Generation for Multicast Routing Protocol Design
Executable Communicating Rule Systems
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures
Behavioural Equivalences over Migrating Processes with Timers
Formal Methods Elsewhere - a Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering, FM-Elsewhere 2000, Pisa, Italy, October 2000
Relational Concurrent Refinement: Timed Refinement
State Isomorphism in Model Programs with Abstract Data Structures
An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System
An Integrated Specification Support System for Communication Software Design Based on Stepwise Refinement and Graphical Representation
Composition of Model Programs
The Application of LOTOS for the Formal Description of the ISO Session Layer
An Expressive Temporal Logic for Basic LOTOS
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)
Web Cube
A New Approach for Concurrent Program Slicing
Properties as Processes: Their Specification and Verification
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols
An Observational Approach to Defining Linearizability on Weak Memory Models
Cumulating constraints on the "WHEN" and the "WHAT"
Distributed Observation and FIFO Queues
A Program Logic for Verifying Secure Routing Protocols
Solving Asynchronous Equations
Analysis of May-Happen-in-Parallel in Concurrent Objects
Encodability Criteria for Quantum Based Systems
On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective
Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines
Performance Modelling with the Formal Specification Language SDL
ODP: The Next Target for the Applciation of FDTs
Distributed Test using Logical Clock
Modularising Opacity Verification for Hybrid Transactional Memory
The Future Information Technology and its Impact to the Society
Verifying Security Policies Using Host Attributes
Formal Verification of Distributed Branching Multiway Synchronization Protocols
Performance Evaluation of a SNAP-Based Grid Resource Broker
A Calculus for Modeling Floating Authorizations
Testing Attribute-Based Transactions in SOC
Formal Techniques for Networked and Distributed Systems - FORTE 2002, 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Support for ASN.1 within a Protocol Testing Environment
An Improved Search Strategy for Lossy Channel Systems
Verification of Ad Hoc Networks with Node and Communication Failures
Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems
AuDaLa is Turing Complete
Mixing LOTOS and SDL Specifications
SNexpression: A New Component for SN Matrix-Based Structural Analysis
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation
Connectivity Testing Through Model-Checking
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets
Combination of conformance and interoperability testing
Proof Methodologies for Behavioural Equivalence in DPI
Compressing the State Space Representation of LOTOS Specifications
Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE
An attempt to embed a restricted version of SDL as a target language in Focus
A Calculus to Define Correct Tranformations of LOTOS Specifications
Checking Correctness of Transactional Behaviors
Modelling Probabilistic Wireless Networks - (Extended Abstract)
Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps
Recovering Repetitive Sub-functions from Observations
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Fencing Programs with Self-Invalidation and Self-Downgrade
LTL Under Reductions with Weaker Conditions Than Stutter Invariance
Time Versus Abstraction in Formal Description
A Reachability Analysis of RT-LOTOS Specifications
Formal Verfication of a Protocol for Communications over Faulty Channels
SDT - The SDL Design Tool
Towards the Harmonisation of UML and SDL
Component-aware Input-Output Conformance
Event Correlation with Boxed Pomsets
Relating Process Languages for Security and Communication Correctness (Extended Abstract)
Semantic-Based Development of Service-Oriented Systems
Towards Bridging Time and Causal Reversibility
Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework
Formal Specification, Validation and Implementation of an Application Protocol with Estelle
Automatic Test Case Generation of Real Protocols: Framework and Methodology
Modelling of Complex Software Systems: A Reasoned Overview
Analysis of Deadlocks in Object Groups
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS η
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis
Co-engineering Safety-Security Using Statistical Model Checking
A Hierarchy of Communication Models for Message Sequence Charts
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning
On the Use of LOTOS for the Formal Description of a Transport Protocol
Secrets of Call Forwarding: A Specification Case Study
Implementing a CTL Model Checker with μ G , a Language for Programming Graph Neural Networks
Transformation from LOTOS Specifications to Galileo Nets
An Estelle Based Test Generation Tool for Modular Specifications
Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy
Modeling and Verification of Safety-Critical Systems Using Safecharts
Compilation of LOTOS Abstract Data Types
Application of Formal Description Techniques to Conformance Evaluation
Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993
Progressive Solutions to a Parallel Automata Equation
Combating Infinite State Using Ergo
Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China
ASDE: Design of a Transformational Environment for LOTOS
Experience in Validating Protocol Integration Using Estelle
Modeling of Distributed Systems by Concurrent Regular Expressions
Distributed Semantics and Implementation for Systems with Interaction and Priority
Towards Modal Logic Formalization of Role-Based Access Control with Object Classes
Designing Efficient Fail-Safe Multitolerant Systems
Using VDM to specify managed object relationships
On Combining the Persistent Sets Method with the Covering Steps Graph Method
Witness and Counterexample Automata for ACTL
Offline and Online Monitoring of Scattered Uncertain Logs Using Uncertain Linear Dynamical Systems
Partial Order Methods for Statistical Model Checking and Simulation
Disjunction of LOTOS Specifications
Formal Design of Interactive Multimedia Documents
Hit-or-Jump: An algorithm for embedded testing with applications to IN services
Formal Analysis of Dynamic, Distributed File-System Access Controls
An Experiment in Analyzing Switch Recovery Procedures
Operations on Timed Scenarios
Tool Support for Algebraic Specifications of Dat in SDL-92
On Futures for Streaming Data in ABS - (Short Paper)
Session-Based Concurrency, Reactively
Transactional Reduction of Component Compositions
Io: An Estelle Simulator for Performance Evaluation
How Adaptive and Reliable is Your Program?
Distributed System Specification in VDM ++
Overview: Survey of Formal Methods in Industry
Expressive Completeness of an Event-Pattern Reactive Programming Language
Specification and Verification of a Sliding Window Protocol in LOTOS
A Minimal Market Model in Ephemeral Markets
Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992
An Object-Oriented Model for ASN.1
Encoding PAMR into (Timed) EFSMs
An Object-Oriented Model for Estelle
Executable Test Sequence for the Protocol Data Flow Property
Stochastic process algebras: integrating qualitative and quantitative modelling
Prototyping Framework for SDL with Evolving Semantics
Formal Security Policy Verification of Distributed Component-Structured Software
A Compilation of Algebraic Processes Based on Extended-Action Derivation
Modeling and Model Checking Mobile Phone Payment Systems
Proving the value of formal methods
A timed LOTOS supporting a dense time domain and including new timed operators
A LOTOS Compiler Generating Multi-threaded Object Codes
A new approach to performance evaluation of formally specified protocols
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
From Rule-based to Automata-based Testing
Goal oriented execution for LOTOS
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language
A synthesis algorithm of a protocol model from a single entity
A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges
Interfacing ASN.1 and Estelle: A Practical Approach
Monotonic Prefix Consistency in Distributed Systems
Deriving Non-determinism from Conjunction and Disjunction
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems
Testing of Autonomous Agents Described as Utility State Machines
Bounded Model Checking for Timed Systems
Loop Freedom in AODVv2
A Type Theory for Robust Failure Handling in Distributed Systems
Adapting Petri Nets Reductions to Promela Specifications
Specification and Verification of the PowerScale TM Bus Arbitration Protocol: An Industrial Experiment with LOTOS
Fair Testing through Probabilistic Testing
Verifying Bisimulations "On the Fly"
Use of Logic to Describe Enhanced Communications Services
Branch-Well-Structured Transition Systems and Extensions
Coordination Via Types in an Event-Based Framework
Confirming configurations in EFSM
Bundle event structures: a non-interleaving semantics for LOTOS
Protocol Trace Analysis Based on Formal Specifications
Design and Optimization of High-Performance Protocols with the DO-IT Toolbox
Minimizing Coordination Channels in Distributed Testing
Parametric Updates in Parametric Timed Automata
Model Checking Distributed Systems against Temporal-Epistemic Specifications
Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems
Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection
Specification for Verification
Non-Determinism and SDL
Protocol Techniques for Testing Radiotherapy Accelerators
Diagnosing Multiple Faults in Communicating Finite State Machines
Verification of Parameterized Systems with Combinations of Abstract Domains
Formal Verification of the TTP Group Membership Algorithm
Test sequence generation using Estelle or SDL structure information
Formally Verifying a Rollback-Prevention Protocol for TEEs
Playing with Our CAT and Communication-Centric Applications
A Lightweight Formal Analysis of a Multicast Key Management Scheme
An improvement in formal verification
Design of operating systems using the F.D.T. ESTELLE
Specifying Properties of Basic LOTOS Processes Using Temporal Logic
Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram
Composition of Use Cases Using Synchronization and Model Checking
Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol
An Optimizing Compiler for Efficient Model Checking
The Boyer-Moore Theorem-Prover and LOTOS
Guaranteeing liveness in an object calculus through behavioural typing
Stress Testing of Distributed Multimedia Software Systems
Test Generation from Protocol Specification
Model Generation for Horn Logic with Stratified Negation
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
SDL-Pattern based Development of a Communication Subsystem for CAN
A Meta-model for TTCN-3
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems
Parameterized Tree Systems
Types for Deadlock-Free Higher-Order Programs
Dynamic Causality in Event Structures
Efficient and Generalized Decentralized Monitoring of Regular Languages
Network Computing
An Analytical Design of a Practical Replication Protocol for Distributed Systems
Specification and execution of tests using tMsc
LOTOS in Alcatel
A Logical Framework for Distributed Systems and Communication Protocols
Conformance Testing of Boolean Programs with Multiple Faults
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
Direct Verification of Bisimulations
Towards a Formal Framework for Interoperability Testing
Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing
A Choreographic View of Smart Contracts
Timing Constraints in Message Sequence Chart Specifications
Systematic Performance Evaluation of Multipoint Protocols
On improving reduced reachability analysis
What is the Method in Formal Methods?
Compact Net Semantics for Process Algebras
Multiparty Session Types Within a Canonical Binary Theory, and Beyond
Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
Model Checking Based on Occurrence Net Graph
The Inductive Approach to Strand Space
A Formal Venture into Reliable Multicast Territory
Modular Verification of Petri Nets Properties: A Structure-Based Approach
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Traits: Correctness-by-Construction for Free
Towards Efficient Verification of Parallel Applications with Mc SimGrid
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
An abstract interpreter for the specification language LOTOS
Sharing Trees for "on-the-fly" Verification
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers
Modeling Distributed Embedded Systems in Multiclock ESTEREL
A Framework for Verifying Data-Centric Protocols
Formal Specification of a Framework for Groupware Development
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
A new distributed algorithm for implementation of LOTOS
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra
Specification of Timed EFSM Fault Models in SDL
Formalizing Collaboration Goal Sequences for Service Choreography
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B
Formal Test Purposes and the Validity of Test Cases
SimGrid MC: Verification Support for a Multi-API Simulation Platform
Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Model Reduction of Modules for State-Even Temporal Logics
Specification and Verification of Message Sequence Charts
XP, an Experiment in Modular Specification
Metrics for Differential Privacy in Concurrent Systems
Friendly Testing as a Conformance Relation
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
Yet another FDT ? An Introduction to CHILL-S
Satisfaction up to Liveness
Uniform Protection for Multi-exposed Targets
Open Estelle - An FDT for Open Distributed Systems
Towards efficient parallelization of equivalence checking algorithms
An Interactive Programming Environment for LOTOS
Model-Checking a Secure Gorup Communication Protocol: A Case Study
How good is your specification method?
Timely Dataflow: A Model
Formal Composition of Distributed Scenarios
Passive Testing with Asynchronous Communications
Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development
A Timed Component Algebra for Services
Logic and Model Checking for Hidden Markov Models
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering
How Expressive Are LOTOS Behaviour Expressions?
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project
A Model Checking Method for Partially Symmetric Systems
Analyzing a space-protocol: from specification, simulation to experimentation
A Temporal Process Algebra
Modeling, Validation, and Verification of PCEP Using the IF Language
A Graphical Parallel Composition Operator for Process Algebras
EPER: Efficient Parallel Encoding Rules for ASN.1
Sequential Composition of BDD Transition Systems for Model-Based Testing
An Extension of GDMO for Formalizing Managed Objects Behaviour
SELEXPERT - A Knowledge-based Tool for Test Case Selection
Validiation of the Sessionless Mode of the HTTPR Protocol
LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests
From LOTOS to C
Specifying the Xpress Transfer Protocol Using Estelle and Valira
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems
Towards a formal computational model for distributed multimedia applications
EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software
Tutorial: Designing Distributed Software in mCRL2
Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach
PIL: A Tool for Pre-implementation of LOTOS
A true concurrency semantics for LOTOS
Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
Verifying an infinite family of inductions simultaneously using data independence and FDR
Typechecking Java Protocols with [St]Mungo
Test derivation for SDL based on ACTs
Hardware implementation of Concurrent Periodic EFSM's
An Algebraic Semantics for Message Sequence Chart Documents
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
A Symbolic Semantics and Bisimulation for Full LOTOS
Algebraic Specification through Expression Transformation
Robustness in Interaction Systems
"On-the-fly Instantiation" of Value-passing Processes
Conformance-Based Doping Detection for Cyber-Physical Systems
Proving forall-µ-Calculus Properties with SAT-Based Model Checking
Global Timed Bisimulation: An Introduction
TA-2: A Prototype Analysing Dynamic SDL Properties
Implementation of Multimedia Systems based on Real-Time Extensions of Estelle
SVL: A Scripting Language for Compositional Verification
ASN.1 and Estelle Implementation Support Tools
A modal based verification for LOTOS
Sliced Path Prefixes: An Effective Method to Enable Refinement Selection
Compliance and Subtyping in Timed Session Types
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
The Challenges Facing Formal Description Techniques
A structural analysis approach to the evaluation of fault coverage for protocol conformance testing
Intelligent Protocol Analyzer with TCP Behavior Emulation for Interoperability Testing of TCP/IP Protocols
Abstract Operational Semantics for Use Case Maps
Theory and Implementation of a Real-Time Extension to the pi -Calculus
The SRTS Experience: Using TOPO for LOTOS Design and Realization
Congruent Weak Conformance, a Partial Order among Processes
On Model-Checking Optimistic Replication Algorithms