TACAS 1999

31 papers

1. A Light-Weight Framework for Hardware Verification · Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet
2. A Period Assignment Algorithm for Real-Time System Design · Minsoo Ryu, Seongsoo Hong
3. A Theorem Prover-Based Analysis Tool for Object-Oriented Databases · David Spelt, Susan J. Even
4. An Automated Analysis of Ping-Pong Interactions in E-mail Services · Anne Bergeron, Jean-Christophe Manzoni
5. An Easily Extensible Toolset for Tabular Mathematical Expressions · David Lorge Parnas, Dennis K. Peters
6. Analyzing Stochastic Fixed-Priority Real-Time Systems · Mark K. Gardner, Jane W.-S. Liu
7. Automated Fast-Track Reconfiguration of Group Communication Systems · Christoph Kreitz
8. Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques · Davide Marchignoli, Fabio Martinelli
9. Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes · Zhoujun Li, Huowang Chen
10. DYANA: An Environment for Embedded System Design and Analysis · Anatoly G. Bakhmurov, A. P. Kapitonova, Ruslan L. Smeliansky
11. Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools · Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka + 3 more
12. Finite State Verification for the Asynchronous pi-Calculus · Ugo Montanari, Marco Pistore
13. From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach · Jens Knoop
14. Hardware Testing Using a Communication Protocol Conformance Testing Tool · Hakim Kahlouche, César Viho, Massimo Zendri
15. Model Checking in CLP · Giorgio Delzanno, Andreas Podelski
16. Modelling for Mere Mortals · Jeff Kramer, Jeff Magee
17. Modular State Level Analysis of Distributed Systems Techniques and Tool Support · Peter Buchholz, Peter Kemper
18. On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction · Vlad Rusu, Eli Singerman
19. On the Benefits of Using the Up-To Techniques for Bisimulation Verification · Daniel Hirschkoff
20. Path Exploration Tool · Elsa L. Gunter, Doron A. Peled
21. Process Algebra in PVS · Twan Basten, Jozef Hooman
22. Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL · Cornelia Pusch
23. Scheduling System Verification · Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
24. Some Issues in the Software Engineering of Verification Tools · Perdita Stevens
25. Specifications and Proofs for Ensemble Layers · Jason Hickey, Nancy A. Lynch, Robbert van Renesse
26. Symbolic Model Checking without BDDs · Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu
27. Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol · Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani
28. The ETI Online Service in Action · Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen
29. Timed Diagnostics for Reachability Properties · Stavros Tripakis
30. Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets · Keijo Heljanko
31. Verification of Hierarchical State/Event Systems Using Reusability and Compositionality · Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen