Tools to support formal methods
ICSE '89 Proceedings of the 11th international conference on Software engineering
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
New results on deriving protocol specifications from service specifications
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
On the soundness of graphical representations of interconnected processes in LOTOS
Conference proceedings on Formal methods in software development
The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Mechanizing CSP Trace Theory in Higher Order Logic
IEEE Transactions on Software Engineering
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
A Protocol for Multirendezvous of LOTOS Processes
IEEE Transactions on Computers - Special issue on protocol engineering
Test Generation from LOTOS Specifications
IEEE Transactions on Computers - Special issue on protocol engineering
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Simulation of communications architecture specifications using Prolog
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
A comprehensive study of the complexity of multiparty interaction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Simulation of communications architecture specifications using Prolog
ACM SIGAPP Applied Computing Review
A LOTOS extension for the performance analysis of distributed systems
IEEE/ACM Transactions on Networking (TON)
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
An object-based approach to protocol software implementation
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Towards a new multimedia synchronization mechanism and its formal definition
MULTIMEDIA '94 Proceedings of the second ACM international conference on Multimedia
A formal approach to the evaluation of interactive systems
ACM SIGCHI Bulletin
Structured operational semantics as a specification language
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
An automatic trace analysis tool generator for Estelle specifications
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Liveness conditions in model-based service specifications: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Proving temporal consistency in a new multimedia synchronization model
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
On strong-feasibilities of equivalence-completions
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Using a Protean Language to Enhance Expressiveness in Specification
IEEE Transactions on Software Engineering
Lessons from using basic LOTOS
ICSE '94 Proceedings of the 16th international conference on Software engineering
Comparing architectural styles: broker specializes mediator
ISAW '98 Proceedings of the third international workshop on Software architecture
A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Model-Based Verification of a Security Protocol for Conditional Access to Services
Formal Methods in System Design
Process algebras are getting mature for performance evaluation?!
ACM SIGMETRICS Performance Evaluation Review
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
The universe model: an approach for improving the modularity and reliability of concurrent programs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Generation of visitor components that implement program transformations
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Verification experiments on the MASCARA protocol
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Lightweight analysis of operational specifications using inference graphs
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A component-based approach to building formal analysis tools
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS
Proceedings of the 14th international symposium on Systems synthesis
Formal methods for distributed processing
Formal methods for performance evaluation
Lectures on formal methods and performance analysis
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Bundle event structures: a revised cpo approach
Information Processing Letters
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
A practical approach to implementing real-time semantics
Annals of Software Engineering
Formal Specifications of User Requirements
Automated Software Engineering
The Model-Composition Problem in User-Interface Generation
Automated Software Engineering
Model Checking Interactor Specifications
Automated Software Engineering
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Codesign of Communication Protocols
Computer
Testing Communication Protocols
IEEE Software
IEEE Software
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions
IEEE Transactions on Computers
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering
A": A Language for Implementing Language Processors
IEEE Transactions on Software Engineering
Using UML to specify QoS constraints in ODP
Computer Networks: The International Journal of Computer and Telecommunications Networking
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
Graphic visualization and animation of LOTOS execution traces
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
Tool Support for Development Using Patterns
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Implementing Condition/Event Nets in the Circal Process Algebra
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Multimodal Interface Techniques in Content-Based Multimedia Retrieval
ICMI '00 Proceedings of the Third International Conference on Advances in Multimodal Interfaces
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Action Refinement for Probabilistic Processes with True Concurrency Models
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Weakest Congruence Results Concerning "Any-Lock"
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Concurrency and Data Types: A Specification Method: An Example with LOTOS
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Consistency of Partial Process Specifications
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Specifying Processes with Dynamic Life Cycles
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Using a Formal Framework for Agent System Design
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Localizability of Fairness Constraints and Their Distributed Implementations
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Alphabet-Based Synchronisation is Exponentially Cheaper
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
A New UML Profile for Real-Time System Formal Design and Validation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Concurrency and Hardware Design, Advances in Petri Nets
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Avoiding State Explosion for Distributed Systems with Timestamps
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
On Combining Functional Verification and Performance Evaluation Using CADP
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Component and Interface Refinement in Closed-System Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
From Informal Requirements to COOP: A Concurrent Automata Approach
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Modelling Microsoft COM Using pi-Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Complete Finite Prefix for Process Algebra
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Compositional Performance Modelling with TIPPtool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Combining Graphical and Formal Development of Open Distributed Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A Framework for Translating Models and Specifications
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS
Computer Standards & Interfaces
Modeling and verification of parallel processes
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
A Co-Design Methodology Based on Formal Specification and High-level Estimation
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Approach to the Synthesis of HW and SW in Codesign
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Formal Methods: Mathematics, Computer Science, or Software Engineering?
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
A framework for conformance testing of systems communicating through rendezvous
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Towards Petri net calculi based on synchronization via places
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Giving a net semantics to Markovian process algebra
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
An Algorithm for Direct Synthesis of Formal Specifications
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Specification and Verification of Real-Time Properties Using LOTOS and SQTL
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Formal Methods of Analysis of System Properties
Cybernetics and Systems Analysis
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Fundamenta Informaticae - Concurrency specification and programming
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Equational reasoning about LOTOS specifications: a rewriting approach
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Toward program representation and program understanding using process algebras
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Formal specifications design, evolution and reuse
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Toward a quantum process algebra
Proceedings of the 1st conference on Computing frontiers
A Logical Approach to Quality of Service Specification in Video Databases
Multimedia Tools and Applications
Feature interactions in embedded control systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Using LOTOS in the specification of industrial bus communication protocols
Computer Networks: The International Journal of Computer and Telecommunications Networking
A local approach for temporal model checking of Java bytecode
Journal of Computer and System Sciences
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Distributed Computing - Special issue: Verification of lazy caching
Distributed Computing - Special issue: Verification of lazy caching
From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Proceedings of the 5th international workshop on Software and performance
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
Generating diagnostic information for behavioral preorders
Distributed Computing
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
Formal Methods in System Design
Reduced Models for Efficient CCS Verification
Formal Methods in System Design
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
A theory of stochastic systems: part II: process algebra
Information and Computation
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Relations among quantum processes: bisimilarity and congruence
Mathematical Structures in Computer Science
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
Handling feature interactions in the language for end system services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS
Computer Standards & Interfaces
Information and Computation
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Reducing the cost of applying adaptive test cases
Computer Networks: The International Journal of Computer and Telecommunications Networking
A formal framework for middleware behavioural specification
ACM SIGSOFT Software Engineering Notes
On the Dominance of Decompositions in Models and their Aspect-Oriented Implementations
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis and verification of an automatic document feeder
Proceedings of the 2007 ACM symposium on Applied computing
Mace: language support for building distributed systems
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Model checking large network protocol implementations
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Relational Concurrent Refinement with Internal Operations
Electronic Notes in Theoretical Computer Science (ENTCS)
An Object Oriented Architectural Library for the Design and Implementation of Network Protocols
Wireless Personal Communications: An International Journal
Combining test case generation for component and integration testing
Proceedings of the 3rd international workshop on Advances in model-based testing
Verification of timed erlang/OTP components using the process algebra μcrl
ERLANG '07 Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral adaptation of component compositions based on process algebra encodings
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
More Relational Concurrent Refinement: Traces and Partial Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
FM '08 Proceedings of the 15th international symposium on Formal Methods
Formal Modeling of a Generic Middleware to Ensure Invariant Properties
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Survey of Formal Verification for Business Process Modeling
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
An action refinement operator for E-LOTOS with true concurrency
Computer Standards & Interfaces
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Abstraction and analysis of clinical guidance trees
Journal of Biomedical Informatics
An Algebraic Framework for Modeling of Mobile Systems
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Accelerating multi-party scheduling for transaction-level modeling
Proceedings of the 19th ACM Great Lakes symposium on VLSI
Efficient symbolic computation of process expressions
Science of Computer Programming
Modeling and Verification of Reactive Software Using LOTOS
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Using coverage to automate and improve test purpose based testing
Information and Software Technology
Towards weak sequencing for E-LOTOS
Computer Standards & Interfaces
A Rigorous Methodology for Composing Services
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
An Algebraic Theory Of Boundary Crossing Transitions
Electronic Notes in Theoretical Computer Science (ENTCS)
Action Refinement for Real-Time Concurrent Processes with Urgency
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Multithreaded Programs by Means of Reduced Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of Stochastic systems. Part II: Process algebra
Information and Computation
Formal framework and necessary properties of the fusion of input modes in user interfaces
Interacting with Computers
Verification of an industrial systemC/TLM model using LOTOS and CADP
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
High-level design for user and component interfaces
Knowledge-Based Systems
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
Models and tools for managing development processes
Models and tools for managing development processes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
User interface declarative models and development environments: a survey
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Proving event ordering properties for information systems
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Efficient symbolic execution of large quantifications in a process algebra
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Ready simulation for concurrency: It's logical!
Information and Computation
Model based testing with labelled transition systems
Formal methods and testing
Business process modeling languages: Sorting through the alphabet soup
ACM Computing Surveys (CSUR)
A method of automatic assessment of feature compatibility in mobile networks
WTS'10 Proceedings of the 9th conference on Wireless telecommunications symposium
Concurrency and composition in a stochastic world
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
A high-level language for modeling algorithms and their properties
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
CAP3: context-sensitive abstract user interface specification
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Test case generation from mutated task models
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Making task modeling suitable for stakeholder-driven workflow specifications
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: design for all and eInclusion - Volume Part I
Transformational design of business processes for SOA
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Formal modeling and analysis of timed systems: technology push or market pull?
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Extended coloured Petri nets with structured tokens formal method for distributed systems
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A composition operator for systems with active and passive actions
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Static slicing of explicitly synchronized languages
Information and Computation
Synthesizing concurrency control components from process algebraic specifications
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A symbolic framework for model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
A formally based framework for supporting design and analysis of asynchronous hardware systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Carla: A rule language for specifying communications architectures
Computer Languages
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
Case study: Experiences with the integration of protocol software tools
Computer Communications
On testing and diagnosis of communication protocols based on the FSM model
Computer Communications
Modularity versus efficiency in OSI system implementations
Computer Communications
Verification of security protocols using LOTOS-method and application
Computer Communications
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
Computer Communications
BeJC: checking compliance between Java implementation and behavior specification
Proceedings of the 17th international doctoral symposium on Components and Architecture
Rigorous development of prompting dialogues
Journal of Biomedical Informatics
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Equivalence checking for infinite systems using parameterized Boolean equation systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Journal of Systems and Software
Model checking of scenario-aware dataflow with CADP
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.01 |