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 (Universität Oldenburg) = '
Damm, Werner ((DE-588)141393858)
'
Treffer 31-40 von 104
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 4 von 11
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:
Backbone-Netz (1)
Bordnetz (1)
CAN-Bus (1)
Computer architecture (1)
Computerarchitektur (1)
Echtzeitsystem (2)
Eingebettetes System (1)
Entwurf (1)
Ethernet (1)
Fahrerassistenzsystem (1)
Fault-tolerant computing (1)
Fehlertoleranz (1)
Formale Methode (1)
Kraftfahrzeug (1)
Kraftfahrzeugelektronik (1)
Microprogramming (1)
Mikroprogrammierung (1)
Model Checking (1)
Nachrichtenverkehr (1)
Netzwerktopologie (1)
Programmierparadigma (1)
Programmverifikation (1)
Real-time data processing (1)
Sensortechnik (1)
Softwareentwicklung (1)
Testbed (1)
Verifikation (1)
nach Person:
Althaus, Ernst (2)
Austel, Benedikt (2)
Bauer, Jörg (1)
Beber, Björn (2)
Bengler, Klaus (3)
Benveniste, Albert (2)
Biebl, Bianca (3)
Bienmüller, Tom (5)
Bohn, Jürgen (4)
Brill, Matthias (2)
Brinkmann, Henning (1)
Brockmeyer, Udo (3)
Brunel, Jean-Yves (1)
Buschermöhle, Ralf (1)
Böde, Eckard (7)
Büker, Matthias (6)
Damm, Werner (104)
Disch, Stefan (4)
Döhmen, Gert (3)
Eckrich, Michael (2)
Ehmen, G (1)
Ehmen, Günter (5)
Finkbeiner, Bernd (4)
Forrest, Laine (1)
Forschungsvereinigung Automobiltechnik (1)
Fränzle, Martin (17)
Galbas, Roland (1)
Gerwinn, Sebastian (2)
Grumberg, Orna (1)
Grüttner, Kim (3)
Hagemann, Willem (9)
Hasseln, Hermann von (1)
Held, Moritz (3)
Hess, David (3)
Higgen, Uwe (1)
Holberg, Hans Jürgen (3)
Hungar, Hardi (11)
Ihlemann, Carsten (2)
Ihme, Klas (3)
Ittershagen, Philipp (2)
Josko, Bernhard (13)
Kacianka, Severin (3)
Kerscher, Alyssa J (3)
Klose, Jochen (7)
Koopmann, Björn (3)
Koutsoukos, Xenofon (1)
Kramer, Birte (2)
Kröger, Paul (3)
Köster, Frank (3)
Laine, Forrest (1)
Lehnhoff, Sebastian (3)
Luedtke, Andreas (2)
Lüdtke, Andreas (3)
Metzner, Alexander (5)
Mikschl, Alfred (3)
Möhlmann, Eike (6)
Neurohr, Christian (2)
Niehaus, Jürgen (6)
Oehlerking, Jens (2)
Olderog, Ernst-Rüdiger (6)
Pang, Jun (3)
Passerone, Roberto (2)
Peikenkamp, Thomas (6)
Pigorsch, Florian (2)
Pnueli, Amir (5)
Poppen, Frank (3)
Pretschner, Alexander (3)
Rakow, Astrid (16)
Rakow, Jan (1)
Rakow, Jan-Hendrik (1)
Reinkemeier, Philipp (3)
Rieger, Jochem (5)
Ruah, S (1)
Sangiovanni-Vincentelli, Alberto (2)
Schlör, Rainer (2)
Scholl, Christoph (4)
Schulte, Christoph (2)
Schwammberger, Maike (3)
Schweda, Mark (3)
Segelken, Marc (3)
Shmonin, Gennady (1)
Siegel, Michael (2)
Sofronie-Stokkermans, Viorica (3)
Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme (1)
Sonntag, Daniel (3)
Stierand, Ingo (8)
Sztipanovits, Janos (4)
Thaden, Eike Martin (1)
Toben, Tobe (2)
Trende, Alexander (2)
Unni, Anirudh (4)
Vander Maelen, Sebastian (1)
Veith, Eric M. S. P (3)
Votinceva, Anželika (3)
Waldmann, Uwe (4)
Westphal, Bernd (8)
Wilhelm, Reinhard (2)
Wirtz, Boris (6)
Wittich, Gunnar (2)
Wittke, Hartmut (8)
nach Medientyp:
Artikel (88)
E-Books (13)
Bücher (4)
Datenträger (1)
Reihe (1)
31
49GBVUOB_ALMA51219723500003501
49GBVUOB_ALMA51219723500003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51219723500003501
Artikel
Contracts for schedulability analysis
von
Philipp Reinkemeier ; Albert Benveniste ; Werner Damm ; Ingo Stierand
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Stierand, Ingo ([1998-])
Reinkemeier, Philipp ([2007-])
Umfang:
Diagramme.
Enthalten in:
Formal Modeling and Analysis of Timed Systems 1st ed. 2015 Cham [u.a.] : Springer, 2015 (2015), Seite 270-287 Online-Ressource (X, 321 p. 90 illus, online resource)
Sprache:
Englisch
>> Volltext
32
49GBVUOB_ALMA71183922880003501
49GBVUOB_ALMA71183922880003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71183922880003501
Artikel
SafeTRANS : Safety, Testen und Entwicklungsprozesse hochautomatisierter Systeme
von
Eckard Böde ; Heinrich Daembkes ; Werner Damm ; Franziska Griebel ; Frank Köster ; Karsten Lemmer ; Andreas Lüdtke ; Jürgen Niehaus ; Thomas Peikenkamp
2015
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Böde, Eckard ([2001-])
Umfang:
Ill..
Weitere Angaben:
Literaturangaben
Enthalten in:
Fahrerassistenz und aktive Sicherheit Renningen : Expert-Verl., 2015 (2015), Seite 184-201 230 S.
Sprache:
Deutsch
33
49GBVUOB_ALMA51218466230003501
49GBVUOB_ALMA51218466230003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51218466230003501
Artikel
Automatic compositional synthesis of distributed systems
von
Werner Damm ; Bernd Finkbeiner
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Enthalten in:
Jones, Cliff B., 1944 - FM 2014: Formal Methods Cham [u.a.] : Springer, 2014 (2014), Seite 179-193 Online-Ressource (XVIII, 750 p. 185 illus, online resource)
Sprache:
Englisch
>> Volltext
34
49GBVUOB_ALMA71183736100003501
49GBVUOB_ALMA71183736100003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71183736100003501
Artikel
Component based design of hybrid systems : a case study on concurrency and coupling
von
Werner Damm ; Eike Möhlmann ; Astrid Rakow
2014
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Enthalten in:
HSCC (17 : 2014 : Berlin) HSCC'14 New York, NY : ACM, 2014 (2014), Seite 145-150 XII, 316 S.
Sprache:
Englisch
35
49GBVUOB_ALMA51217168360003501
49GBVUOB_ALMA51217168360003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51217168360003501
Artikel
Can we build it : formal synthesis of control strategies for cooperative driver assistance systems
von
Werner Damm ; Hans-Jörg Peter ; Jan Rakow ; Bernd Westphal
2013
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Westphal, Bernd
Damm, Werner
Enthalten in:
Mathematical structures in computer science Cambridge : Cambridge Univ. Press, 1991 23(2013), 4, Seite 676-725 Online-Ressource
Sprache:
Englisch
>> Volltext
36
49GBVUOB_ALMA51217191080003501
49GBVUOB_ALMA51217191080003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51217191080003501
Artikel
From specification models to distributed embedded applications : a holistic user-guided approach
von
Ingo Stierand ; Günther Ehmen ; Werner Damm ; Detlef Janssen ; Matthias Büker ; Stefan Henkler ; Eike Thaden
2013
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Stierand, Ingo ([1998-])
Enthalten in:
SAE International SAE International journal of passenger cars Warrendale, Pa. : Soc., 2009 6(2013), 1, Seite 194-212 Online-Ressource
Sprache:
Englisch
>> Volltext
37
49GBVUOB_ALMA71183537450003501
49GBVUOB_ALMA71183537450003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71183537450003501
Artikel
Taming Dr. Frankenstein : contract-based design for cyber-physical systems
von
Alberto Sangiovanni-Vincentelli ; Werner Damm ; Roberto Passerone
2012
Details anzeigen
Enthalten in:
European journal of control Paris : Hermes, 1995 18(2012), 3, Seite 217-238
Sprache:
Englisch
38
49GBVUOB_ALMA71176932740003501
49GBVUOB_ALMA71176932740003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71176932740003501
Artikel
Does it pay to extend the perimeter of a world model?
von
Werner Damm ; Bernd Finkbeiner
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/h6g248313666r811/fulltext.pdf
Enthalten in:
FM 2011: formal methods Berlin : Springer, 2011 (2011), Seite 12-26 XIV, 459 S.
Sprache:
Englisch
39
49GBVUOB_ALMA71155764880003501
49GBVUOB_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
40
49GBVUOB_ALMA71152624090003501
49GBVUOB_ALMA71152624090003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71152624090003501
Artikel
An automated semantic-based approach for creating tasks from Matlab Simulink models
von
Matthias Büker ; Werner Damm ; Günter Ehmen
2011
Details anzeigen
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/w4wg138071946321/fulltext.pdf
Enthalten in:
Formal methods for industrial critical systems Berlin : Springer, 2011 (2011), Seite 149-164 X, 259 S.
Sprache:
Englisch
Seite 4 von 11