Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person = '
Josko, Bernhard
'
Treffer 11-20 von 22
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 2 von 3
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Schlagwort:
Eingebettetes System (1)
Fahrerassistenzsystem (1)
Formale Methode (1)
Kraftfahrzeugindustrie (1)
Programmierparadigma (1)
Projektmanagement (1)
Sicherheitsanalyse (1)
Wirkungsanalyse (1)
nach Person:
Allara, Alberto (1)
Bienmüller, Tom (1)
Bombana, Massimo (1)
Böde (1)
Brockmeyer, Udo (1)
Brunel, Jean-Yves (1)
Brörkens, Mark (1)
Brückner, Ingo (1)
Buschermöhle, Ralf (5)
Büker (1)
Böde, Eckard (4)
Büker, Matthias (1)
Clements, Geoffrey (1)
Comai, Sara (1)
Damm, W (1)
Damm, Werner (13)
Döhmen, Gert (1)
Eekhoff, Heike (4)
Ehmen, G (1)
Ehmen, Günter (2)
Eßmann, Claus (1)
Feyerabend, Konrad (1)
Forschungsvereinigung Automobiltechnik (1)
Fränzle (1)
Freund, Ulrich (1)
Fränzle, Martin (2)
Gerwinn, S (1)
Gerwinn, Sebastian (1)
Gezgin, Tayfun (1)
Goodfellow, T (1)
Goodfellow, Thomas (1)
Grüttner (1)
Grüttner, Kim (2)
Götz, Marcelo (1)
Hasselbring, Wilhelm (1)
Hasseln, Hermann von (1)
Holberg, Hans Jürgen (1)
Hungar, Hardi (3)
Høyem, Jarl (1)
Ittershagen, Philipp (1)
Josko, B (1)
Josko, Bernhard (22)
Koopmann, B (1)
Koopmann, Björn (2)
Kowalewski, Stefan (1)
Metzner, Alexander (1)
Niehaus, Jürgen (1)
Oertel, Markus (1)
Peikenkamp, T (1)
Peikenkamp, Thomas (3)
Pnueli, Amir (3)
Poppen, F (1)
Poppen, Frank (2)
Reinkemeier, P (1)
Reinkemeier, Philipp (1)
Rettberg, Achim (2)
Rowlands, John (1)
Schlör, Rainer (3)
Schulte, Christoph (1)
Sciuto, Donatella (1)
Sefton, Eric (1)
Segelken, Marc (1)
Siegel, M (1)
Siegel, Michael (2)
Stierand, I (1)
Stierand, Ingo (3)
Thurner, Thomas (1)
Torngren, Martin (1)
Votinceva, Anželika (3)
Wehrmeister, Marco (1)
Werth, Dieter (1)
Wittich, Gunnar (1)
Wittke, Hartmut (1)
Wolf, Thomas (1)
nach Medientyp:
Artikel (17)
E-Books (4)
Bücher (3)
11
49GBVUOB_ALMA21236418270003501
49GBVUOB_ALMA21236418270003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236418270003501
Artikel
A discrete-time uml semantics for concurrency and communication in safty-critical applications
von
Werner Damm ; Bernhard Josko ; Amir Pnueli ; Anželika Votinceva
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Josko, Bernhard
Votinceva, Anželika ([1997-2005])
Damm, Werner
Enthalten in:
Science of computer programming 55 (2005), 1-3, S. 81 - 115
Sprache:
Englisch
12
49GBVUOB_ALMA21236872730003501
49GBVUOB_ALMA21236872730003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236872730003501
Artikel
Boosting re-use of embedded automotive applications through rich components
von
Werner Damm ; Anželika Votinceva ; Alexander Metzner ; Bernhard Josko ; Thomas Peikenkamp ; Eckard Böde
2005
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Votinceva, Anželika ([1997-2005])
Metzner, Alexander ([1995-])
Josko, Bernhard
Peikenkamp, Thomas
Böde, Eckard ([2001-])
Damm, Werner
Enthalten in:
Proceedings of the Workshop on Foundation of Interface Technology S. 1 - 18
Sprache:
Englisch
>> Volltext
13
49GBVUOB_ALMA21236755650003501
49GBVUOB_ALMA21236755650003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236755650003501
Artikel
The future design scenario and the SEA initiative
von
Jean-Yves Brunel ; Werner Damm ; Ulrich Freund ; Bernhard Josko ; Stefan Kowalewski ; Martin Torngren ; Thomas Thurner ; Hermann von Hasseln
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Josko, Bernhard
Enthalten in:
IFAC Symposium on Advances in Automotive Control Düsseldorf, 2004 S. 1 - 6
Sprache:
Englisch
>> Volltext
14
49GBVUOB_ALMA21236776090003501
49GBVUOB_ALMA21236776090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236776090003501
Artikel
Model checking : Grundlagen und Praxiserfahrungen
von
Ralf Buschermöhle ; Mark Brörkens ; Ingo Brückner ; Werner Damm ; Wilhelm Hasselbring ; Bernhard Josko ; Christoph Schulte ; Thomas Wolf
2004
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Brörkens, Mark ([2002-2004])
Brückner, Ingo ([2002-])
Damm, Werner
Hasselbring, Wilhelm ([2000-2008])
Josko, Bernhard
Schulte, Christoph ([2001-2004])
Wolf, Thomas ([2002-2004])
Buschermöhle, Ralf ([2003-])
Enthalten in:
Informatik-Spektrum 27 (2004), 2, S. 146 - 158
Sprache:
Deutsch
>> Volltext
15
49GBVUOB_ALMA21237102010003501
49GBVUOB_ALMA21237102010003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237102010003501
Artikel
Understanding UML : a formal semantics of concurrency and communication in Real-Time UML
von
Werner Damm ; Bernhard Josko ; Amir Pnueli ; Anželika Votinceva
2003
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Josko, Bernhard
Votinceva, Anželika ([1997-2005])
Damm, Werner
Enthalten in:
Formal methods for components and objects 2003 S. 71 - 98
Sprache:
Englisch
>> Volltext
16
49GBVUOB_ALMA21237104490003501
49GBVUOB_ALMA21237104490003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237104490003501
Artikel
Eingebettete Systeme : Verifikation von VHDL-basierten Hardware-Systemen
von
Werner Damm ; Bernhard Josko
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Josko, Bernhard
Enthalten in:
Jahresberichte / OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme Oldenburg 1998 (1999), S. 26 - 28
Notation:
inf 008.1 j
Sprache:
Deutsch
17
49GBVUOB_ALMA21236455950003501
49GBVUOB_ALMA21236455950003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236455950003501
Artikel
Specification of embedded monitors for property checking
von
Alberto Allara ; Massimo Bombana ; Sara Comai ; Bernhard Josko ; Rainer Schlör ; Donatella Sciuto
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Josko, Bernhard
Schlör, Rainer ([-2001])
Enthalten in:
Proceedings of the Second International Forum on Design Languages 1999 Lyon, 1999 S. 117 - 126
Sprache:
Englisch
>> Volltext
18
49GBVUOB_ALMA21236760070003501
49GBVUOB_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, Werner
Döhmen, Gert ([1987-1999])
Eßmann, Claus ([1997-1999])
Holberg, Hans Jürgen ([1995-2004])
Hungar, Hardi ([1991-])
Josko, Bernhard
Schlö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
19
49GBVUOB_ALMA21236796660003501
49GBVUOB_ALMA21236796660003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236796660003501
Artikel
Using a visual formalism for design verification in industrial environments
von
Rainer Schlör ; Bernhard Josko ; Dieter Werth
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Josko, Bernhard
Schlör, Rainer ([-2001])
Enthalten in:
Services and visualization Berlin [u.a.], 1998 S. 208 - 221
Sprache:
Englisch
>> Volltext
20
49GBVUOB_ALMA71236763880003501
49GBVUOB_ALMA71236763880003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71236763880003501
Artikel
A compositional real-time semantics of Statemate designs
von
Werner Damm ; Bernhard Josko ; Hardi Hungar ; Amir Pnueli
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Josko, Bernhard
Hungar, Hardi ([1991-])
Damm, Werner
Enthalten in:
Compositionality Berlin [u.a.], 1998 S. 186 - 238
Sprache:
Englisch
>> Volltext
Seite 2 von 3
Seite 2 von 3
