Suche in der Hochschulbibliografie

Suche nach: Person = 'Bienmüller, Tom'

Treffer 1-9 von 9

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5122229630000350149GBVUOB_ALMA51222296300003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222296300003501
E-Book
AVACS technical report: Extending iSAT3 with ICP-contractors for bitwise integer operations
von Karsten Scheibler ; Felix Neubauer ; Ahmed Mahdi ; Martin Fränzle ; Tino Teige ; Tom Bienmüller ; Detlef Fehrer ; Bernd Becker
August 2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Mahdi, Ahmed ([2013-])Fränzle, Martin ([1998-])Teige, TinoBienmüller, Tom ([1997-2003])
Verlag: Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang: 1 Online-Ressource (22 Seiten).
Übergeordnetes Werk: AVACS technical report
Verknüpfte Titel: AVACS technical report ; 116
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5122227417000350149GBVUOB_ALMA51222274170003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51222274170003501
Artikel
Accurate ICP-based floating-point reasoning
von Karsten Scheibler ; Felix Neubauer ; Ahmed Mahdi ; Martin Fränzle ; Tino Teige ; Tom Bienmüller ; Detlef Fehrer ; Bernd Becker
2016
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Mahdi, Ahmed ([2013-])Fränzle, Martin ([1998-])Teige, TinoBienmüller, Tom ([1997-2003])
Umfang: 8.
Enthalten in: Conference on Formal Methods in Computer-Aided Design (16. : 2016 : Mountain View, Calif.) Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design, FMCAD 2016 [Piscataway, NJ] : IEEE, 2016 (2016), insges. 8 S. 1 Online-Ressource
Sprache: Englisch
>> Volltext
3
dedupmrg123801552549GBVUOB_ALMA21153881760003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21153881760003501
Buch
Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften: Reducing complexity for the verification of statemate designs
von Tom Bienmüller
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Bienmüller, Tom ([1997-2003])
Verlag: Oldenburg: Univ., Fak. II, Dept. für Informatik
Umfang: 309, 5 S graph. Darst.
Weitere Angaben:
Zugl.: Oldenburg, Univ., Diss., 2003
Schlagwörter: Hochschulschrift; ForschungsberichtProgrammverifikationKomplexitätstheorieKomplexes SystemVerifikationHoare-Logik
Übergeordnetes Werk: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften
Verknüpfte Titel: Berichte aus dem Department für Informatik der Fakultät 2 - Informatik, Wirtschafts- und Rechtswissenschaften ; 2003, 6
Sprache: Englisch
4
49GBVUOB_ALMA2123656163000350149GBVUOB_ALMA21236561630003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236561630003501
Artikel
Formale Anaylse und Verifikation von Statemate Entwürfen
von Tom Bienmüller ; Werner Damm ; Jochen Klose ; Hartmut Wittke
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerKlose, Jochen ([1998-2006])Wittke, Hartmut ([1996-2006])Bienmüller, Tom ([1997-2003])
Enthalten in: Informationstechnik und technische Informatik 43 (2001), 1, S. 29
Sprache: Deutsch
5
49GBVUOB_ALMA2123677689000350149GBVUOB_ALMA21236776890003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236776890003501
Artikel
Formale Analyse und Verifikation on Statemate Entwürfen
von Tom Bienmüller ; Werner Damm ; Jochen Klose ; Hartmut Wittke
2001
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerKlose, Jochen ([1998-2006])Wittke, Hartmut ([1996-2006])Bienmüller, Tom ([1997-2003])
Enthalten in: Informationstechnik und technische Informatik 43 (2001), 1 <1>
Sprache: Deutsch
6
49GBVUOB_ALMA2123645601000350149GBVUOB_ALMA21236456010003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236456010003501
Artikel
The Statemate verification environment : making it real
von Tom Bienmüller ; Werner Damm ; Hartmut Wittke
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Damm, WernerWittke, Hartmut ([1996-2006])Bienmüller, Tom ([1997-2003])
Enthalten in: Computer aided verification Berlin [u.a.], 2000 S. 561 - 567
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA2123646187000350149GBVUOB_ALMA21236461870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236461870003501
Artikel
Automatic debugging for Statemate designs
von Tom Bienmüller ; Udo Brockmeyer ; Hans Jürgen Holberg ; Hartmut Wittke
2000
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brockmeyer, Udo ([1995-2001])Holberg, Hans Jürgen ([1995-2004])Wittke, Hartmut ([1996-2006])Bienmüller, Tom ([1997-2003])
Enthalten in: 8. Deutsches Anwenderforum für Statemate, 2000 2000 3 Bl.
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA2123712754000350149GBVUOB_ALMA21237127540003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237127540003501
Artikel
Verification of automotive control units
von Tom Bienmüller ; Jürgen Bohn ; Henning Brinkmann ; Udo Brockmeyer ; Werner Damm ; Hardi Hungar ; Peter Jansen
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Bohn, Jürgen ([1993-2002])Brinkmann, Henning ([1999-2001])Brockmeyer, Udo ([1995-2001])Damm, WernerHungar, Hardi ([1991-])Bienmüller, Tom ([1997-2003])
Enthalten in: Correct system design Berlin [u.a.], 1999 S. 319 - 341
Sprache: Englisch
9
49GBVUOB_ALMA2123676007000350149GBVUOB_ALMA21236760070003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236760070003501
Artikel
Formal verification of an avionics application using abstraction and symbolic model checking
von Tom Bienmüller ; Udo Brockmeyer ; Werner Damm ; Gert Döhmen ; Claus Eßmann ; Hans Jürgen Holberg ; Hardi Hungar ; Bernhard Josko ; Rainer Schlör ; Gunnar Wittich ; Hartmut Wittke ; Geoffrey Clements ; John Rowlands ; Eric Sefton
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Brockmeyer, Udo ([1995-2001])Damm, WernerDöhmen, Gert ([1987-1999])Eßmann, Claus ([1997-1999])Holberg, Hans Jürgen ([1995-2004])Hungar, Hardi ([1991-])Josko, BernhardSchlör, Rainer ([-2001])Wittich, Gunnar ([1994-2001])Wittke, Hartmut ([1996-2006])Bienmüller, Tom ([1997-2003])
Enthalten in: Towards system safety London, 1999 S. 150 - 173
Sprache: Englisch
>> Volltext