- Verifying Programs with Unreliable Channels Parosh Aziz Abdulla Bengt Jonsson Wed 04 July 2012
- Context-Bounded model checking of concurrent software Shaz Qadeer Jakob Rehof Wed 04 July 2012
- Context-sensitive synchronization-sensitive analysis is undecidable G. Ramalingam Wed 04 July 2012
- Verification in loosely synchronous queue-connected discrete timed automata Oscar H. Ibarra Zhe Dang Pierluigi San Pietro Wed 04 July 2012
- Analysis of a class of communicating finite state machines Wuxu Peng S. Purushothaman Wed 04 July 2012
- Protocol Description and Analysis Based on a State Transition Model with Channel Expressions Jan K. Pachl Wed 04 July 2012
- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) J. C. M. Baeten M. A. Reniers Wed 04 July 2012
- A Process Algebra for Timed Systems M. Hennessy T. Regan Wed 04 July 2012
- Discrete-Time Process Algebra Jan Joris Vereijken Wed 04 July 2012
- Revisiting Digitization, Robustness, and Decidability for Timed Automata Joel Ouaknine James Worrell Wed 04 July 2012
- The expressive power of clocks Thomas A. Henzinger Peter W. Kopke Howard Wong-Toi Wed 04 July 2012
- A timed model for communicating sequential processes G. M. Reed A. W. Roscoe Wed 04 July 2012
- Two-Variable Logic on Words with Data M. Bojanczyk A. Muscholl T. Schwentick L. Segoufin C. David Wed 04 July 2012
- Analysis of Recursive Game Graphs Using Data Flow Equations K. Etessami Wed 04 July 2012
- A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract) Alain Finkel Bernard Willems Pierre Wolper Wed 04 July 2012
- A Saturation Method for Collapsible Pushdown Systems Chris Broadbent Arnaud Carayol Matthew Hague Olivier Serre Tue 03 July 2012
- Foundations for Timed Systems Patricia Bouyer Mon 02 July 2012
- What Good Are Digital Clocks Thomas A. Henzinger Zohar Manna Amir Pnueli Mon 02 July 2012
- Brief notes on category theory Prakash Panangaden Mon 02 July 2012
- Model-checking for real-time systems R. Alur C. Courcoubetis D. Dill Sun 01 July 2012
Library Size: 13G (12978 entries),
Last Updated: Apr 21, 2026, 07:42:55,
Build Time: N/A
