Suche in der Hochschulbibliografie

Suche nach: Person = 'Quesel, Jan-David'

Treffer 1-9 von 9

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
dedupmrg93676960649GBVUOB_ALMA21343854680003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21343854680003501
Buch
Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften: Similarity, logic and games : bridging modeling layers of hybrid systems
von Jan-David Quesel
2013
Details anzeigen
Verlag: Oldenburg: Univ., Dep. für Informatik
Umfang: XV, 240 S. graph. Darst..
Weitere Angaben:
Literaturverz. S. 211 - 230 ; Zugl.: Oldenburg, Univ., Diss., 2013
Schlagwörter: Hochschulschrift; Forschungsbericht
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften ; 2013,3
Sprache: Englisch
2
49GBVUOB_ALMA7115863298000350149GBVUOB_ALMA71158632980003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71158632980003501
Artikel
Playing hybrid games with KeYmaera
von Jan-David Quesel ; André Platzer
2012
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Quesel, Jan-David ([2007-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: 10.1007/978-3-642-31365-3_34
Enthalten in: Automated reasoning Berlin : Springer, 2012 (2012), Seite 439-453 XIV, 568 S.
Sprache: Englisch
3
49GBVUOB_ALMA7117444852000350149GBVUOB_ALMA71174448520003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71174448520003501
Artikel
Crossing the bridge between similar games
von Jan-David Quesel ; Martin Fränzle ; Werner Damm
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Quesel, Jan-David ([2007-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/e6r94n5820k08626/fulltext.pdf
Enthalten in: Formal modeling and analysis of timed systems Berlin : Springer, 2011 (2011), Seite 160-176 XI, 351 S.
Sprache: Englisch
4
49GBVUOB_ALMA5121401965000350149GBVUOB_ALMA51214019650003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51214019650003501
Artikel
Syspect : modelling, specifying, and verifying real-time systems with rich data
von Johannes Faber ; Sven Linker ; Ernst-Rüdiger Olderog ; Jan-David Quesel
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Linker, SvenOlderog, Ernst-RüdigerQuesel, Jan-David ([2007-])Faber, Johannes ([2004-])
Enthalten in: International Journal of Software and Informatics Beijing : Institute of Software, the Chinese Academy of Sciences, 2007 Bd. 5.2011, 1/2, Part 1, S. 117-137 Online-Ressource
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA2114553492000350149GBVUOB_ALMA21145534920003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21145534920003501
Artikel
European Train Control System : a case study in formal verification
von André Platzer ; Jan-David Quesel
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Quesel, Jan-David ([2007-])Platzer, André ([2004-2009])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/nn41516234734470/fulltext.pdf
Enthalten in: Formal methods and software engineering Berlin : Springer, 2009 (2009), Seite 246-265 XIV, 758 S.
Sprache: Englisch
6
49GBVUOB_ALMA2116125325000350149GBVUOB_ALMA21161253250003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21161253250003501
Artikel
Real world verification
von André Platzer ; Jan-David Quesel ; Philipp Rümmer
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Quesel, Jan-David ([2007-])Platzer, André ([2004-2009])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/jpq90t677vp61g11/fulltext.pdf
Enthalten in: Automated deduction - CADE-22 Berlin : Springer, 2009 (2009), Seite 485-501 XIV, 504 S.
Sprache: Englisch
7
49GBVUOB_ALMA2115353399000350149GBVUOB_ALMA21153533990003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21153533990003501
Artikel
KeYmaera : a hybrid theorem prover for hybrid systems (system description)
von André Platzer ; Jan-David Quesel
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Quesel, Jan-David ([2007-])Platzer, André ([2004-2009])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/h630xm5n36116311/fulltext.pdf
Enthalten in: Automated reasoning Berlin : Springer, 2008 (2008), Seite 171-178 XII, 556 S.
Sprache: Englisch
8
49GBVUOB_ALMA7115640740000350149GBVUOB_ALMA71156407400003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71156407400003501
Artikel
Logical verification and systematic parametric analysis in train control
von André Platzer ; Jan-David Quesel
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Hybrid systems: computation and control ; 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 ; proceedings Berlin : Springer, 2008 (2008), Seite 646-649 XV, 680 S.
Sprache: Englisch
9
49GBVUOB_ALMA2123628504000350149GBVUOB_ALMA21236285040003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236285040003501
Artikel
Spatio-temporal model checking for mobile real-time systems
von Jan-David Quesel ; Andreas Schäfer
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Schäfer, Andreas ([2002-])Quesel, Jan-David ([2007-])
Enthalten in: Theoretical aspects of computing - ICTAC 2006 Berlin [u.a.], 2006 S. 347 - 361
Sprache: Englisch