The SCEAS System
Navigation Menu

Conferences in DBLP

Tools and Algorithms for Construction and Analysis of Systems (TACAS) (tacas)
1999 (conf/tacas/1999)

  1. Jeff Kramer, Jeff Magee
    Modelling for Mere Mortals. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:1-18 [Conf]
  2. Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
    Scheduling System Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:19-33 [Conf]
  3. Minsoo Ryu, Seongsoo Hong
    A Period Assignment Algorithm for Real-Time System Design. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:34-43 [Conf]
  4. Mark K. Gardner, Jane W.-S. Liu
    Analyzing Stochastic Fixed-Priority Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:44-58 [Conf]
  5. Stavros Tripakis
    Timed Diagnostics for Reachability Properties. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:59-73 [Conf]
  6. Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
    Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:74-88 [Conf]
  7. Cornelia Pusch
    Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:89-103 [Conf]
  8. Christoph Kreitz
    Automated Fast-Track Reconfiguration of Group Communication Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:104-118 [Conf]
  9. Jason Hickey, Nancy A. Lynch, Robbert van Renesse
    Specifications and Proofs for Ensemble Layers. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:119-133 [Conf]
  10. Anne Bergeron, Jean-Christophe Manzoni
    An Automated Analysis of Ping-Pong Interactions in E-mail Services. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:134-147 [Conf]
  11. Davide Marchignoli, Fabio Martinelli
    Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:148-162 [Conf]
  12. Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
    Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:163-177 [Conf]
  13. Vlad Rusu, Eli Singerman
    On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:178-192 [Conf]
  14. Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Yunshan Zhu
    Symbolic Model Checking without BDDs. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:193-207 [Conf]
  15. Parosh Aziz Abdulla, Aurore Annichini, Ahmed Bouajjani
    Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:208-222 [Conf]
  16. Giorgio Delzanno, Andreas Podelski
    Model Checking in CLP. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:223-239 [Conf]
  17. Keijo Heljanko
    Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:240-254 [Conf]
  18. Ugo Montanari, Marco Pistore
    Finite State Verification for the Asynchronous pi-Calculus. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:255-269 [Conf]
  19. Twan Basten, Jozef Hooman
    Process Algebra in PVS. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:270-284 [Conf]
  20. Daniel Hirschkoff
    On the Benefits of Using the Up-To Techniques for Bisimulation Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:285-299 [Conf]
  21. Zhoujun Li, Huowang Chen
    Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:300-314 [Conf]
  22. Hakim Kahlouche, César Viho, Massimo Zendri
    Hardware Testing Using a Communication Protocol Conformance Testing Tool. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:315-329 [Conf]
  23. Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet
    A Light-Weight Framework for Hardware Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:330-344 [Conf]
  24. David Lorge Parnas, Dennis K. Peters
    An Easily Extensible Toolset for Tabular Mathematical Expressions. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:345-359 [Conf]
  25. Jens Knoop
    From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:360-374 [Conf]
  26. David Spelt, Susan Even
    A Theorem Prover-Based Analysis Tool for Object-Oriented Databases. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:375-389 [Conf]
  27. A. G. Bakhmurov, A. P. Kapitonova, R. L. Smeliansky
    DYANA: An Environment for Embedded System Design and Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:390-404 [Conf]
  28. Elsa L. Gunter, Doron Peled
    Path Exploration Tool. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:405-419 [Conf]
  29. Peter Buchholz, Peter Kemper
    Modular State Level Analysis of Distributed Systems Techniques and Tool Support. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:420-434 [Conf]
  30. Perdita Stevens
    Some Issues in the Software Engineering of Verification Tools. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:435-438 [Conf]
  31. Volker Braun, Jürgen Kreileder, Tiziana Margaria, Bernhard Steffen
    The ETI Online Service in Action. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:439-443 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002