The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

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

  1. Rance Cleaveland
    THERE AND BACK AGAIN: Lessons Learned on the Way to the Market. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:1- [Conf]
  2. K. Rustan M. Leino
    Verifying Object-Oriented Software: Lessons and Challenges. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:2- [Conf]
  3. Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv
    Shape Analysis by Graph Decomposition. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:3-18 [Conf]
  4. Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric
    A Reachability Predicate for Analyzing Low-Level Software. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:19-33 [Conf]
  5. Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid
    Generating Representation Invariants of Structurally Complex Data. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:34-49 [Conf]
  6. Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis
    Multi-objective Model Checking of Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:50-65 [Conf]
  7. Dominik Wojtczak, Kousha Etessami
    PReMo : An Analyzer for P robabilistic Re cursive Mo dels. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:66-71 [Conf]
  8. Tingting Han, Joost-Pieter Katoen
    Counterexamples in Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:72-86 [Conf]
  9. Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen
    Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:87-101 [Conf]
  10. Azadeh Farzan, P. Madhusudan
    Causal Dataflow Analysis for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:102-116 [Conf]
  11. Saswat Anand, Alessandro Orso, Mary Jean Harrold
    Type-Dependence Analysis and Program Transformation for Symbolic Execution. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:117-133 [Conf]
  12. Saswat Anand, Corina S. Pasareanu, Willem Visser
    JPF-SE: A Symbolic Execution Extension to Java PathFinder. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:134-138 [Conf]
  13. Salem Derisavi
    A Symbolic Algorithm for Optimal Markov Chain Lumping. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:139-154 [Conf]
  14. Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen
    Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:155-169 [Conf]
  15. Marcin Jurdzinski, François Laroussinie, Jeremy Sproston
    Model Checking Probabilistic Timed Automata with One or Two Clocks. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:170-184 [Conf]
  16. Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
    Adaptor Synthesis for Real-Time Components. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:185-200 [Conf]
  17. Martin Fränzle, Michael R. Hansen
    Deciding an Interval Logic with Accumulated Durations. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:201-215 [Conf]
  18. Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston
    From Time Petri Nets to Timed Automata: An Untimed Approach. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:216-230 [Conf]
  19. Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen
    Complexity in Simplicity: Flexible Agent-Based State Space Exploration. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:231-245 [Conf]
  20. Paritosh K. Pandya, Shankara Narayanan Krishna, Kuntal Loya
    On Sampling Abstraction of Continuous Time Logic with Durations. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:246-260 [Conf]
  21. Krishnendu Chatterjee, Thomas A. Henzinger
    Assume-Guarantee Synthesis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:261-275 [Conf]
  22. Sagar Chaki, Ofer Strichman
    Optimized L*-Based Assume-Guarantee Reasoning. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:276-291 [Conf]
  23. Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu
    Refining Interface Alphabets for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:292-307 [Conf]
  24. Max Goldman, Shmuel Katz
    MAVEN: Modular Aspect Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:308-322 [Conf]
  25. Grégory Batt, Calin Belta, Ron Weiss
    Model Checking Liveness Properties of Genetic Regulatory Networks. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:323-338 [Conf]
  26. Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls
    Checking Pedigree Consistency with PCS. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:339-342 [Conf]
  27. Hillel Kugler, Amir Pnueli, Michael J. Stern, E. Jane Albert Hubbard
    "Don't Care" Modeling: A Logical Framework for Developing Predictive System Models. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:343-357 [Conf]
  28. Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady
    Deciding Bit-Vector Arithmetic with Abstraction. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:358-372 [Conf]
  29. Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani
    Abstraction Refinement of Linear Programs with Arrays. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:373-388 [Conf]
  30. Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi
    Property-Driven Partitioning for Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:389-404 [Conf]
  31. Nina Amla, Kenneth L. McMillan
    Combining Abstraction Refinement and SAT-Based Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:405-419 [Conf]
  32. Edith Elkind, Blaise Genest, Doron Peled
    Detecting Races in Ensembles of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:420-434 [Conf]
  33. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
    Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:435-450 [Conf]
  34. Laurent Doyen, Jean-François Raskin
    Improved Algorithms for the Automata-Based Approach to Model-Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:451-465 [Conf]
  35. Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan
    GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:466-471 [Conf]
  36. Florian Horn
    Faster Algorithms for Finitary Games. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:472-484 [Conf]
  37. David Harel, Itai Segall
    Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, . [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:485-499 [Conf]
  38. Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen
    motor: The modestTool Environment. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:500-504 [Conf]
  39. Alessandro Cimatti, Marco Roveri, Stefano Tonetta
    Syntactic Optimizations for PSL Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:505-518 [Conf]
  40. Till Mossakowski, Christian Maeder, Klaus Lüttich
    The Heterogeneous Tool Set, Hets. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:519-522 [Conf]
  41. Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer
    Searching for Shapes in Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:523-537 [Conf]
  42. Véronique Cortier, Gavin Keighren, Graham Steel
    Automatic Analysis of the Security of XOR-Based Key Management Schemes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:538-552 [Conf]
  43. Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
    State of the Union: Type Inference Via Craig Interpolation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:553-567 [Conf]
  44. Magnus O. Myreen, Michael J. C. Gordon
    Hoare Logic for Realistically Modelled Machine Code. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:568-582 [Conf]
  45. Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke
    VCEGAR: Verilog CounterExample Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:583-586 [Conf]
  46. Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato
    Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:587-601 [Conf]
  47. Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli
    Combined Satisfiability Modulo Parametric Theories. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:602-617 [Conf]
  48. Christopher Condrat, Priyank Kalla
    A Gröbner Basis Approach to CNF-Formulae Preprocessing. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:618-631 [Conf]
  49. Emina Torlak, Daniel Jackson
    Kodkod: A Relational Model Finder. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:632-647 [Conf]
  50. Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
    Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:648-663 [Conf]
  51. Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
    Model Checking on Trees with Path Equivalences. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:664-678 [Conf]
  52. Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
    Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:679-682 [Conf]
  53. Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
    Distributed Analysis with mu CRL: A Compendium of Case Studies. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:683-689 [Conf]
  54. Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu
    A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:690-705 [Conf]
  55. Frédéric Herbreteau, Grégoire Sutre, The Quang Tran
    Unfolding Concurrent Well-Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:706-720 [Conf]
  56. Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
    Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:721-736 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002