yusuke1997/dblp-id-title huggingface dataset:
Formal Methods at AT&T - An Industrial Usage Report
Synchronous Interface Theories and Time Triggered Scheduling
JSCL: A Middleware for Service Coordination
A Process-Oriented Approach Towards Structured Market Modelling
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction
Formal specification and analysis of an ISO communications protocol
Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings
Resource Allocation Systems: Some Complexity Results on the S 4 PR Class
Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings
On Partial Order Semantics for SAT/SMT-Based Symbolic Encodings of Weak Memory Concurrency
Step-wise Refinement Design Example Using LOTOS
LOTOS-Supported System Development
Inverse Expansion
Experiences of Using SDL Collected in IskraTEL SDL Methodology
Design of a formal Estelle semantics for verification
A LOTOS Data Facility Compiler (DAFY)
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks
Better Late Than Never or: Verifying Asynchronous Components at Runtime
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks
Automatic Partitioner for Behavior Level Distributed Logic Simulation
Distributed Object Consistency in Mobile Environments
A LISP-Based LOTOS Environment
From the Simulation to the Verification of Estelle Specifications
On Bidirectional Runtime Enforcement
Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times
A Reversible Abstract Machine and Its Space Overhead
Modelling Digital Logic in SDL
Experience of Using LOTOS Within the CIM-OSA Project
On the Existence and Production of State Identification Machines for Labelled Transition Systems
A LOTOS-Based Development Strategy
Hierarchical Decision Diagrams to Exploit Model Structure
Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL
Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Verification of Timed Erlang Programs Using McErlang
Towards a Mobile LOTOS
Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21 st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
On the Design and Formal Specification of a Transaction Processing Protocol
Model Checking of Hybrid Systems Using Shallow Synchronization
From LOTOS to Petri Nets through Iexpansion
Applications of Fair Testing
Monitoring Distributed Systems Using Knowledge
MAGπ!: The Role of Replication in Typing Failure-Prone Communication
Patterns and Rules for Behavioural Subtyping
Verifying a Sliding Window Protocol using PVS
Parametric Statistical Model Checking of UAV Flight Plan
Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems
Formal Synthesis and Control of Soft Embedded Real-Time Systems
Experience with Formal Methods in Protocol Development
Choreographies for Program Understanding
Discrete Timed Automata and MONA: Description, Specification and Verification of a Multimedia Stream
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities
Faster Linearizability Checking via P-Compositionality
Issues in conformance testing: multiple semicontrollable interfaces
Use of Estelle, LOTOS and ASN.1 in One Project
On Implementable Timed Automata
A PKI-Based End-to-End Secure Infrastructure for Mobile E-Commerce
Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France
Branching Time Semantics for UML 2.0 Sequence Diagrams
π with Leftovers: A Mechanisation in Agda
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms
An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises
An Exercise in Protocol Synthesis
Tools for LOTOS Specification Style Transformation
Exploiting Symmetry in Protocol Testing
Visual Specifications for Modular Reasoning about Asynchronous Systems
Specification and implementation of an ISDN telephone system using LOTOS
Validation of supplementary services in the context of interoperability
Denial-of-Service Security Attack in the Continuous-Time World
Deep Statistical Model Checking
Interoperability Test Suite Derivation for the TCP
A method for specifying and validating communication protocols in LOTOS
TIC: A Timed Calculus for LOTOS
Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars
Information Flow Tracking for Side-Effectful Libraries
A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120
Protocol Feature Interactions
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases
A Family of Resource-Bound Real-Time Process Algebras
Recursive Parametric Automata and epsilon-Removal
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures
Simulator for LOTOS to study the independence and causality of events
Analyzing Interactions of Asynchronously Communicating Software Components - (Invited Paper)
Thread-Based Analysis of Sequence Diagrams
Only Connect, Securely
A Small Model Theorem for Rectangular Hybrid Automata Networks
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
Ranking Abstraction as Companion to Predicate Abstraction
A Hierarchy of Equivalences for Probabilistic Processes
Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design
Squiggles - A Tool for the Analysis of LOTOS Specifications
From Refutation to Verification
On the Step Branching Time Closure of Free-Choice Petri Nets
Event Structures for Design and Transformation in LOTOS
A Specification Framework for Earth-Friendly Logistics
Formal Verification of Complex Properties on PLC Programs
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach
Prioritise the Best Variation
Certified Compilation of Choreographies with hacc
Using VDM to Specify OSI Managed Objects
Development of Broadband ISDN Telecommunication Services Using SDL'92, ASN.1 and Automatic Code Generation
System Model-Based Definition of Modeling Language Semantics
Probabilistic Analysis of the Quality Calculus
Distinguing Non-deterministic Timed Finite State Machines
On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
An enhanced model for testing asynchronous communicating systems
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification
An Approach for Assessment of Electronic Offers
Provably Correct Hardware Compilation using Timing Diagrams
Towards Design Recovery from Observations
Adaptable Configuration of Decentralized Monitors
A Software Platform for Timed Mobility and Timed Interaction
A Unified Model for CSP-like Languages with Specifications
Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
Verifying Erlang Telecommunication Systems with the Process Algebra µCRL
Application of protocol sythesis technique to resolution of the service interaction problem
Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics
From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs
Automatic Code Generation for SDL to C++ for an Integrated Software Development Support System
Implementing a Modal Logic over Data and Processes using XTL
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes
Enumeration Protocol in Estelle: an exercise in stepwise development
Liveness by Invisible Invariants
A Tool for Encoding and Decoding Big ASN.1 Messages
Grey-Box Checking
Extending SDL with a Procedural Data Concept
Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System
Automatized Verification of Ad Hoc Routing Protocols
Noninterference Analysis ofStochastically Timed Reversible Systems
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements
Conformance Testing Based on Formal Methods
Comparing LOTOS and Z Refinement Relations
Introducing the Iteration in sPBC
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems
Modelling SIP Services Using CRESS
Composing Event Constraints in State-Based Specification
Parameter Synthesis Algorithms for Parametric Interval Markov Chains
Using PO Methods for Verfying Behavioural Equivalences
Tool Demonstration: The Lotosphere Integrated Tool Environment Lite
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
Dynamic Symbolic Execution of Distributed Concurrent Objects
Formalization of Network Quality-of-Service Requirements
Methodological Objectives for Formal Description Techniques
Creating Büchi Automata for Multi-valued Model Checking
Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels
A LOTOS Interpreter for Simulating Real-Time Behaviour
Testing Semantics for Probabilistic LOTOS
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006
Using formal specification and simulation: practical experience with distributed applications
A Model-Checking Tool for Families of Services
On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems
Lintent: Towards Security Type-Checking of Android Applications
Protocol Visualization of Estelle Specifications
Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation
Preserving Contract Satisfiability Under Non-monotonic Composition
A Hierarchy of Implementable MSC Languages
A Priori Verification of Reactive Systems
Towards Verification of the Pastry Protocol Using TLA +
The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms
Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network
Protocol design using LOTOS: A critical synthesis of a standardization experience
On a Concurrency Calculus for Design of Mobile Telecommunication Systems
Specifying and Realising Interactive Voice Services
Software Model Checking
Type Abstraction in Formal Protocol Specifications with Container Types
Ransomware Steals Your Phone. Formal Methods Rescue It
On Global Types and Multi-party Sessions
Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings
CMC: A Tool for Compositional Model-Checking of Real-Time Systems
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
A Theory for the Composition of Concurrent Processes
Logics for Contravariant Simulations
Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata
A New Scheme for Memory-Efficient Probabilistic Verification
Towards an Automatic Proof of the Bakery Algorithm
A Compositional Sweep-Line State Space Exploration Method
Building Tools for LOTOS Symbolic Semantics in Maude
Developing Honest Java Programs with Diogenes
Graphical Composition Theorems for Parallel and Hiding Operators
Modelization and verification of a multiprocessor realtime OS kernel
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Tool Demonstration: FORSEE
Specifying the ODP Trader: An Introduction to E-LOTOS
Fast Generic Model-Checking for Data-Based Systems
Secure Multi-Execution through Static Program Transformation
Formal Analysis of a Distributed Algorithm for Tracking Progress
Formal Verification of a Practical Lock-Free Queue Algorithm
The DHCP Failover Protocol: A Formal Perspective
Extending Testing Automata to All LTL
Galois Connections for Flow Algebras
A Computer Aided Design of a Secure Registration Protocol
Type Specifications with Processes
Resolving Observability Problems in Distributed Test Architectures
A Testing Architecture for Designing High-Reliable MANET Protocols
Modeling and Analysis of Dual Block Multithreading
Combined Application of SDL-92, OMT, MSC and TTCN
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
Graphical Views of Process-Orientated Specifications
On Bisimilarity for Polyhedral Models and SLCS
Tutorial: Parameterized Verification with Byzantine Model Checker
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
Selective µ-calculus: New Modal Operators for Proving Properties on Reduced Transition Systems
Queueing network model for Estelle
Linking Specifications with Implementations
Mechanical Translation of I/O Automaton Specifications into First-Order Logic
Quality of Service in Integrated Networks
Verifying and Testing Asynchronous Circuits using LOTOS
Petri Net Semantics of the Finite pi-Calculus
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas
Consistent Semantics for ODP Information and Computational Models
New Bisimulation Semantics for Distributed Systems
Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic
An Improved Conformance Testing Method
Specification of Autonomous Agents in E-commerce Systems
Proving Opacity via Linearizability: A Sound and Complete Method
An Accurate Type System for Information Flow in Presence of Arrays
Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988
On the Introduction of Exceptions in E-LOTOS
A Methodology for the Description of System Requirements and the Derivation of Formal Specifications
A Composition Operator for Systems with Active and Passive Actions
Automated Derivation of ILP Implementations from SDL Specifications
Inheritance in LOTOS
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios
An Evaluation of the LCF Theorem Prover using LOTOS
Formal Software Verification: How Close Are We?
Classical Higher-Order Processes - (Short Paper)
Formal Specification and Verification of CRDTs
The Formal Definition of the Architectural Concept "Interaction Point"
An Approach to Formalize Information-Theoretic Security of Multiparty Computation Protocols
A Formal Specification, in LOTOS, of a Simplified Cellular Mobile Communication System
Documentation of Communications Services and Protocols
OSI Testing Environment Based on the Standardized Formalisms
Formal Description Techniques - How Formal and Descriptive are they?
Mechanizing the Minimization of Deterministic Generalized Büchi Automata
A LOTOS to PARLOG Translator
Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines
SDT - a Real-Time CASE Tool for the CCITT Specification Language SDL
Synthesis for Prefix First-Order Logic on Data Words
Modelling OSI in SDL
Formal Verification of Communication Protocols
Specification and Validation of a Simple Overtaking Protokol using LOTOS
Some Experiments Using Term Rewriting Techniques for Concurrency
TENT: Test Sequence Generation Tool for Communication Systems
Automating Performance Optimisation by Heuristic Analysis of a Formal Specification
Integrated analysis of concurrent distributed systems using Markovian process algebra
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2
Reachable state space analysis of LOTOS specifications
A Petri Net View of Mobility
Reactive Semantics for Distributed UML Activities
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets
Bounded Model Checking of Graph Transformation Systems via SMT Solving
Test Case Derivation from LOTOS Specifications
Automatic Synthesis of Assumptions for Compositional Model Checking
Structure Preserving Data Abstractions for Statecharts
Semantic Subtyping for Objects and Classes
Specification-based Testing of Concurrent Systems
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata
COOPER - The Compositional Construction of a Canonical Tester
A Construction Kit for Modeling the Security of M-commerce Applications
Presence Interaction Management in SIP SOHO Architecture
Formalisation Based on Understanding
Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Formalizing Interoperability Testing: Quiescence Management and Test Generation
Hardware synthesis from protocol specifications in LOTOS
Protocol Analysis Using a Timed Version of SDL
Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus
Noninterference Analysis of Reversible Probabilistic Systems
Output-Sensitive Information Flow Analysis
Minimal Generating Sets for Semiflows
Specifying Concurrent Systems Using Logic
Vertical Reuse in the Development of Distributed Systems with FDTs
LOTTE - A LOTOS Environment
Stepwise Design with Message Sequence Charts
Black Box Checking
Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Trace Equivalence and Epistemic Logic to Express Security Properties
Specification Modules in LOTOS
A Timed Automaton Model for ET-LOTOS Verification
An Algorithm for Translating LOTOS Behavior Expressions into Automata and Ports
Asynchronously Communicating Visibly Pushdown Systems
Generating transition graphs from LOTOS specifications
Network Simulator-Centric Compositional Testing
Verifying Randomized Byzantine Agreement
A Process Calculus for Dynamic Networks
Global State Estimates for Distributed Systems
NIST Integrated Tool Set for Estelle
An Enhanced Version of Timed LOTOS and its Application to a Case Study
Relating Reversible Petri Nets and Reversible Event Structures, Categorically
System Test Synthesis from UML Models of Distributed Software
On Distributed Program Specification and Synthesis in Architectures with Cycles
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
Towards Testing Stochastic Timed Systems
Effective Reductions of Mealy Machines
A Symbolic Symbolic State Space Representation
Process Topology Diagrams
Linear-Time and May-Testing in a Probabilistic Reactive Setting
One2One - A Tool for Translating ASN.1 to ACT ONE
Approximated Context-Sensitive Analysis for Parameterized Verification
Generation of Integration Tests for Self-Testing Components
Psi-Calculi Revisited: Connectivity and Compositionality
Specification of Object-Oriented Systems in LOTOS
Compositionality for Improving Model Checking
Developing High Quality Software with Formal Methods: What Else Is Needed?
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach
A Framework for Distributed Object-Oriented Testing
Choreographies in Practice
Experiments in Data flow analysis of Communicating Finite State Machines
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique
A New User's Experiences and Impressions with Estelle
Automatic Generation of Conflict-Free IPsec Policies
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol
Verifying ET-LOTOS programmes with KRONOS
A Method to Generate Conformance Test Sequences for FSM with Timer System Call
Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis
Modelling techniques for evolving distributed applications
Delayed choice: an operator for joining Message Sequence Charts
Incremental Modeling Under Large-Scale Distributed Interaction
Testing Probabilistic Distributed Systems
Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking
Symbolic Performance and Dependability Evaluation with the Tool CASPA
Applied Choreographies
Formal Verification of HotStuff
An Executor for Graphical LOTOS
Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec
System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals
Towards a Spatial Model Checker on GPU
Verifying timing properties of concurrent algorithms
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL
Process Algebra Traces Augmented with Causal Relationships
Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor
PN Standardisation: A Survey
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Session Types for Link Failures
Semantic-oriented description techniques for network management information modelling
Specification & Detection of IN Service Interference Using LOTOS
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams
Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990
What Do Message Sequence Charts Mean?
Tool Demonstration: Tools for Process Algebras
A recursive process algebra for queues
A Logic of Belief and a Model Checking Algorithm for Security Protocols
Compiling Real-Time Scenarios into a Timed Automaton
Mapping Time-Extended LOTOS to Standard LOTOS
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
Formal Analysis of the Internet Open Trading Protocol
Parameterized Models for Distributed Java Objects
Branching Bisimulation Games
L.0: A Language for Modeling and Prototyping Communications Software