UPPAAL in 1995

[1]  Wang Yi,et al.  Verification of an Audio Protocol with Bus Collision Using UPPAAL , 1996, CAV.

[2]  Pierre Lescanne,et al.  Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution , 1996, PLILP.

[3]  Mathai Joseph,et al.  Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.

[4]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[5]  Wang Yi,et al.  Compositional and symbolic model-checking of real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[6]  Conrado Daws,et al.  Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[7]  Wang Yi,et al.  Diagnostic Model-Checking for Real-Time Systems , 1995, Hybrid Systems.

[8]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

[9]  Jean-Raymond Abrial.  Steam-Boiler Control Specification Problem , 1995, Formal Methods for Industrial Applications.

[10]  Joseph Sifakis,et al.  Using Abstractions for the Verification of Linear Hybrid Systems , 1994, CAV.

[11]  Martín Abadi,et al.  An old-fashioned recipe for real time , 1991, TOPL.

[12]  Frits Vaandrager,et al.  Verification of an Audio Control Protocol , 1994, FTRTFT.

[13]  Wang Yi,et al.  Automatic verification of real-time communicating systems by constraint-solving , 1994, FORTE.