|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 317 occurrences of 190 keywords
|
|
|
Results
Found 746 publication records. Showing 746 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
Symbolic Algorithms for Infinite-State Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 536-550, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
56 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm |
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
56 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm |
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
52 | Thomas Mailund |
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 314-334, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Timed Coloured Petri Nets, Infinite-State Systems, State Space Analysis, Reduction Techniques |
49 | Lee Pike, Steven D. Johnson |
The formal verification of a reintegration protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 286-289, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
infinite-state bounded model-checking, reintegration protocol, real-time, formal verification, infinite-state systems |
48 | Hsu-Chun Yen |
Analysis of Self-Stabilization for Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden, pp. 240-248, 2001, IEEE Computer Society, 0-7695-1159-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Petri net, self-stabilization, Decidability, infinite-state system |
47 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Covering sharing trees: a compact data structure for parameterized verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 5(2-3), pp. 268-297, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Efficient data structures, Heuristics, Static analysis, Constraints, Symbolic model checking, Infinite-state systems |
44 | Parosh Aziz Abdulla, Aletta Nylén |
Better is Better than Well: On Efficient Verification of Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 132-140, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
lossy channel systems, integral relational automata, model checking, Verification, timed Petri nets, infinite-state systems, broadcast protocols |
44 | Parosh Aziz Abdulla, Ahmed Bouajjani, Markus Müller-Olm (eds.) |
Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
44 | Jérôme Leroux, Grégoire Sutre |
Flat counter automata almost everywhere!. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
44 | Jörg Bauer 0001, Reinhard Wilhelm |
Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
44 | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek |
Reachability analysis of multithreaded software with asynchronous communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
44 | Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz |
Lazy Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Verification: Infinite-State Model Checking and Static Program Analysis ![In: Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02. - 24.02.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
42 | Tobias Schüle, Klaus Schneider 0001 |
Bounded model checking of infinite state systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(1), pp. 51-81, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems |
40 | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth |
Model Checking Infinite-State Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 237-252, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Tatiana Rybina, Andrei Voronkov |
A Logical Reconstruction of Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 222-237, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
reachability analysis, infinite-state systems, model theory, theoretical foundations |
39 | Jan Friso Groote, Tim A. C. Willemse |
A Checker for Modal Formulae for Processes with Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 223-239, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL |
38 | Michael Fisher 0001, Boris Konev, Alexei Lisitsa 0001 |
Practical Infinite-State Verification with Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 91-100, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Bernard Boigelot |
Number-Set Representations for Infinite-State Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 1-16, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
38 | Mouad Ben Mamoun, Nihal Pekergin |
Model Checking of Infinite State Space Markov Chains by Stochastic Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASMTA ![In: Analytical and Stochastic Modeling Techniques and Applications, 15th International Conference, ASMTA 2008, Nicosia, Cyprus, June 4-6, 2008, Proceedings, pp. 264-278, 2008, Springer, 978-3-540-68980-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Werner Damm, Bengt Jonsson 0001 |
Eliminating Queues from RT UML Model Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 375-394, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems |
34 | Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin |
A classification of symbolic transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(1), pp. 1-32, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms |
34 | Parosh Aziz Abdulla |
Infinite-State Verification: From Transition Systems to Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 4, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model Checking, Markov Chains, Program Verification, Infinite-State Systems |
33 | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
Compositional Verification of Infinite State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, pp. 47-48, 2003, Springer, 3-540-20642-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Sébastien Bardin, Alain Finkel, Jérôme Leroux, Philippe Schnoebelen |
Flat Acceleration in Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 474-488, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
verification of infinite-state systems, acceleration, symbolic model checking |
33 | Abhay Vardhan, Mahesh Viswanathan 0001 |
Learning to verify branching time properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 325-328, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
CTL, computational learning theory, infinite state systems |
33 | Pierluigi San Pietro, Zhe Dang |
Automatic Verification of Multi-queue Discrete Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 9th Annual International Conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003, Proceedings, pp. 159-171, 2003, Springer, 3-540-40534-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
infinite-state model-checking, real-time systems, Timed Automata |
33 | Shuvendu K. Lahiri, Randal E. Bryant |
Predicate abstraction with indexed predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(1), pp. 4, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction |
31 | Jochen Eisinger, Felix Klaedtke |
Don't care words with an application to the automata-based approach for real addition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 33(1-3), pp. 85-115, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mixed linear arithmetic over the integers and reals, Verification of infinite-state systems, Decision procedure, Automata theory |
31 | Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén |
SAT-Solving the Coverability Problem for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(1), pp. 25-43, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Petri nets, unfoldings, coverability, infinite state systems, partial-order methods |
31 | QingE Wu 0001, Tuo Wang, YongXuan Huang, JiSheng Li |
Theory Research on a New Type Fuzzy Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 1-10, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Dennis Dams, Yassine Lakhnech, Martin Steffen |
Iterating Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 286-297, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth |
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 63-72, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Lin Liu 0003, Jonathan Billington |
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 273-293, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Multimedia Networks and Protocols, Incremental State Space Algorithms, Parameterization, Coloured Petri Nets, Service Definitions |
30 | Carron Shankland, Jeremy W. Bryans, Lionel Morel |
Expressing Iterative Properties Logically in a Symbolic Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 460-474, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
formal verification, temporal logics, LOTOS, infinite state systems, symbolic representation |
29 | Nikola Bogunovic, Edgar Pek |
Model Checking Procedures for Infinite State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany, pp. 419-425, 2006, IEEE Computer Society, 0-7695-2546-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Specification, verification, and synthesis of concurrency control components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 169-179, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
infinite-state model checking, monitors, specification languages, concurrent programming |
28 | Saad AlKasabi, Salim Hariri |
Performance analysis of a high-speed dynamically reconfigurable LAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 20th Conference on Local Computer Networks (LCN'95), Minneapolis, Minnesota, USA, October 16-19, 1995, pp. 236-245, 1995, IEEE Computer Society, 0-8186-7162-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
dynamically reconfigurable LAN, reconfigurable switch, highspeed multi-link ring local area network, switch reconfigurability, multi-link ring network, M/M/n, M/D/n, virtual channel occupancy probabilities, infinite state Markov model, finite state Markov model, OPNET tool, packet transfer time, virtual channel flow, performance evaluation, field programmable gate arrays, performance analysis, local area networks, reconfigurable architectures, wormhole routing, network performance, queuing systems, interconnection topologies, system throughput |
28 | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston |
Symbolic Computation of Maximal Probabilistic Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings, pp. 169-183, 2001, Springer, 3-540-42497-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Alain Finkel, Jérôme Leroux |
How to Compose Presburger-Accelerations: Applications to Broadcast Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings, pp. 145-156, 2002, Springer, 3-540-00225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Presburger model checking, verification, acceleration, infinite-state systems, reachability set |
27 | Javier Esparza |
An Automata-Theoretic Approach to Software Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings, pp. 21, 2003, Springer, 3-540-40434-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu |
Analyzing Fair Parametric Extended Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, pp. 335-355, 2001, Springer, 3-540-42314-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Therese Berg, Bengt Jonsson 0001, Harald Raffelt |
Regular Inference for State Machines Using Domains with Equality Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 317-331, 2008, Springer, 978-3-540-78742-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Tobias Schüle, Klaus Schneider 0001 |
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 67-76, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Bengt Jonsson 0001, Marcus Nilsson |
Transitive Closures of Regular Relations for Verifying Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 220-234, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea (eds.) |
Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005", Timisoara, Romania, March 17-22, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![IOS Press, 1-58603-570-3 The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Viktor Schuppan, Armin Biere |
Liveness Checking as Safety Checking for Infinite State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 79-96, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Anatol Slissenko |
Probability and Time in Measuring Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 169-183, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Jeannette M. Wing |
Scenario Graphs Applied to Security (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 229-234, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Marko Samer, Helmut Veith |
From Temporal Logic Queries to Vacuity Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 149-167, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Ahmed Bouajjani |
Regular Model Checking for Programs with Dynamic Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 17-22, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Doron A. Peled |
Automatic Test Generation and Monitoring of Infinite States Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 127-142, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Dan C. Marinescu, Gabriela M. Marinescu |
Quantum States and Quantum Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 101-126, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Tayssir Touili |
Dealing with Communication for Dynamic Multithreaded Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 213-227, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Catalin Dima |
A Class of Automata for Computing Reachability Relations in Timed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 69-89, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Edmund M. Clarke, Himanshu Jain, Nishant Sinha 0001 |
Grand Challenge: Model Check Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 55-68, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Bîrjoveanu |
Decidability and Complexity Results for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 185-211, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | René Peralta 0001 |
Cryptographic Primitives Can Be Fragile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 143-148, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn |
Automatic Verification of Security Properties Based on Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSAS ![In: Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop `Verification of Infinite State Systems with Applications to Security VISSAS 2005`, Timisoara, Romania, March 17-22, 2005, pp. 23-53, 2005, IOS Press, 1-58603-570-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Philippe Schnoebelen |
Preface: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003, pp. 1, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta |
Security validation tool for business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SACMAT ![In: 16th ACM Symposium on Access Control Models and Technologies, SACMAT 2011, Innsbruck, Austria, June 15-17, 2011, Proceedings, pp. 143-144, 2011, ACM, 978-1-4503-0688-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001 |
INFAMY: An Infinite-State Markov Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 641-647, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, pp. 362-378, 2007, Springer, 978-3-540-73594-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Nir Piterman, Moshe Y. Vardi |
Global Model-Checking of Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings, pp. 387-400, 2004, Springer, 3-540-22342-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Peter J. Robinson 0001, Carron Shankland |
Combating Infinite State Using Ergo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, pp. 144-159, 2003, Springer, 3-540-20175-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Tatiana Rybina, Andrei Voronkov |
Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 546-573, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Ost, Boudewijn R. Haverkort |
Analysis of windowing mechanisms with infinite-state stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 26(2), pp. 38-46, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
window flow control, congestion control, stochastic Petri nets, matrix-geometric methods |
24 | Tevfik Bultan, Richard Gerber 0001, William W. Pugh |
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 400-411, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Søren Christensen |
Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 148-161, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Antonín Kucera 0001, Philippe Schnoebelen |
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 371-386, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Alin Deutsch, Richard Hull 0001, Fabio Patrizi, Victor Vianu |
Automatic verification of data-centric business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings, pp. 252-267, 2009, ACM, 978-1-60558-423-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Frédéric Herbreteau, Grégoire Sutre, The Quang Tran |
Unfolding Concurrent Well-Structured Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 706-720, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Takayuki Osogami, Adam Wierman, Mor Harchol-Balter, Alan Scheller-Wolf |
A recursive analysis technique for multi-dimensionally infinite Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 32(2), pp. 3-5, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu |
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 690-705, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Parosh Aziz Abdulla, Mats Kindahl |
Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 333-347, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Antonín Kucera 0001, Richard Mayr |
Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 368-382, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Saddek Bensalem, Yassine Lakhnech, Sam Owre |
Computing Abstractions of Infinite State Systems Compositionally and Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 319-331, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
On the verification problem for weak memory models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 7-18, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
lossy channel systems, program verification, infinite state systems, relaxed memory models |
21 | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen |
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 133-142, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Applications, Abstraction, Probabilistic model checking, Infinite-state systems |
21 | Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar |
Verification of parametric concurrent systems with prioritised FIFO resource management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 32(2), pp. 129-172, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Parameterised verification, Infinite-state system verification, Cut off, Parameterised networks of processes, Model checking, Formal verification, Resource sharing |
21 | Martin Fränzle, Christian Herde |
HySAT: An efficient proof engine for bounded model checking of hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(3), pp. 179-198, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Verification, Hybrid systems, Satisfiability, Decision procedures, Bounded model checking, Infinite-state systems |
21 | Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
A fixpoint calculus for local and global program flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 153-165, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems |
21 | Parosh Aziz Abdulla, Aurore Collomb-Annichini, Ahmed Bouajjani, Bengt Jonsson 0001 |
Using Forward Reachability Analysis for Verification of Lossy Channel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 25(1), pp. 39-65, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
model checking, automata, protocol verification, infinite-state systems |
21 | Suman Roy 0001 |
Symbolic Verification of Infinite Systems using a Finite Union of DFAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, pp. 56-66, 2004, IEEE Computer Society, 0-7695-2222-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Symbolic Verification, Accelerations, DFA, Infinite State Systems, FIFO queues |
21 | Mathieu Hilaire |
Parity games and reachability in infinite-state systems with parameters. (Jeux de parité et problème d'accessibilité dans des systèmes à infinité d'états avec paramètres). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
21 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
An Infinite Automaton Characterization of Double Exponential Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 33-48, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Laura Bozzelli |
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 282-297, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Luca de Alfaro, Thomas A. Henzinger |
Concurrent Omega-Regular Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 141-154, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Adrian J. Isles, Ramin Hojati, Robert K. Brayton |
Computing Reachable Control States of Systems Modeled with Uninterpreted Functions and Infinite Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 256-267, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Robert J. Hall 0001 |
Rteq: modeling and validating infinite-state hard-real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 481-484, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GSTView, ISAT, OMML, openmodel, validation, reactive system, hard real time |
20 | Tevfik Bultan, Constance L. Heitmeyer |
Analyzing tabular requirements specifications using infinite state model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA, pp. 7-16, 2006, IEEE Computer Society, 1-4244-0421-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Matteo Slanina, Henny B. Sipma, Zohar Manna |
Proving ATL* Properties of Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings, pp. 242-256, 2006, Springer, 3-540-48815-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Randal E. Bryant |
Formal Verification of Infinite State Systems Using Boolean Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 3-4, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Bertrand Jeannet, Thierry Jéron, Vlad Rusu |
Model-Based Test Selection for Infinite-State Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures, pp. 47-69, 2006, Springer, 978-3-540-74791-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Thierry Jéron |
Model-Based Test Selection for Infinite State Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal, pp. 35-44, 2006, Springer, 978-0-387-39361-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jesse D. Bingham, Alan J. Hu |
Empirically Efficient Verification for a Class of Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 77-92, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Bouajjani |
Verification of Infinite State Systems (Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 71, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Marsha Chechik, Benet Devereux, Arie Gurfinkel |
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings, pp. 16-36, 2001, Springer, 3-540-42124-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |
Verifying Infinite State Processes with Sequential and Parallel Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 95-106, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Mads Dam |
Compositional Proof Systems for Model Checking Infinite State Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 12-26, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 746 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|