Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
A User Friendly Software Environment for Protocol Synthesis
IEEE Transactions on Computers - Special issue on protocol engineering
Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Problem specification with action machines
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
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
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
Reachability analysis of feature interactions: a progress report
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
ASN.1 protocol specification for use with arbitrary encoding schemes
IEEE/ACM Transactions on Networking (TON)
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Automated Software Engineering
Reduced Length Checking Sequences
IEEE Transactions on Computers
Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
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
A Problem-Oriented Approach to Common Criteria Certification
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Model-based regression test suite generation using dependence analysis
Proceedings of the 3rd international workshop on Advances in model-based testing
Regression test suite reduction using extended dependence analysis
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
AdaStreams: a type-based programming extension for stream-parallelism with ada 2005
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
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
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
StreamPI: a stream-parallel programming extension for object-oriented programming languages
The Journal of Supercomputing
Performance Evaluation Of Systems Defined In Specification Language Estelle
Fundamenta Informaticae
Journal of Systems and Software
| Hi-index | 0.01 |