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) = '
Stierand, Ingo ((DE-588)124008240)
'
Treffer 21-30 von 37
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 3 von 4
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:
Fahrerassistenzsystem (1)
Programmierparadigma (1)
nach Person:
Baumgart, Andreas (1)
Benveniste, Albert (1)
Bhaduri, Purandar (3)
Böde (1)
Buchholz, Jörg (1)
Bunger, Timo (1)
Büker (1)
Böde, Eckard (2)
Büker, Matthias (6)
Clark, Brian (1)
Damm, W (1)
Damm, Werner (8)
Dierks, Henning (2)
Ehmen, G (1)
Ehmen, Günter (6)
Ehmen, Günther (1)
Faber, Johannes (1)
Forschungsvereinigung Automobiltechnik (1)
Fränzle (1)
Fränzle, Martin (6)
Fröschle, Sibylle B (1)
Gerwinn, S (1)
Gerwinn, Sebastian (1)
Gezgin, Stefan (1)
Gezgin, Tayfun (7)
Goodfellow, T (1)
Goodfellow, Thomas (1)
Grüttner (1)
Grüttner, Kim (5)
Hartmann, Philipp Andreas (1)
Hasselbring, Wilhelm (1)
Henkler, Stefan (7)
Herde, Christian (2)
Hitzschke, Andre (1)
Hungar, Hardi (1)
Ittershagen, Philipp (2)
Janssen, Detlef (1)
Josko, B (1)
Josko, Bernhard (3)
Koopmann, B (1)
Koopmann, Björn (6)
Kröger, Janis (2)
Lipskoch, Henrik (1)
Malipatlolla, Sunil (1)
Malipatlolla, Sunil Dath Kumar (2)
Marwede, Benjamin (1)
Matevska-Meyer, Jasminka (1)
Metzner, Alexander (5)
Müller, Heiko (1)
Olker, Achim (1)
Oppermann, Christian (1)
Peikenkamp, T (1)
Peikenkamp, Thomas (2)
Poppen, F (1)
Poppen, Frank (4)
Rehkop, Philip (1)
Reinkemeier, P (1)
Reinkemeier, Philipp (8)
Rettberg, Achim (5)
Rohr, Matthias (1)
Rudner, Michael (1)
Siegel, M (1)
Siegel, Michael (2)
Sonnenschein, Michael (2)
Speckels, Bert (1)
Stiege, Günther (1)
Stierand, I (1)
Stierand, Ingo (37)
Stühring, Alexander (1)
Tabassam, Nadra (1)
Thaden, Eike (1)
Thaden, Eike Martin (4)
Uflacker, Matthias (1)
Vogel, Ute (1)
Weber, Raphael (1)
Westphal, Bernd (2)
nach Medientyp:
Artikel (29)
E-Books (7)
Bücher (1)
21
49GBVUOB_ALMA71151032390003501
49GBVUOB_ALMA71151032390003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71151032390003501
Artikel
Cost-minimal pre-allocation of software tasks under real-time constraints
von
Brian Clark ; Ingo Stierand ; Eike Martin Thaden
2011
Details anzeigen
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://dl.acm.org/ft_gateway.cfm?id=2103395&ftid=1090445&dwn=1&CFID=83891651&CFTOKEN=26002082
Enthalten in:
Proceedings of the 2011 ACM Symposium on Research in Applied Computation (RACS '11) New York, NY : ACM, 2011 (2011), Seite 77-83 335 S.
Sprache:
Englisch
22
49GBVUOB_ALMA71158202150003501
49GBVUOB_ALMA71158202150003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71158202150003501
E-Book
AVACS technical report: The power of Uppaal : [a language-based characterisation of verification complexity]
2011
Details anzeigen
Verlag:
Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
Online-Ressource (PDF-Datei: 12 S.).
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 72
Sprache:
Englisch
>> Volltext
23
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
24
49GBVUOB_ALMA71160986610003501
49GBVUOB_ALMA71160986610003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71160986610003501
E-Book
AVACS technical report: Observer-based model-checking of real-time live sequence charts for Uppaal
von
Bernd Westphal ; Ingo Stierand ; Tayfun Gezgin
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Westphal, Bernd
Verlag:
Oldenburg u.a.: Sonderforschungsbereich/Transregio 14 AVACS Automatic Verification and Analysis of Complex Systems
Umfang:
Online-Ressource (PDF-Datei: 13 S.).
Übergeordnetes Werk:
AVACS technical report
Verknüpfte Titel:
AVACS technical report ; 71
Sprache:
Englisch
>> Volltext
25
49GBVUOB_ALMA71156258950003501
49GBVUOB_ALMA71156258950003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71156258950003501
Artikel
A pattern-based requirement specification language : mapping automotive specific timing requirements
von
Philipp Reinkemeier ; Ingo Stierand ; Philip Rehkop
2011
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Reinkemeier, Philipp ([2007-])
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://subs.emis.de/LNI/Proceedings/Proceedings184/99.pdf
Enthalten in:
Software Engineering 2011 - Workshopband Bonn : Ges. für Informatik, 2011 (2011), Seite 99-108 314 S.
Sprache:
Englisch
26
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
27
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
28
49GBVUOB_ALMA71187584210003501
49GBVUOB_ALMA71187584210003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71187584210003501
Artikel
A proposal for real-time interfaces in SPEEDS
von
Purandar Bhaduri ; Ingo Stierand
2010
Details anzeigen
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://dl.acm.org/ft_gateway.cfm?id=1871031&type=pdf&CFID=273089523&CFTOKEN=10445257
Enthalten in:
2010 Design, Automation & Test in Europe Conference & Exhibition ; 1 Piscataway, NJ : IEEE, 2010 (2010), Seite 441-446 LII, 896 S.
Sprache:
Englisch
29
49GBVUOB_ALMA71181418880003501
49GBVUOB_ALMA71181418880003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71181418880003501
Artikel
A model-based design methodology with contracts to enhance the development process of safety-critical systems
von
Andreas Baumgart ; Philipp Reinkemeier ; Achim Rettberg
2010
Details anzeigen
Weitere Angaben:
Auch als elektronisches Dokument verfügbar: http://dx.doi.org/10.1007/978-3-642-16256-5_8
Enthalten in:
Software technologies for embedded and ubiquitous systems Berlin : Springer, 2010 (2010), Seite 59-70 XI, 251 S.
Sprache:
Englisch
30
49GBVUOB_ALMA71180576180003501
49GBVUOB_ALMA71180576180003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA71180576180003501
Artikel
Exploiting gaps in fixed-priority preemptive schedules for task insertion
von
Eike Martin Thaden ; Henrik Lipskoch ; Alexander Metzner
2010
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Thaden, Eike Martin
Enthalten in:
2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010) Piscataway, NJ : IEEE, 2010 (2010), Seite 212-217 XII, 394 S.
Sprache:
Englisch
Seite 3 von 4