Publications in publications/Basil_Becker.bib
30 results
2014
Basil Becker, "Architectural modelling and verification of open service-oriented systems of systems", Ph.D. dissertation, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2014. [bibtex] [url]
2013
Gabriel Tamura, Norha M. Villegas, Hausi Müller, JoãoPedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovskii, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong, "Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems", in Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), pp. 108-132, Springer, January 2013. [bibtex] [url]
Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl Goeschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Rick Schlichting, Dennis B. Smith, Joao P. Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke, "Software Engineering for Self-Adaptive Systems: A second Research Roadmap", in Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems II, vol. 7475 of Lecture Notes in Computer Science (LNCS), pp. 1-32, Springer, January 2013. [bibtex] [url]
Basil Becker and Holger Giese, "Modeling and Verifying Dynamic Evolving Service-Oriented Architectures", Technical Report 75, Hasso Plattner Institute at the University of Potsdam, 2013. [bibtex]
2012
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]
Stephan Hildebrandt, Leen Lambers, Basil Becker, Holger Giese, "Integration of Triple Graph Grammars and Constraints", in Christian Krause, Bernhard Westfechtel, Eds., Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012), vol. 52, pp. 1-12, EC-EASST, 2012. [bibtex] [url]
Basil Becker and Holger Giese, "Cyber-Physical Systems with Dynamic Structure: Towards Modeling and Verification of Inductive Invariants", Technical Report 64, Hasso Plattner Institute at the University of Potsdam, Germany, 2012. [bibtex]
2011
Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl Goeschka, Alessandra Gorla, Vincenzo Grassi, Poala Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Wilhelm Schlichting, Bradley Schmerl, Dennis B. Smith, Joao P. Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke, "Software Engineering for Self-Adpaptive Systems: A second Research Roadmap", in Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw, Eds., Software Engineering for Self-Adaptive Systems, Dagstuhl Seminar Proceedings, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, June 2011, (draft version of May 20, 2011). [bibtex] [url]
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese, "Iterative Development of Consistency-Preserving Rule-Based Refactorings ", in Jordi Cabot, Eelco Visser, Eds., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707 of Lecture Notes in Computer Science, pp. 123-137, Springer / Heidelberg, 2011. [bibtex]
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese, "Iterative Development of Consistency-Preserving Rule-Based Refactorings", in Jordi Cabot, Eelco Visser, Eds., Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707 of Lecture Notes in Computer Science, pp. 123-137, Springer / Heidelberg, 2011. [bibtex] [url]
2010
Regina Hebig, Holger Giese and Basil Becker, "Making Control Loops Explicit When Architecting Self-Adaptive Systems", in SOAR '10: Proceedings of the second international workshop on Self-Organizing Architectures, pp. 21–28, Washington, DC, USA: ACM, June 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]
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]
Betty H. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle, "Software Engineering for Self-Adaptive Systems: A Research Roadmap", in Betty H. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Eds., Software Engineering for Self-Adaptive Systems, vol. 5525 of Lecture Notes in Computer Science (LNCS), pp. 1-26, Springer, 2009. [bibtex] [url]
Basil Becker, "Towards Safety Guarantees for Service-Oriented Systems", in ICSE Companion 2009, Companion of the 31th International Conference on Software Engineering, pp. 347 – 350, IEEE Computer Society, 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]
2008
Basil Becker, Holger Giese, Stephan Hildebrandt, Andreas Seibel, "Fujaba's Future in the MDA Jungle - Fully Integrating Fujaba and the Eclipse Modeling Framework?", in Proceedings of the 6th International Fujaba Days, 18-19 September 2008. [bibtex]
Basil Becker and Holger Giese, "On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles", in In Proc. of 11th International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC), pp. 203–210, IEEE Computer Society Press, 5-7 May 2008. [bibtex]
Betty H. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle, "08031 – Software Engineering for Self-Adaptive Systems: A Research Road Map", in Betty H. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Eds., Software Engineering for Self-Adaptive Systems, Dagstuhl Seminar Proceedings, Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2008. [bibtex]
Basil Becker and Holger Giese, "Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach", in Proc. 5th Intl. Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST), pp. 508 - 516, ACM, 2008. [bibtex]
Basil Becker and Holger Giese, "Incremental Verification of Inductive Invariants for the Run-Time Evolution of Self-Adaptive Software-Intensive Systems", in Proc. 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems (ARAMIS), pp. 33-40, IEEE Computer Society Press, 2008. [bibtex]
2007
Basil Becker, "Verifikation induktiver Invarianten in hybriden Graphtransformationssystemen", Master's thesis, University of Paderborn, 2007. [bibtex]
2006
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling, "Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation", in Proc. of the $28^th$ International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006. [bibtex]
Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling, "Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation", in Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, 2006. [bibtex]
2005
Basil Becker, Holger Giese and Daniela Schilling, "A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns", in Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, pp. 1-4, September 2005. [bibtex]
Basil Becker, "Automatische Überprüfung induktiver Invarianten für Graphtransformationssysteme", Bachelor's thesis, Institut für Informatik, Arbeitsgruppe Softwaretechnik, Universität Paderborn, 2005. [bibtex]
2004
Matthias Tichy, Basil Becker and Holger Giese, "Component Templates for Dependable Real-Time Systems", in Andy Schürr, Albert Zündorf, Eds., Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany, vol. tr-ri-04-253 of Technical Report, pp. 27-30, University of Paderborn, September 2004. [bibtex] [url]
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