|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 17 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski |
Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH.  |
Requir. Eng.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amalinda Post, Jochen Hoenicke |
Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH. |
VSTTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Evren Ermis, Jochen Hoenicke, Andreas Podelski |
Splitting via Interpolants. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amalinda Post, Jochen Hoenicke, Andreas Podelski |
rt-Inconsistency: A New Property for Real-Time Requirements. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amalinda Post, Jochen Hoenicke, Andreas Podelski |
Vacuous real-time requirements. |
RE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies |
Doomed program points. |
Formal Methods in System Design |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Roland Meyer, Ernst-Rüdiger Olderog |
Kleene, Rabin, and Scott Are Available. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Ernst-Rüdiger Olderog, Andreas Podelski |
Fairness for Dynamic Control. |
TACAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Nested interpolants. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement |
| 1 | Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies |
It's Doomed; We Can Prove It. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Refinement of Trace Abstraction. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko |
Model checking Duration Calculus: a practical approach. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus |
| 1 | Jochen Hoenicke |
Combination of processes, data, and time. |
|
2006 |
RDF |
|
| 1 | Jochen Hoenicke, Patrick Maier |
Model-Checking of Specifications Integrating Processes, Data and Time. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Hoenicke, Ernst-Rüdiger Olderog |
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jochen Hoenicke, Ernst-Rüdiger Olderog |
Combining Specification Techniques for Processes, Data and Time. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
transformational semantic, model-checking, CSP, Object-Z, real-time processes, FDR, Duration Calculus, UPPAAL |
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")