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 51-60 von 104
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 6 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)
51
49GBVUOB_ALMA21236802180003501
49GBVUOB_ALMA21236802180003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236802180003501
Artikel
SFB/TR 14 AVACS : automatic verification and analysis of complex systems
von
Bernd Becker ; Werner Damm ; Martin Fränzle ; Ernst-Rüdiger Olderog ; Andreas Podelski ; Reinhard Wilhelm
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Fränzle, Martin ([1998-])
Olderog, Ernst-Rüdiger
Enthalten in:
Information technology 49 (2007), 2, S. 118 - 126
Sprache:
Englisch
52
49GBVUOB_ALMA21237032500003501
49GBVUOB_ALMA21237032500003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237032500003501
Artikel
On the expressive power of live sequence charts
von
Werner Damm ; Tobe Toben ; Bernd Westphal
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Toben, Tobe ([2004-])
Westphal, Bernd
Damm, Werner
Enthalten in:
Program analysis and compilation, theory and practice Berlin, 2007 S. 225 - 246
Sprache:
Englisch
53
49GBVUOB_ALMA21236731700003501
49GBVUOB_ALMA21236731700003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236731700003501
Artikel
Exact state set representations in the verification of linear hybrid systems with large discrete state space
von
Werner Damm ; Stefan Disch ; Hardi Hungar ; Swen Jacobs ; Jun Pang ; Florian Pigorsch ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hungar, Hardi ([1991-])
Pang, Jun
Wirtz, Boris
Damm, Werner
Enthalten in:
Automated technology for verification and analysis Berlin, 2007 S. 425 - 440
Sprache:
Englisch
>> Volltext
54
49GBVUOB_ALMA21236748010003501
49GBVUOB_ALMA21236748010003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236748010003501
Artikel
Verification and synthesis of OCL constraints via toplogy analysis
von
Jörg Bauer ; Werner Damm ; Tobe Toben ; Bernd Westphal
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Toben, Tobe ([2004-])
Westphal, Bernd
Enthalten in:
Applications of graph transformations with industrial relevance Kasssel, 2007 S. 357 - 372
Sprache:
Englisch
>> Volltext
55
49GBVUOB_ALMA21236734430003501
49GBVUOB_ALMA21236734430003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236734430003501
Artikel
Automating verification of cooperation, control, and design in traffic applications
von
Werner Damm ; Alfred Mikschl ; Jens Oehlerking ; Ernst-Rüdiger Olderog ; Jun Pang ; André Platzer ; Marc Segelken ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Mikschl, Alfred
Oehlerking, Jens
Olderog, Ernst-Rüdiger
Pang, Jun
Platzer, André ([2004-2009])
Segelken, Marc ([1999-2008])
Wirtz, Boris
Damm, Werner
Enthalten in:
Formal methods and hybrid real-time systems Berlin [u.a.], 2007 S. 115 - 169
Sprache:
Englisch
56
49GBVUOB_ALMA21236837380003501
49GBVUOB_ALMA21236837380003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236837380003501
Artikel
Component based design of embedded automotive systems
von
Werner Damm
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Enthalten in:
Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel Braunschweig, 2006
Sprache:
Englisch
57
49GBVUOB_ALMA21236852960003501
49GBVUOB_ALMA21236852960003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236852960003501
Artikel
Mapping task-graphs on distributed ECU networks : efficient algorithms for feasibility and optimality
von
Friedrich Eisenbrand ; Gennady Shmonin ; Reinhard Wilhelm ; Sebastian Winkel ; Werner Damm ; Alexander Metzner
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Metzner, Alexander ([1995-])
Enthalten in:
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications Washington, 2006 S. 87 - 90
Sprache:
Englisch
>> Volltext
58
49GBVUOB_ALMA21236846280003501
49GBVUOB_ALMA21236846280003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236846280003501
Artikel
Automatic verification of hybrid systems with large discrete state space
von
Werner Damm ; Stefan Disch ; Hardi Hungar ; Jun Pang ; Florian Pigorsch ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hungar, Hardi ([1991-])
Pang, Jun
Wirtz, Boris
Damm, Werner
Enthalten in:
Automated technology for verification and analysis Berlin [u.a.], 2006 S. 276 - 291
Sprache:
Englisch
>> Volltext
59
49GBVUOB_ALMA21236879600003501
49GBVUOB_ALMA21236879600003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236879600003501
Artikel
Verification of cooperating traffic agents
von
Werner Damm ; Hardi Hungar ; Ernst-Rüdiger Olderog
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hungar, Hardi ([1991-])
Olderog, Ernst-Rüdiger
Damm, Werner
Enthalten in:
International journal of control 79 (2006), S. 395 - 421
Sprache:
Englisch
>> Volltext
60
49GBVUOB_ALMA21236848200003501
49GBVUOB_ALMA21236848200003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236848200003501
Artikel
Adding value to automotive models
von
Eckard Böde ; Werner Damm ; Jarl Høyem ; Bernhard Josko ; Jürgen Niehaus ; Marc Segelken
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Damm, Werner
Høyem, Jarl ([-2006])
Josko, Bernhard
Niehaus, Jürgen ([1994-])
Segelken, Marc ([1999-2008])
Böde, Eckard ([2001-])
Enthalten in:
Automotive software - connected services in mobile networks Berlin [u.a.], 2006 S. 86 - 102
Sprache:
Englisch
>> Volltext
Seite 6 von 11