Suche in der Hochschulbibliografie

Suche nach: Person = 'Wirtz, Boris'

Treffer 1-8 von 8

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5123043886000350149GBVUOB_ALMA51230438860003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51230438860003501
Artikel
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
von Ernst Althaus ; Björn Beber ; Werner Damm ; Stefan Disch ; Willem Hagemann ; Astrid Rakow ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerHagemann, WillemRakow, AstridWirtz, Boris
Enthalten in: Science of computer programming Amsterdam [u.a.] : Elsevier Science, 1981 148(2017), Seite 123-160 Online-Ressource
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5122228408000350149GBVUOB_ALMA51222284080003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222284080003501
E-Book
AVACS technical report: Verification of linear hybrid systems with large discrete state spaces : exploring the design space for sptimization
von Ernst Althaus ; Björn Beber ; Werner Damm ; Stefan Disch ; Willem Hagemann ; Astrid Rakow ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
April 2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerHagemann, WillemRakow, AstridWirtz, Boris
Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang: 1 Online-Ressource (93 Seiten).
Übergeordnetes Werk: AVACS technical report
Verknüpfte Titel: AVACS technical report ; 103
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA7115576488000350149GBVUOB_ALMA71155764880003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71155764880003501
E-Book
AVACS technical report: Integrating incremental flow pipes into a symbolic model checker for hybrid systems
2011
Details anzeigen
Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang: Online-Ressource (PDF-Datei: 14 S.).
Übergeordnetes Werk: AVACS technical report
Verknüpfte Titel: AVACS technical report ; 76
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA7115717234000350149GBVUOB_ALMA71157172340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71157172340003501
E-Book
AVACS technical report: A lane change assistance system : cooperation and hybrid control
2011
Details anzeigen
Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang: Online-Ressource (PDF-Datei: 55 S.).
Übergeordnetes Werk: AVACS technical report
Verknüpfte Titel: AVACS technical report ; 78
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA2123682449000350149GBVUOB_ALMA21236824490003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236824490003501
Artikel
HLang : compositional representation of hybrid systems via predicates
von Martin Fränzle ; Hardi Hungar ; Christian Schmitt ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hungar, Hardi ([1991-])Wirtz, BorisFränzle, Martin ([1998-])
Enthalten in: AWACS technical report 20 (2007), S. 1 - 38
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA2123673170000350149GBVUOB_ALMA21236731700003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236731700003501
Artikel
Exact state set representations in the verification of linear hybrid systems with large discrete state space
von Werner Damm ; Stefan Disch ; Hardi Hungar ; Swen Jacobs ; Jun Pang ; Florian Pigorsch ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hungar, Hardi ([1991-])Pang, JunWirtz, BorisDamm, Werner
Enthalten in: Automated technology for verification and analysis Berlin, 2007 S. 425 - 440
Sprache: Englisch
>> Volltext
7
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
8
49GBVUOB_ALMA2123684628000350149GBVUOB_ALMA21236846280003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236846280003501
Artikel
Automatic verification of hybrid systems with large discrete state space
von Werner Damm ; Stefan Disch ; Hardi Hungar ; Jun Pang ; Florian Pigorsch ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hungar, Hardi ([1991-])Pang, JunWirtz, BorisDamm, Werner
Enthalten in: Automated technology for verification and analysis Berlin [u.a.], 2006 S. 276 - 291
Sprache: Englisch
>> Volltext