The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
Semantics study and reality of computing
ACM Computing Surveys (CSUR)
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
High level transition systems for communicating agents
Concurrent object-oriented programming and petri nets
IEEE Transactions on Software Engineering
Making Changes to Formal Specifications: Requirements and an Example
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
Specifying Processes with Dynamic Life Cycles
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Real-Time and Performance Evaluation Extensions of Specification Language LOTOS
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
On the specification of software components
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Using Event-Based Translation to Support Dynamic Protocol Evolution
Proceedings of the 26th International Conference on Software Engineering
Component-based hardware/software co-verification for building trustworthy embedded systems
Journal of Systems and Software
An integrated approach to coordination description in distributed multimedia applications
Integrated Computer-Aided Engineering
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
Software operation time evaluation based on MTM
Advances in Engineering Software
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API
Science of Computer Programming
Proceedings of the 2011 ACM Symposium on Applied Computing
Research on modeling and analysis of CPS
ATC'11 Proceedings of the 8th international conference on Autonomic and trusted computing
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
Synchronous message passing: on the relation between bisimulation and refusal equivalence
Concurrency, Compositionality, and Correctness
A new approach in model-based testing: designing test models in TTCN-3
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Feature interactions: a mixed semantic model approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Transformation of MTCCS into an extension of timed
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Performance Evaluation Of Systems Defined In Specification Language Estelle
Fundamenta Informaticae
| Hi-index | 0.00 |