ECCS and LIPS: two languages for OSI systems specification and verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Three logics for branching bisimulation
Journal of the ACM (JACM)
Mobile Networks and Applications - Special issue: protocols for mobile environments
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On testing and conformance relations for UML statechart diagrams behaviours
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Graded Modalities and Resource Bisimulation
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Formal Methods for Conformance Testing: Theory Can Be Practical
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Journal of Systems and Software
Proving testing preorders for process algebra descriptions
EDTC '95 Proceedings of the 1995 European conference on Design and Test
An Algebraic Theory of Process Efficiency
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An efficient method for protocol conversion
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Information and Computation
Analytic methods in coverage testing of communications software
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
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
A hierarchy of failures-based models: theory and application
Theoretical Computer Science - Expressiveness in concurrency
Processes as formal power series: a coinductive approach to denotational semantics
Theoretical Computer Science
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
Simulations Up-to and Canonical Preorders
Electronic Notes in Theoretical Computer Science (ENTCS)
More Relational Concurrent Refinement: Traces and Partial Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformance Testing Based on UML State Machines
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Consistency between Task Models and Use Cases
Engineering Interactive Systems
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
(Bi)simulations up-to characterise process semantics
Information and Computation
Contract Compliance and Choreography Conformance in the Presence of Message Queues
Web Services and Formal Methods
Contract-Based Discovery and Composition of Web Services
Formal Methods for Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based testing of environmental conformance of components
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Model based testing with labelled transition systems
Formal methods and testing
Linear-time and may-testing in a probabilistic reactive setting
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Testing real-time multi input-output systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Retaining the probabilities in probabilistic testing theory
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Teaching formal methods: lessons to learn
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
A Foundational Theory of Contracts for Multi-party Service Composition
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Conformance relations for labeled event structures
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Behaviour Abstraction for Communicating Sequential Processes
Fundamenta Informaticae
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
Fundamenta Informaticae
Parameterized preorder relations for model-based testing of software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Hi-index | 0.00 |