Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Johannes Faber" ( http://dblp.L3S.de/Authors/Johannes_Faber )

  Author page on DBLP  Author page in RDF  Community of Johannes Faber in ASPL-2

Publication years (Num. hits)
2006 (2) 2007 (1) 2008 (1) 2010 (3) 2011 (1)
Publication types (Num. hits)
article(3) inproceedings(5)
Venues (Conferences, Journals, ...)
IFM(3) CoRR(1) FMCAD(1) Formal Asp. Comput.(1) ICTAC(1) Int. J. Software and Informati...(1)
Authors
Johannes Faber(8) Roland Meyer(3) Swen Jacobs(3) Viorica Sofronie-Stokkermans(3) Andrey Rybalchenko(2) Carsten Ihlemann(2) Ernst-Rüdiger Olderog(1) Jan-David Quesel(1) Jochen Hoenicke(1) Sven Linker(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Johannes Faber, Sven Linker, Ernst-Rüdiger Olderog, Jan-David Quesel Syspect - Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. Search on Bibsonomy Int. J. Software and Informatics The full citation details ... 2011 DBLP  BibTeX  RDF
1Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans Automatic Verification of Parametric Specifications with Complex Topologies Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans Automatic Verification of Parametric Specifications with Complex Topologies. Search on Bibsonomy IFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johannes Faber Verification Architectures: Compositional Reasoning for Real-Time Systems. Search on Bibsonomy IFM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko Model checking Duration Calculus: a practical approach. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF European Train Control System, Real-time systems, Model checking, Verification, Timed automata, Case study, Duration Calculus
1Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. Search on Bibsonomy IFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johannes Faber, Roland Meyer Model Checking Data-Dependent Real-Time Properties of the European Train Control System. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Roland Meyer, Johannes Faber, Andrey Rybalchenko Model Checking Duration Calculus: A Practical Approach. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.