On the soundness of graphical representations of interconnected processes in LOTOS
Conference proceedings on Formal methods in software development
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Lessons from using basic LOTOS
ICSE '94 Proceedings of the 16th international conference on Software engineering
Formal methods for distributed processing
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method
IEEE Transactions on Software Engineering
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Protocol animation based on event-driven visualization scenarios in real-time LOTOS
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Graphic visualization and animation of LOTOS execution traces
Computer Networks: The International Journal of Computer and Telecommunications Networking - Protocol animation
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Implementing Condition/Event Nets in the Circal Process Algebra
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
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
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
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
Towards a User-Friendly Design and Verification Environment
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Experiences with specification and verification in LOTOS: a report on two case studies
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
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
Designing Interaction Systems for Distributed Applications
IEEE Distributed Systems Online
Service Specification by Composition of Collaborations--An Example
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Model-checking Driven Design of Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
The how and why of interactive Markov chains
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Ten years of performance evaluation for concurrent systems using CADP
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Transactions on Computational Systems Biology VII
On the composition of interactor specifications
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Using LOTOS for the evaluation of design options in the PREMO standard
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Specification guidelines to avoid the state space explosion problem
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
Computer Communications
Hi-index | 0.00 |