Suche in der Hochschulbibliografie

Suche nach: Person = 'Platzer, André'

Treffer 11-17 von 17

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
49GBVUOB_ALMA2123675577000350149GBVUOB_ALMA21236755770003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236755770003501
Artikel
Differential dynamic logic for verifying parametric hybrid systems
von André Platzer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Automated reasoning with analytic tableaux and related methods Berlin [u.a.], 2007 S. 216 - 232
Sprache: Englisch
>> Volltext
12
49GBVUOB_ALMA2123677763000350149GBVUOB_ALMA21236777630003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236777630003501
Artikel
Towards a hybrid dynamic logic for hybrid dynamic systems
von André Platzer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Electronic notes in theoretical computer science 174 (2007), 6, S. 63 - 77
Sprache: Englisch
>> Volltext
13
49GBVUOB_ALMA2123618765000350149GBVUOB_ALMA21236187650003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236187650003501
Artikel
Differential logic for reasoning about hybrid systems
von André Platzer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Hybrid systems: computation and control Berlin [u.a.], 2007 S. 746 - 749
Sprache: Englisch
14
49GBVUOB_ALMA2123677424000350149GBVUOB_ALMA21236774240003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236774240003501
Artikel
SAT-based abstraction refinement for real-time systems
von Stephanie Kemper ; André Platzer
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Electronic notes in theoretical computer science 182 (2007), S. 107 - 122
Sprache: Englisch
>> Volltext
15
49GBVUOB_ALMA2123618583000350149GBVUOB_ALMA21236185830003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236185830003501
Artikel
The imgage computation problem in hybrid systems model checking
von André Platzer ; Edmund M. Clarke
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Hybrid systems: computation and control Berlin [u.a.], 2007 S. 473 - 486
Sprache: Englisch
16
49GBVUOB_ALMA2123673443000350149GBVUOB_ALMA21236734430003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236734430003501
Artikel
Automating verification of cooperation, control, and design in traffic applications
von Werner Damm ; Alfred Mikschl ; Jens Oehlerking ; Ernst-Rüdiger Olderog ; Jun Pang ; André Platzer ; Marc Segelken ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Mikschl, AlfredOehlerking, JensOlderog, Ernst-RüdigerPang, JunPlatzer, André ([2004-2009])Segelken, Marc ([1999-2008])Wirtz, BorisDamm, Werner
Enthalten in: Formal methods and hybrid real-time systems Berlin [u.a.], 2007 S. 115 - 169
Sprache: Englisch
17
49GBVUOB_ALMA2123627259000350149GBVUOB_ALMA21236272590003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236272590003501
Artikel
Dynamic logic with non-rigid functions : a basis for object-oriented program verification
von Bernhard Beckert ; André Platzer
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Platzer, André ([2004-2009])
Enthalten in: Automated reasoning Berlin [u.a.], 2006 S. 266 - 280
Sprache: Englisch
>> Volltext