Fachgruppe Informatik

Letzte Einträge:

2021-02-25 13:57	Methoden für die Entwicklung kollaborativer eingebetteter Systeme in automatisierten Fahrzeugen Meyer, M.-A. (Corresponding author) ; Granrath, C. ; Wachtmeister, L. ; Jäckel, N. ATZ-Elektronik 15(12), Seiten/Artikel-Nr.:60-65 DOI: 10.1007/s35658-020-0290-3 Journal Article 2020
2021-02-25 10:50	Process Interaction Diagramsare more than Process Chains or Transport Networks Nagl, M. URL: http://publications.rwth-aachen.de/record/814376/files/814376.pdf Book/Report 2021
2021-02-25 10:45	Embedded Systems: Simple Rules to Improve Adaptability Nagl, M. URL: http://publications.rwth-aachen.de/record/814372/files/814372.pdf Book/Report 2021
2021-02-25 10:39	Sequences of Software Architectures Nagl, M. URL: http://publications.rwth-aachen.de/record/814370/files/814370.pdf Book/Report 2021
2021-02-25 10:32	An Integrative Approach for Software Architectures Nagl, M. URL: http://publications.rwth-aachen.de/record/814368/files/814368.pdf Book/Report 2021
2021-02-23 12:52	Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro Hüls, J. (Corresponding author) ; Schupp, S. (Corresponding author) ; Remke, A. (Corresponding author) ; Ábrahám, E. (Corresponding author) Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy / general co-chairs: Andrea Marin, University of Venice - Ca', Foscari, Italy, Benny Van Houdt, University of Antwerp, Belgium ; technical programme committe chairs: Giuliano Casale, Imperial College London, United Kingdom, Dorina Petriu, Carleton University, Canada, Sabina Rossi, University of Venice - Ca', Foscari, Italy, Seiten/Artikel-Nr: 178–185 DOI: 10.1145/3150928.3150938 Contribution to a book/Contribution to a conference proceedings 2017
2021-02-23 12:51	ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics Bu, L. (Corresponding author) ; Ray, R. (Corresponding author) ; Schupp, S. (Corresponding author) ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse and Matthias Althoff, Seiten/Artikel-Nr: 120-128 DOI: 10.29007/g965 Contribution to a book/Contribution to a conference proceedings 2019
2021-02-23 12:47	ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Althoff, M. (Corresponding author) ; Bak, S. (Corresponding author) ; Forets, M. (Corresponding author) ; Frehse, G. (Corresponding author) ; ; et al ARCH19 : 6th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse and Matthias Althoff, Seiten/Artikel-Nr: 14-40 DOI: 10.29007/bj1w Contribution to a book/Contribution to a conference proceedings 2019
2021-02-23 12:13	ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics Althoff, M. (Corresponding author) ; Bak, S. (Corresponding author) ; Chen, X. (Corresponding author) ; Fan, C. (Corresponding author) ; ; et al ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems / editors: Goran Frehse, Seiten/Artikel-Nr: 23-52 DOI: 10.29007/73mb Contribution to a book/Contribution to a conference proceedings 2018
2021-02-22 08:57	Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints Hofmann, T. ; Lakemeyer, G. DOI: 10.18154/RWTH-2021-02072 Preprint 2021

RWTH

RWTH Aachen - Startseite

Universitätsbibliothek

Kontakt

RWTH Publications

Allgemeines