A Protocol for Multirendezvous of LOTOS Processes
IEEE Transactions on Computers - Special issue on protocol engineering
Online minimization of transition systems (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
An operational framework for value-passing processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Partial-order transport service for multimedia and other applications
IEEE/ACM Transactions on Networking (TON)
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Distributed software engineering
ICSE '94 Proceedings of the 16th international conference on Software engineering
Dependence analysis in reduction of requirement based test suites
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
Programming and Computing Software
Mutation Testing Applied to Estelle Specifications
Software Quality Control
PSAMS: a communication protocol specification assessment and measurement system
Software—Practice & Experience
Protocol Design: Redefining the State of the Art
IEEE Software
Reduced Length Checking Sequences
IEEE Transactions on Computers
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler
IEEE Transactions on Software Engineering
Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification
IEEE Transactions on Software Engineering
N-TSVS: a Videoconference Tool for Generic Cooperative Groups
MMM '98 Proceedings of the 1998 Conference on MultiMedia Modeling
Formal Methods of Analysis of System Properties
Cybernetics and Systems Analysis
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
Design and analysis of dynamic leader election protocols in broadcast networks
Distributed Computing
Mace: language support for building distributed systems
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Simulation of Security Protocols based on Scenarios of Attacks
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Proposal and evaluation of dynamic assignment of priorities in CAN
Computer Standards & Interfaces
Distributed multimedia synchronization specifications using M2EST
Information and Software Technology
XML-based requirements engineering for an electronic clearinghouse
Information and Software Technology
Models and tools for managing development processes
Models and tools for managing development processes
A high-level language for modeling algorithms and their properties
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Information and Software Technology
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
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Research: Membership services and protocols for cooperative frameworks of processes
Computer Communications
Research: Probabilistic fuzzy timed protocol verification
Computer Communications
Research: Analysis and representation of test cases generated from LOTOS
Computer Communications
Case study: Experiences with the integration of protocol software tools
Computer Communications
Research: Debugging tool for distributed Estelle programs
Computer Communications
Verification of ISO ACSE protocol specified in Estelle
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
Tool support for hardware/software co-design of communication protocols
Computer Communications
PPP (P3): an Estelle-based probabilistic partial protocol verification system
Computer Communications
Simulation of Security Protocols based on Scenarios of Attacks
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Performance Evaluation Of Systems Defined In Specification Language Estelle
Fundamenta Informaticae
Hi-index | 0.01 |