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 41-50 von 104
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 5 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)
41
49GBVUOB_ALMA71158547240003501
49GBVUOB_ALMA71158547240003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71158547240003501
E-Book
AVACS technical report: Can we build it : formal synthesis of control strategies for cooperative driver assistance system
von
Werner Damm ; Jan-Hendrik Rakow ; Bernd Westphal
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Verlag:
Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
Online-Ressource (PDF-Datei: 37 S.).
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 73
Sprache:
Englisch
>> Volltext
42
49GBVUOB_ALMA71174060380003501
49GBVUOB_ALMA71174060380003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71174060380003501
Artikel
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
von
Werner Damm ; Carsten Ihlemann ; Viorica Sofronie-Stokkermans
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://dl.acm.org/ft_gateway.cfm?id=1967714&type=pdf&CFID=83891651&CFTOKEN=26002082
Enthalten in:
Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control New York, NY : ACM, 2011 (2011), Seite 73-82 X, 319 S.
Sprache:
Englisch
43
49GBVUOB_ALMA71148923880003501
49GBVUOB_ALMA71148923880003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71148923880003501
Artikel
Using contract-based component specifications for virtual integration testing and architecture design
von
Werner Damm ; Hardi Hungar ; Bernhard Josko
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Enthalten in:
2011 Design, Automation & Test in Europe Conference & Exhibition (DATE 2011) ; 2 Piscataway, NJ : IEEE, 2011 (2011), Seite 1023-1028 S. 848 - 1680
Sprache:
Englisch
44
49GBVUOB_ALMA71146818420003501
49GBVUOB_ALMA71146818420003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71146818420003501
E-Book
AVACS technical report: PTIME parametric verification of safety properties for reasonable linear hybrid automata
von
Werner Damm ; Carsten Ihlemann ; Viorica Sofronie-Stokkermans
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Verlag:
Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
Online-Ressource (PDF-Datei: 31 S.).
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 70
Sprache:
Englisch
>> Volltext
45
49GBVUOB_ALMA51214042510003501
49GBVUOB_ALMA51214042510003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51214042510003501
E-Book
AVACS technical report: Automating the design flow for distributed embedded automotive applications : keeping your time promises, and optimizing costs, too
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Ehmen, Günter
Metzner, Alexander ([1995-])
Stierand, Ingo ([1998-])
Thaden, Eike Martin
Verlag:
Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
Online-Ressource (PDF-Datei: 38 S.).
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 69
Sprache:
Englisch
>> Volltext
46
49GBVUOB_ALMA71154338740003501
49GBVUOB_ALMA71154338740003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71154338740003501
Artikel
"Dialog muss schnellstens beginnen"
von
Werner Damm
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.presse.uni-oldenburg.de/download/einblicke/52/damm.pdf
Enthalten in:
Einblicke Oldenburg : Präsident der Univ. Oldenburg, 1985 26(2010), 52, Seite 16-19
Sprache:
ger;eng
47
49GBVUOB_ALMA21152408350003501
49GBVUOB_ALMA21152408350003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21152408350003501
Artikel
Nationale roadmap embedded systems
von
Werner Damm
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/r5ugh76n8026t701/fulltext.pdf
Enthalten in:
Cyber-Physical Systems Berlin : Springer, 2010 (2010), Seite 67-137 141 S.
Sprache:
Englisch
48
49GBVUOB_ALMA21155324100003501
49GBVUOB_ALMA21155324100003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21155324100003501
Artikel
Towards component based design of hybrid systems : safety and stability
von
Werner Damm ; Henning Dierks ; Jens Oehlerking ; Amir Pnueli
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Dierks, Henning
Oehlerking, Jens
Damm, Werner
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://www.springerlink.com/content/d6uh344586k27t76/fulltext.pdf
Enthalten in:
Time for verification Berlin : Springer, 2010 (2010), Seite 96-143 X, 399 S.
Sprache:
Englisch
49
49GBVUOB_ALMA21181753850003501
49GBVUOB_ALMA21181753850003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21181753850003501
Datenträger
DeSCAS - formale Ontologien zur Verwebung von interdisziplinären Entwicklungsprozessen : ein Prozessmodell für die Entwicklung sicherheitskritischer Fahrerassistenzsysteme im Automobilbereich
von
Jan Gačnik ; Henning Jost ; Frank Köster ; J. Rataj ; K. Lemmer ; Werner Damm ; Martin Fränzle ; E. Schnieder
2009
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Jost, Henning ([2006-])
Köster, Frank ([2016-])
Damm, Werner
Fränzle, Martin ([1998-])
Umfang:
12.
Enthalten in:
Automation 2009 Düsseldorf : VDI-Verl., 2009 2009, insges. 12 S. 1 CD-ROM
Sprache:
Deutsch
50
49GBVUOB_ALMA21236877190003501
49GBVUOB_ALMA21236877190003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236877190003501
Artikel
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
von
Werner Damm ; Guilherme Pinto ; Stefan Ratschan
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Pinto, Guilherme ([2005-2007])
Damm, Werner
Enthalten in:
International journal of foundations of computer science 18 (2007), 1, S. 63 - 86
Sprache:
Englisch
>> Volltext
Seite 5 von 11