Suche in der Hochschulbibliografie

Suche nach: Person = 'Platzer, André'

Treffer 1-10 von 17

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
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
2
49GBVUOB_ALMA2115411092000350149GBVUOB_ALMA21154110920003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21154110920003501
Artikel
Differential dynamic logics : automated theorem proving for hybrid systems ; [abstract]
von André Platzer
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs Berlin : GITO-Verl., 2009 (2009), Seite 45 227 S
Sprache: Englisch
3
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
4
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
5
49GBVUOB_ALMA2115884809000350149GBVUOB_ALMA21158848090003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21158848090003501
Buch
Differential dynamic logics : automated theorem proving for hybrid systems
von André Platzer
2008
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Umfang: XX, 299 S. graph. Darst..
Weitere Angaben:
Oldenburg, Univ., Diss., 2008
Notation: inf 823inf 999
Sprache: Englisch
6
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
7
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
8
49GBVUOB_ALMA2123619077000350149GBVUOB_ALMA21236190770003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236190770003501
Artikel
Differential logic for hybrid system verification : reasoning about interacting discrete and continuous change
von André Platzer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Dagstuhl Zehn plus Eins Aachen, 2007 S. 80
Sprache: Englisch
>> Volltext
9
49GBVUOB_ALMA2123675427000350149GBVUOB_ALMA21236754270003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236754270003501
Artikel
A temporal dynamic logic for verifying hybrid system invariants
von André Platzer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Logical foundations of computer science Berlin [u.a.], 2007 S. 457 - 471
Sprache: Englisch
10
49GBVUOB_ALMA2123676917000350149GBVUOB_ALMA21236769170003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236769170003501
Artikel
Combining deduction and algebraic constraints for hybrid system analysis
von André Platzer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: 4th International Verification Workshop S. 164 - 178
Sprache: Englisch
>> Volltext