Suche in der Hochschulbibliografie

Suche nach: Person = 'Hagemann, Willem'

Treffer 11-19 von 19

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

11
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
12
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
13
49GBVUOB_ALMA5121975071000350149GBVUOB_ALMA51219750710003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219750710003501
Artikel
Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
von Willem Hagemann
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hagemann, Willem
Umfang: Diagramme.
Enthalten in: Mathematics in computer science Cham (ZG) : Springer International Publishing AG, 2007 9(2015), 3, Seite 283-325 Online-Ressource
Sprache: Englisch
>> Volltext
14
49GBVUOB_ALMA5121985733000350149GBVUOB_ALMA51219857330003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219857330003501
Artikel
Inscribing H-polyhedra in quadrics using a projective generalization of closed sets
von Willem Hagemann ; Eike Möhlmann
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Möhlmann, EikeHagemann, Willem
Enthalten in: Proceedings of the 27th Canadian Conference on Computational Geometry, CCCG 2015 Kingston, Ontario : Queen's University, 2015 (2015), Seite 31-36 1 Online-Ressource (viii, 303 Seiten)
Sprache: Englisch
>> Volltext
15
49GBVUOB_ALMA5121972795000350149GBVUOB_ALMA51219727950003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219727950003501
Artikel
Hybrid tools for hybrid systems : proving stability and safety at once
von Eike Möhlmann ; Willem Hagemann ; Oliver Theel
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hagemann, WillemTheel, Oliver ([2002-])Möhlmann, Eike
Enthalten in: Formal Modeling and Analysis of Timed Systems 1st ed. 2015 Cham [u.a.] : Springer, 2015 (2015), Seite 222-239 Online-Ressource (X, 321 p. 90 illus, online resource)
Sprache: Englisch
>> Volltext
16
49GBVUOB_ALMA5121989615000350149GBVUOB_ALMA51219896150003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219896150003501
E-Book
AVACS technical report: Hybrid tools for hybrid systems : proving stability and safety at once : extended version
von Willem Hagemann ; Eike Möhlmann ; Oliver Theel
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Möhlmann, EikeTheel, Oliver ([2002-])Hagemann, Willem
Verlag: Oldenburg: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang: 1 Online-Ressource (28 Seiten) Illustrationen.
Übergeordnetes Werk: AVACS technical report
Verknüpfte Titel: AVACS technical report ; 108
Sprache: Englisch
>> Volltext
17
49GBVUOB_ALMA5121840572000350149GBVUOB_ALMA51218405720003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218405720003501
Artikel
Reachability analysis of hybrid systems using symbolic orthogonal projections
von Willem Hagemann
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hagemann, Willem
Enthalten in: Biere, Armin Computer Aided Verification Cham [u.a.] : Springer, 2014 (2014), Seite 407-423 Online-Ressource (XXXIV, 877 p. 205 illus, online resource)
Sprache: Englisch
>> Volltext
18
49GBVUOB_ALMA5121842689000350149GBVUOB_ALMA51218426890003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218426890003501
E-Book
AVACS technical report: Component based design of hybrid systems : a case study on concurrency and coupling
von Werner Damm ; Willem Hagemann ; Eike Möhlmann ; Astrid Rakow
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hagemann, WillemMöhlmann, EikeRakow, AstridDamm, Werner
Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang: Online-Ressource (PDF-Datei: 32 S.).
Übergeordnetes Werk: AVACS technical report
Verknüpfte Titel: AVACS technical report ; 95
Sprache: Englisch
>> Volltext
19
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