|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Viktor Schuppan |
Towards a notion of unsatisfiable and unrealizable cores for LTL.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Luthfi Darmawan |
Evaluating LTL Satisfiability Solvers. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber |
RATSY - A New Requirements Analysis Tool with Synthesis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan |
Towards a Notion of Unsatisfiable Cores for LTL. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar |
Survey on Directed Model Checking. |
MoChArt |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev |
Diagnostic Information for Realizability. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta |
Boolean Abstraction for Temporal Logic Satisfiability. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan |
Liveness checking as safety checking to find shortest counterexamples to linear time properties. |
|
2006 |
RDF |
|
| 1 | Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan |
Linear Encodings of Bounded LTL Model Checking. |
Logical Methods in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Armin Biere |
Liveness Checking as Safety Checking for Infinite State Spaces. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan |
Linear Encodings of Bounded LTL Model Checking |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Viktor Schuppan, Marcel Baur, Armin Biere |
JVM Independent Replay in Java. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Armin Biere |
Shortest Counterexamples for Symbolic Model Checking of LTL with Past. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Armin Biere |
Efficient reduction of finite state model checking to reachability analysis. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Safety, Liveness, Linear temporal logic |
| 1 | Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller |
JNuke: Efficient Dynamic Analysis for Java. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Armin Biere |
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
IEEE 1394 FireWire, Model checking, Formal methods, Protocol verification |
| 1 | Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan |
Formal Methods Group ETH Zürich. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere, Cyrille Artho, Viktor Schuppan |
Liveness Checking as Safety Checking. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Schuppan, Winfried Rußwurm |
A CMM-Based Evaluation of the V-Model 97. |
EWSPT |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")