Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Temporal logic for real time systems
Temporal logic for real time systems
Design and validation of computer protocols
Design and validation of computer protocols
Specifying real-time properties with metric temporal logic
Real-Time Systems
Formal methods for the specification and design of real-time safety critical systems
Journal of Systems and Software
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic model checking for real-time systems
Information and Computation
A partial approach to model checking
Papers presented at the IEEE symposium on Logic in computer science
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Issues in multiparadigm viewpoint specification
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Receiver-driven layered multicast
Conference proceedings on Applications, technologies, architectures, and protocols for computer communications
Coordinating distributed objects: an actor-based approach to synchronization
Coordinating distributed objects: an actor-based approach to synchronization
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Implementation of multimedia systems based on a real-time extension of Estelle
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Formalizing multimedia QoS constraints using actors
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Formal methods for broadband and multimedia systems
Computer Networks and ISDN Systems - Special issue: trends in formal description techniques
Stochastically enhanced timed automata
Fourth International Conference on Formal methods for open object-based distributed systems IV
Open Distributed Processing and Multimedia
Open Distributed Processing and Multimedia
Distributed Multimedia and QOS: A Survey
IEEE MultiMedia
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A Tool Suite for Multi-paradigm Specification
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
QoS Filters: Addressing the Heterogeneity Gap
IDMS '96 Proceedings of the European Workshop on Interactive Distributed Multimedia Systems and Services
Enforcing Multipoint Multimedia Synchronisation in Videoconferencing Applications
IDMS '00 Proceedings of the 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
Multimedia in Temporal LOTOS: A Lip-Synchronization Algorithm
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Verification of an Audio Control Protocol
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Automated Analysis of an Audio Control Protocol
Proceedings of the 7th International Conference on Computer Aided Verification
Model-Checking for Real-Time Systems
FCT '95 Proceedings of the 10th International Symposium on Fundamentals of Computation Theory
ECOOP '98 Workshop ion on Object-Oriented Technology
Composition in Multiparadigm Specification Techniques
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
HYTECH: A Model Checker for Hybrid Systems
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
On-the-fly symbolic model checking for real-time systems
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Specification and Verification of Real-Time Properties Using LOTOS and SQTL
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A Formal Basis for Structured Multimedia Collaborations
ICMCS '95 Proceedings of the International Conference on Multimedia Computing and Systems
Enabling temporal synchronization in E-LOTOS specifications and MHEG-5 applications
MMNET '97 Proceedings of the IEEE Conference on Protocols for Multimedia Systems - Multimedia Networking (PROMSMmNet'97)
Dynamic Reconfiguration for Complex Multimedia Applications
ICMCS '99 Proceedings of the IEEE International Conference on Multimedia Computing and Systems - Volume 2
Stochastic specification and verification
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Using timed CSP for specification verification and simulation of multimedia synchronization
IEEE Journal on Selected Areas in Communications
| Hi-index | 0.00 |