Publications in publications/Stefan_Neumann.bib
24 results
2013
Stefan Neumann and Holger Giese, "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), 2013, to be published. [bibtex]
Stefan Neumann, "Modular Timing Analysis of Component-Based Real-Time Embedded Systems", Ph.D. dissertation, Hasso Plattner Institute at the University of Potsdam, 2013. [bibtex]
Stefan Neumann and Holger Giese, "Scalable Compatibility for Real-Time Embedded Components using Language-Progressive TIOA", Technical Report 65, Hasso-Plattner Institute, 2013. [bibtex]
2012
Sebastian Wätzoldt, Stefan Neumann, Falk Benke, Holger Giese, "Integrated Software Development for Embedded Robotic Systems", in Itsuki Noda, Noriaki Ando, Davide Brugali, James Kuffner, Eds., Proceedings of the 3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR), vol. 7628 of Lecture Notes in Computer Science, pp. 335-348, Springer Berlin Heidelberg, October 2012. [bibtex]
Holger Giese, Stephan Hildebrandt, Stefan Neumann, Sebastian Wätzoldt, "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, September 2012. [bibtex] [url]
Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt, Stefan Neumann, Thomas Vogel, Sebastian Wätzoldt, "Graph Transformations for MDE, Adaptation, and Models at Runtime", in Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio, Eds., Formal Methods for Model-Driven Engineering, vol. 7320 of Lecture Notes in Computer Science (LNCS), pp. 137-191, Springer Berlin / Heidelberg, June 2012. [bibtex] [url]
Stefan Neumann, Norman Kluge and Sebastian Wätzoldt, "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, ACES-MB \'12, pp. 55–60, New York, NY, USA: ACM, 2012. [bibtex]
Holger Giese, Stephan Hildebrandt, Stefan Neumann, Watzoldt, "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, 2012. [bibtex]
2011
Andreas Seibel, Regina Hebig, Stefan Neumann, Holger Giese, "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, July 2011. [bibtex]
Stefan Neumann, Sebastian Wätzoldt and Holger Giese, "From Abstract Component Descriptions to Timed I/O-Interfaces in AUTOSAR", in Proceeding of the Second Analytic Virtual Integration of Cyber-Physical Systems Workshop., pp. 25 - 32, 29-29 November 2011, http://www.contrib.andrew.cmu.edu/ schaki/avicps/AVICPS-2011-PROCEEDINGS.pdf. [bibtex] [url]
Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz, "Model-Based Integration", in Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, Eds., Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, vol. 6100 of Lecture Notes in Computer Science, pp. 17-54, Springer, 2011. [bibtex] [url]
2010
Stefan Neumann and Andreas Seibel, "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, October 2010. [bibtex]
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker, "Incremental Model Synchronization for Efficient Run-Time Monitoring", in Sudipto Ghosh, Ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pp. 124-139, Springer-Verlag, April 2010. [bibtex] [url]
Gregor Gabrysiak, Holger Giese, Andreas Seibel, Stefan Neumann, "Teaching Requirements Engineering with Virtual Stakeholders without Software Engineering Knowledge", in Joy Betty, Ljerka Beus-Dukic, Eds., Proc. of the 5th International Workshop on Requirements Engineering Education and Training (REET), pp. 36 – 45, Sydney, Australia: IEEE Computer Society, 24-24 September 2010. [bibtex]
Andreas Seibel, Stefan Neumann and Holger Giese, "Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance", Software and Systems Modeling, vol. 9, no. 4, pp. 493-528, 2010. [bibtex] [url]
Holger Giese, Stefan Neumann and Stephan Hildebrandt, "Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent", in Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, B. Westfechtel, Eds., Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, vol. 5765 of Lecture Notes in Computer Science, pp. 555-579, Springer Berlin / Heidelberg, 2010. [bibtex]
Holger Giese, Stefan Neumann and Stephan Hildebrandt, "Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent", in Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, B. Westfechtel, Eds., Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, vol. 5765 of Lecture Notes in Computer Science, pp. 555-579, Springer Berlin / Heidelberg, 2010. [bibtex]
Basil Becker, Stefan Neumann, Martin Schenk, Arian Treffer, Holger Giese, "Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration", in Sudipto Ghosh, Ed., Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, vol. 6002 of Lecture Notes in Computer Science (LNCS), pp. 83-97, Springer-Verlag, 2010. [bibtex]
2009
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker, "Incremental Model Synchronization for Efficient Run-time Monitoring", in Nelly Bencomo, Gordon Blair, Robert France, Cedric Jeanneret, Freddy Munoz, Eds., 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, vol. 509 of CEUR Workshop Proceedings, pp. 1-10, CEUR-WS.org, October 2009, (best paper). [bibtex] [url]
Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese, Basil Becker, "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, pp. 67-68, ACM, June 2009. [bibtex] [url]
Basil Becker, Holger Giese, Stefan Neumann, Martin Schenck, Arian Treffer, "Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration", in Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza, Eds., Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), vol. 507 of CEUR Workshop Proceedings, pp. 123-137, CEUR-WS.org, 6-6 October 2009. [bibtex]
Holger Giese, Stephan Hildebrandt and Stefan Neumann, "Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization", in 5th Workshop on Model-Based Development of Embedded Systems (MBEES), 2009. [bibtex]
Basil Becker, Holger Giese and Stefan Neumann, "Correct Dynamic Service-Oriented Architectures: Modeling and Compositional Verification with Dynamic Collaborations", Technical Report 29, Hasso Plattner Institute at the University of Potsdam, 2009. [bibtex]
2007
Stefan Neumann, "Modellierung und Verifikation zeitbehafteter Graphtransformationssysteme mittels GROOVE", Master's thesis, University of Paderborn, 2007. [bibtex]
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser