Publications in publications/Stefan_Neumann.bib
24 results
2013
[24]Scalable Real-Time Compatibility for Embedded Components using Language-Progressive TIOA (, ), In 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), . (to be published) [bibtex]
[23]Modular Timing Analysis of Component-Based Real-Time Embedded Systems (), PhD thesis, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[22]Scalable Compatibility for Real-Time Embedded Components using Language-Progressive TIOA (, ), Technical report 65, Hasso-Plattner Institute, . [bibtex]
2012
[21]Integrated Software Development for Embedded Robotic Systems (, , , ), In Proceedings of the 3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR) (Itsuki Noda, Noriaki Ando, Davide Brugali, James Kuffner, eds.), Springer Berlin Heidelberg, volume 7628, . [bibtex] [pdf]
[20] Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars (, , , ), Technical report 57, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[19] Graph Transformations for MDE, Adaptation, and Models at Runtime (, , , , , , ), Chapter in Formal Methods for Model-Driven Engineering (Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio, eds.), Springer Berlin / Heidelberg, volume 7320, . [bibtex] [pdf]
[18]Automatic Transformation of Abstract AUTOSAR Architectures to Timed Automata (, , ), In Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACM, . [bibtex] [pdf]
[17]Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars (, , , ), Technical report 57, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
2011
[16]A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (, , , ), In 4th International Conference on Software Language Engineering (SLE 2011) , Braga, Portugal, . [bibtex] [pdf]
[15] From Abstract Component Descriptions to Timed I/O-Interfaces in AUTOSAR (, , ), In Proceeding of the Second Analytic Virtual Integration of Cyber-Physical Systems Workshop., . (http://www.contrib.andrew.cmu.edu/ schaki/avicps/AVICPS-2011-PROCEEDINGS.pdf) [bibtex] [pdf]
[14] Model-Based Integration (, , , ), In Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, . [bibtex] [pdf]
2010
[13]Toward Mega Models for Maintaining Timing Properties of Automotive Systems (, ), In In Proceedings of the 3rd International Workshop on Model-Based Architecting and Construction of Embedded Systems (ACES-MB 2010) at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, . [bibtex]
[12] Incremental Model Synchronization for Efficient Run-Time Monitoring (, , , , ), Chapter in Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers (Sudipto Ghosh, ed.), Springer-Verlag, volume 6002, . [bibtex] [pdf]
[11]Teaching Requirements Engineering with Virtual Stakeholders without Software Engineering Knowledge (, , , ), In Proc. of the 5th International Workshop on Requirements Engineering Education and Training (REET) (Joy Betty, Ljerka Beus-Dukic, eds.), IEEE Computer Society, . [bibtex] [pdf]
[10] Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance (, , ), In Software and Systems Modeling, volume 9, . [bibtex] [pdf]
[9]Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent (, , ), In Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, B. Westfechtel, eds.), Springer Berlin / Heidelberg, volume 5765, . [bibtex]
[8]Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent (, , ), In Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday (Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, B. Westfechtel, eds.), Springer Berlin / Heidelberg, volume 5765, . [bibtex] [pdf]
[7]Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration (, , , , ), Chapter in Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers (Sudipto Ghosh, ed.), Springer-Verlag, volume 6002, . [bibtex] [pdf]
2009
[6] Incremental Model Synchronization for Efficient Run-time Monitoring (, , , , ), In Proceedings of the 4th International Workshop on Models@run.time at the 12th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, USA (Nelly Bencomo, Gordon Blair, Robert France, Cedric Jeanneret, Freddy Munoz, eds.), CEUR-WS.org, volume 509, . ((best paper)) [bibtex] [pdf]
[5] Model-Driven Architectural Monitoring and Adaptation for Autonomic Systems (, , , , ), In Proceedings of the 6th IEEE/ACM International Conference on Autonomic Computing and Communications (ICAC 2009), Barcelona, Spain, ACM, . [bibtex] [pdf]
[4]Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration (, , , , ), In Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) (Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza, eds.), CEUR-WS.org, volume 507, . [bibtex] [pdf]
[3]Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization (, , ), In 5th Workshop on Model-Based Development of Embedded Systems (MBEES), . [bibtex] [pdf]
[2]Correct Dynamic Service-Oriented Architectures: Modeling and Compositional Verification with Dynamic Collaborations (, , ), Technical report 29, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
2007
[1]Modellierung und Verifikation zeitbehafteter Graphtransformationssysteme mittels GROOVE (), Master's thesis, University of Paderborn, . [bibtex] [pdf]
Powered by bibtexbrowser