Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parametric real-time reasoning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Journal of the ACM (JACM)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Structured operational semantics as a specification language
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specification of Realtime Systems Using ASTRAL
IEEE Transactions on Software Engineering
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verification of Real-Time Systems using Linear Relation Analysis
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Specification of realtime systems using ASTRAL
IEEE Transactions on Software Engineering
Verification of an audio control protocol within real time process algebra
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
Efficient and User-Friendly Verification
IEEE Transactions on Computers
A Notation and Logic for Mobile Computing
Formal Methods in System Design
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Architecture-Directed Refinement
IEEE Transactions on Software Engineering
Reasoning About Places, Times, and Actions in the Presence of Mobility
IEEE Transactions on Software Engineering
Model checking of systems with many identical timed processes
Theoretical Computer Science
On the Existence of Network Invariants for Verifying Parameterized Systems
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Concurrent Embedded Real-Time Software Verification
COMPSAC '00 24th International Computer Software and Applications Conference
A Light-Weight Framework for Hardware Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
On Memory-Block Traversal Problems in Model-Checking Timed-Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Real-Time Systems Design with PEP
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Compositional Reasoning Using the Assumption-Commitment Paradigm
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Computing a Finite Prefix of a Time Petri Net
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Automata and Their Interaction: Definitional Suggestions
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Using mappings to prove timing properties
Distributed Computing
Tabled resolution + constraints: a recipe for model checking real-time systems
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
rt-inconsistency: a new property for real-time requirements
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Temporal logic-based specification and verification of trust models
iTrust'06 Proceedings of the 4th international conference on Trust Management
Model-checking of specifications integrating processes, data and time
FM'05 Proceedings of the 2005 international conference on Formal Methods
A simple and flexible timing constraint logic
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |