Publications in publications/Publications.bib
453 results
2021
[453] On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems (, , , ), In Graph Transformation - 14th International Conference, ICGT 2021 Held as Part of STAF 2021, Virtual Event, June 24-25, 2021, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12741, . [bibtex] [pdf]
[452] Improving Adaptive Monitoring with Incremental Runtime Model Queries (, , ), In 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), IEEE Computer Society, . [bibtex] [pdf] [doi]
2020
[451]Learning to Learn in Collective Adaptive Systems: Mining Design Patterns for Data-driven Reasoning (, , , , , , ), In 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), . [bibtex]
[450] Improving Scalability and Reward of Utility-Driven Self-Healing for Large Dynamic Architectures (, , ), In ACM Trans. Auton. Adapt. Syst., Association for Computing Machinery, volume 14, . [bibtex] [pdf]
[449] Evaluation of Self-Healing Systems: An Analysis of the State-of-the-Art and Required Improvements (, ), In Computers, volume 9, . [bibtex] [pdf]
[448] A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies (, , , , ), In Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, . [bibtex] [pdf]
[447] From Classic to Agile: Experiences from More than a Decade of Project-Based Modeling Education (, , ), In Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Association for Computing Machinery, . [bibtex] [pdf]
[446] A scalable querying scheme for memory-efficient runtime models with history (, , , ), In MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October 2020 (Eugene Syriani, Houari A. Sahraoui, Juan de Lara, Silvia Abrah ao, eds.), ACM, . [bibtex] [pdf]
[445] Model-Based Testing of Read Only Graph Queries (, , ), In 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020, Porto, Portugal, October 24-28, 2020, IEEE, . (Implementation) [bibtex] [pdf] [doi]
[444] Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (, , , ), In Graph Transformation - 13th International Conference, ICGT 2020 Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, . [bibtex] [pdf]
[443] Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (, , ), In Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Fabio Gadducci, Timo Kehrer, eds.), Springer, volume 12150, . [bibtex] [pdf] [doi]
[442]Towards Highly Scalable Runtime Models with History (, , , , ), In 15th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2020, Seoul South Korea, October, 2020, IEEE Computer Society, . [bibtex]
2019
[441] Performance Evaluation for Self-Healing Systems: Current Practice & Open Issues (, ), In 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), IEEE Computer Society, . [bibtex] [pdf]
[440]On Learning in Collective Self-Adaptive Systems: State of Practice and a 3D Framework (, , , , , , ), In 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), . [bibtex]
[439]Learning in Collective Autonomous Systems : In Software Engineering for Intelligent and Autonomous Systems report from the GI Dagstuhl Seminar 18343 (, , , , , , ), In arXiv e-prints, . [bibtex]
[438] A Logic-Based Incremental Approach to Graph Repair (, , ), In Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic April 6-11, 2019, Proceedings (Reiner Hähnle, Wil M. P. van der Aalst, eds.), Springer, volume 11424, . [bibtex] [pdf]
[437]OCCI-compliant, fully causal-connected architecture runtime models supporting sensor management (, , , ), In Proceedings of the 14th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), . [bibtex]
[436] Metric Temporal Graph Logic over Typed Attributed Graphs (, , , ), In Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic April 6-11, 2019, Proceedings, . [bibtex] [pdf]
[435]Modeling approach and evaluation criteria for adaptable architectural runtime model instances (, ), In Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), . [bibtex]
[434] Generic adaptive monitoring based on executed architecture runtime model queries and events (, ), In Proceedings of the 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), . [bibtex] [pdf]
2018
[433] Automated reasoning for attributed graph properties (, , ), In Software Tools for Technology Transfer, Springer, . [bibtex] [pdf]
[432]Constraint-based Self-optimisation of Deployments for modular Systems, (), Master's thesis, Hasso-Plattner-Institut für Digital Engineering, Universität Potsdam, . [bibtex]
[431]Equivalence checking of Petri net models of programs using static and dynamic cut-points (, , ), In Acta Informatica, . [bibtex]
[430]Analysis of GPGPU Programs for Data-race and Barrier Divergence (, , , ), In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,, SciTePress, . [bibtex]
[429]Microtasking Software Failure Resolution: Early Results (), In 2018 IDoESE - Doctoral Symposium at the International Conference on Empirical Software Engineering, . [bibtex]
[428] Institutions for navigational logics for graphical structures (, , , ), In Theoretical computer science, volume 741, . (An Observant Mind : Essays Dedicated to Don Sannella on the Occasion of his 60th Birthday) [bibtex] [pdf]
[427] Probabilistic Timed Graph Transformation Systems (, , ), In Journal of Logical and Algebraic Methods in Programming, volume 101, . [bibtex] [pdf]
[426]Initial Conflicts and Dependencies: Critical Pairs Revisited (, , , , ), Chapter in Graph Transformation, Specifications, and Nets (Reiko Heckel, Gabriele Taentzer, eds.), Springer, volume 10800, . [bibtex]
[425] Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation (, , , , ), In Proceedings of the 40th International Conference on Software Engineering, ACM, . [bibtex] [pdf]
[424] Towards a Navigational Logic for Graphical Structures (, , , ), Chapter in Graph Transformation, Specifications, and Nets (Reiko Heckel, Gabriele Taentzer, eds.), Springer, volume 10800, . [bibtex] [pdf]
[423] Graph Transformation - 11th International Conference, ICGT 2018 Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings, (Leen Lambers, Jens Weber, eds.), Springer, volume 10887, . [bibtex] [pdf]
[422] Metric Temporal Graph Logic over Typed Attributed Graphs (, , , ), Technical report 123, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[421]Improving Self-Healing by Estimating the Impact of Adaptation Rules on the Utility at Runtime (), Technical report, Proceedings of the 10th Ph. D. Retreat of the HPI Research School on Service-oriented Systems Engineering, . [bibtex]
[420] Automatic verification of behavior preservation at the transformation level for relational model transformation (, , ), In Software & Systems Modeling, . [bibtex] [pdf]
[419] Towards a Body of Knowledge for Model-based Software Engineering (, , , , , , , , , , , ), In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ACM, . [bibtex] [pdf]
[418] How Do We Teach Modelling and Model-driven Engineering?: A Survey (, , , , , , , , , , , ), In Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, ACM, . [bibtex] [pdf]
[417] Towards software architecture runtime models for continuous adaptive monitoring (, ), In Proceedings of the 13th International Workshop on Models@run.time (MRT), . [bibtex] [pdf]
[416] Towards Generic Adaptive Monitoring (, ), In Proceedings of the 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), . [bibtex] [pdf]
[415]Training Prediction Models for Rule-Based Self-Adaptive Systems (, , ), In 2018 IEEE International Conference on Autonomic Computing (ICAC), . [bibtex]
2017
[414] A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models (, , , , , , , ), In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), . [bibtex] [pdf]
[413]Efficient Utility-Driven Self-Healing Employing Adaptation Rules for Large Dynamic Architectures (, , ), In 2017 IEEE International Conference on Autonomic Computing (ICAC), . [bibtex]
[412] Industrial experiences from evolving measurement systems into self-healing systems for improved availability (, , , , , ), In Software: Practice and Experience, Wiley-Blackwell, volume 48, . [bibtex] [pdf]
[411] Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances (, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems III. Assurances, Springer International Publishing, . [bibtex] [pdf]
[410] Reference Scenarios for Self-Aware Computing (, , , , , , , , , ), Chapter in 4 (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, . [bibtex] [pdf]
[409] Self-Aware Computing Systems: Related Concepts and Research Areas (, , , , , , , , , , , , , ), Chapter in (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer Verlag, . [bibtex] [pdf]
[408] Self-Aware Computing Systems: Open Challenges and Future Research Directions (, , , , , , , , ), Chapter in 26 (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, . [bibtex] [pdf]
[407] The Notion of Self-Aware Computing (, , , , , , , , , , , , , , ), Chapter in (Samuel Kounev, Jeffrey O. Kephart, A. Milenkoski, Xiaoyun Zhu, eds.), Springer Verlag, . [bibtex] [pdf]
[406] Towards a Framework for the Levels and Aspects of Self-Aware Computing Systems (, , , , , , , ), Chapter in (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer Verlag, . [bibtex] [pdf]
[405] State of the Art in Architectures for Self-Aware Computing Systems (, , , , , , , ), Chapter in 8 (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, . [bibtex] [pdf]
[404] Architectures for Collective Self-Aware Computing Systems (, , , , , , ), Chapter in 7 (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, . [bibtex] [pdf]
[403] Generic Architectures for Individual Self-Aware Computing Systems (, , , , ), Chapter in 6 (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, . [bibtex] [pdf]
[402] Architectural Concepts for Self-Aware Computing Systems (, , , , ), Chapter in 5 (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, . [bibtex] [pdf]
[401] Self-Adaptation in Collective Self-Aware Computing Systems (, , , , , , , , ), Chapter in 13 (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, . [bibtex] [pdf]
[400] Self-Adaptation for Individual Self-Aware Computing Systems (, , , , , , , , ), Chapter in 12 (Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, eds.), Springer International Publishing, . [bibtex] [pdf]
[399] Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems (, , , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems III. Assurances (Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, eds.), Springer International Publishing, . [bibtex] [pdf]
[398] Symbolic Model Generation for Graph Properties (, , ), Technical report 115, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[397] Symbolic Model Generation for Graph Properties (, , ), In Proc. Fundamental Approaches to Software Engineering (FASE'17) (Marieke Huisman, Julia Rubin, eds.), Springer, . [bibtex] [pdf]
[396] Software Engineering for Self-Adaptive Systems III. Assurances, (Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, eds.), Springer International Publishing, . [bibtex] [pdf]
[395] Probabilistic Timed Graph Transformation Systems (, , ), Technical report 118, Hasso-Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[394] What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems? (, , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems III. Assurances (Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, eds.), Springer International Publishing, . [bibtex] [pdf]
[393] On the Complex Nature of MDE Evolution and its Impact on Changeability (, ), In Software & Systems Modeling, Springer-Verlag, volume 16, . [bibtex] [pdf]
[392]Towards Collective Online and Offline Testing for Dynamic Software Product Lines (, ), In Proceedings of the 2nd International Workshop on Variability and Complexity in Software Design, . [bibtex]
[391] Control Strategies for Self-Adaptive Software Systems (, , , , , , , , , , , , , , , , , ), In ACM Trans. Auton. Adapt. Syst., volume 11, . [bibtex] [pdf]
[390] Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation (, , ), Technical report 112, Hasso Plattner Institute, University of Potsdam, . [bibtex] [pdf]
[389] K-Inductive Invariant Checking for Graph Transformation Systems (, ), Technical report 119, Hasso Plattner Institute, University of Potsdam, . [bibtex] [pdf]
[388] K-Inductive Invariant Checking for Graph Transformation Systems (, ), In Graph Transformation (Juan de Lara, Detlef Plump, eds.), Springer, volume 10373, . [bibtex] [pdf]
[387] Probabilistic Timed Graph Transformation Systems (, , ), In Graph Transformation - 10th International Conference, ICGT 2017 Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, . [bibtex] [pdf]
[386] SamaTulyata: An Efficient Path Based Equivalence Checking Tool (, , , ), In Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Deepak D'Souza, K. Narayan Kumar, eds.), Springer, volume 10482, . [bibtex] [pdf]
[385] Granularity of Conflicts and Dependencies in Graph Transformation Systems (, , , ), In International Conference on Graph Transformation (ICGT) (Juan de Lara, Detlef Plump, eds.), Springer International Publishing, . (Extended version: https://www.uni-marburg.de/fb12/arbeitsgruppen/swt/forschung/publikationen/2017/BLST17-EV.pdf) [bibtex] [pdf]
2016
[384] Invariant Checking for Graph Transformation: Applications & Open Challenges (Abstract) (, ), In Verification of Evolving Graph Structures, Dagstuhl, Germany (Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis, eds.), Dagstuhl Publishing, volume 5, . [bibtex] [pdf]
[383] TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA (, , , , ), In ACM Trans. Embed. Comput. Syst., ACM, volume 15, . [bibtex] [pdf]
[382]Utility-Driven Modularized MAPE-K loop architectures for Self-Adaptive Systems (), In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2016, . (Extended Abstract) [bibtex]
[381] Modeling collaborations in adaptive systems of systems (), PhD thesis, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[380]MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems (, , , , , , , , , , ), In Proceedings of the STAF 2016 Project Showcases, . [bibtex]
[379] A Logic of Graph Conditions Extended with Paths (, , , ), In 7th Int. Workshop on Graph Computation Models, . (Pre-proceedings) [bibtex] [pdf]
[378] Model transformation intents and their properties (, , , , , , , ), In Software and System Modeling, Springer Berlin Heidelberg, volume 15, . [bibtex] [pdf]
[377] 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016, (Samuel Kounev, Holger Giese, Jie Liu, eds.), IEEE Computer Society, . [bibtex] [pdf]
[376]Development of AUTOSAR standard documents at Carmeq GmbH: a case study (, , , , , , ), Technical report 92, Hasso-Plattner Institut at University of Potsdam, . [bibtex]
[375] On the Operationalization of Graph Queries with Generalized Discrimination Networks (, , , ), Technical report 106, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[374] Towards Linking Adaptation Rules to the Utility Function for Dynamic Architectures (, , ), In Proceedings of the IEEE International Conference on Self-Adaptive and Self-Organizing Systems, IEEE, . [bibtex] [pdf]
[373]Utility-Driven Modularized MAPE-K loop architectures for Self-adaptive systems (), Technical report, Proceedings of the 9th Ph. D. Retreat of the HPI Research School on Service-oriented Systems Engineering, . [bibtex]
[372]Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design (, ), In 2016 42th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Computer Society, volume 00, . [bibtex]
[371]On the Operationalization of Graph Queries with Generalized Discrimination Networks (, , , ), In Proceedings of the $9^th$ International Conference on Graph Transformations (Rachid Echahed, Mark Minas, eds.), Springer, . [bibtex]
[370] Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks (, ), In 2nd Graphs as Models workshop (GaM 2016) (Alexander Heußner, Aleks Kissinger, Anton Wijs, eds.), . [bibtex] [pdf]
[369] The Design Thinking Methodology at Work: Capturing and Understanding the Interplay of Methods and Techniques (, ), Chapter in Design Thinking Research - Taking Breakthrough Innovation Home (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer International Publishing, . [bibtex] [pdf]
2015
[368]Utility-Driven Modularized MAPE-K Loop Architectures for Self-Adaptive Systems (), In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2015, . (Extended Abstract) [bibtex]
[367]Modeling Collaborations in Self-Adaptive Systems of Systems–Terms, Characteristics, Requirements, and Scenarios (, ), Technical report 96, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
[366]Modeling Collaborations in Adaptive Systems of Systems (, ), In Proceedings of the European Conference on Software Architecture Workshops, ACM, . [bibtex]
[365] Software Engineering meets Control Theory (, , , , , , , , , , , , , , , , , ), In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, IEEE, . [bibtex] [pdf]
[364]Implementing Graph Transformations in the Bulk Synchronous Parallel Model (, , ), In Software Engineering and Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. Marz - 20. Marz 2015 Dresden, Germany, . [bibtex]
[363] A Testing Scheme for Self-Adaptive Software Systems with Architectural Runtime Models (, , ), In Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, IEEE, . [bibtex] [pdf]
[362] Towards Smart Systems of Systems (, , ), In Proceedings of the 6th International Conference on Fundamentals of Software Engineering (FSEN '15) (Mehdi Dastani, Marjan Sirjani, eds.), Springer, volume 9392, . ((invited paper)) [bibtex] [pdf]
[361] Inductive Invariant Checking with Partial Negative Application Conditions (, ), In Graph Transformation (Francesco Parisi-Presicce, Bernhard Westfechtel, eds.), Springer, volume 9151, . [bibtex] [pdf]
[360] Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (, , , , ), In Fourth Workshop on the Analysis of Model Transformations, . [bibtex] [pdf]
[359]Inductive Invariant Checking with Partial Negative Application Conditions (, ), Technical report 98, Hasso Plattner Institute, University of Potsdam, . [bibtex]
[358] Kaolin: A system-level AADL tool for FPGA design reuse, upgrade and migration (, , , ), In 2015 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2015, Montreal, QC, Canada, June 15-18, 2015, . [bibtex] [pdf]
[357] Efficient and Scalable Graph View Maintenance for Deductive Graph Databases based on Generalized Discrimination Networks (, ), Technical report, Hasso Plattner Institute at the University of Potsdam, . (Technical Report No. 99) [bibtex] [pdf]
[356]Connecting Designing and Engineering Activities III (, ), Chapter in Design Thinking Research - Making Design Thinking Foundational, Springer, . [bibtex]
[355]Traceability Recovery for Innovation Processes (, ), In Proceedings of the 8th International Symposium on Software and Systems Traceability, IEEE, . [bibtex]
[354] Connecting Designing and Engineering Activities II (, ), Chapter in Design Thinking Research - Building Innovators (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer International Publishing, . [bibtex] [pdf]
2014
[353] Report from the GI Dagstuhl Seminar 14433: Software Engineering for Self-Adaptive Systems, (Thomas Vogel, Matthias Tichy, Alessandra Gorla, eds.), . [bibtex] [pdf]
[352] On Unifying Development Models and Runtime Models (, ), In Proceedings of the 9th International Workshop on Models@run.time at the 17th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2004), Valencia, Spain, CEUR-WS.org, volume 1270, . [bibtex] [pdf]
[351]Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling (, ), In Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems, http://ceur-ws.org/, . [bibtex]
[350] Graph Transformation, 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, (Holger Giese, Barbara König, eds.), Springer, volume 8571, . [bibtex] [pdf]
[349]On the Performance and Conformance of Triple Graph Grammar Implementations (), PhD thesis, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
[348] Model-Driven Engineering of Self-Adaptive Software with EUREMA (, ), In ACM Trans. Auton. Adapt. Syst., volume 8, . [bibtex] [pdf]
[347] Implementing Graph Transformations in the Bulk Synchronous Parallel Model (, , ), In 17th International Conference on Fundamental Approaches to Software Engineering (FASE), Grenoble, France (Stefania Gnesi, Arend Rensink, eds.), Springer, volume 8411, . [bibtex] [pdf]
[346]A Comparison of Incremental Triple Graph Grammar Tools (, , , , , ), In Electronic Communications of the EASST, volume 67, . [bibtex]
[345] Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511) (, , , ), In Dagstuhl Reports (Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, eds.), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, volume 3, . [bibtex] [pdf]
[344]Introducing the LogCal: Template-Based Documentation Support for Educational Design Thinking Projects (, , , , ), In International Conference on Engineering and Product Design Education, . [bibtex]
[343] Mechanisms for Leveraging Models at Runtime in Self-adaptive Software (, , , , , , , , , , , , , ), Chapter in Models@run.time (Nelly Bencomo, Robert France, Betty HC Cheng, Uwe Assmann, eds.), Springer, volume 8378, . [bibtex] [pdf]
[342] Evolution of model-driven engineering settings in practice (), PhD thesis, Hasso-Plattner-Institut fur Softwaresystemtechnik, Universität Potsdam, . [bibtex] [pdf]
[341] Living with Uncertainty in the Age of Runtime Models (, , , , , , ), Chapter in Models@run.time (Nelly Bencomo, Robert France, Betty HC Cheng, Uwe Assmann, eds.), Springer International Publishing, volume 8378, . [bibtex] [pdf]
[340] Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars - Ensuring Conformance of Relational Model Transformation Specifications and Implementations (, , ), In Software and Systems Modeling, Springer Berlin Heidelberg, volume 13, . [bibtex] [pdf]
[339]Graph Transformation Systems and Verification with k-Inductive Invariants (), In Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2014, Pro Business, Berlin, . (Extended Abstract) [bibtex]
[338] Symbolic Representation and Constraint Reasoning in Invariant Checking (), Technical report 83, Proceedings of the 7th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering, Hasso Plattner Institute, University of Potsdam (Fall 2013 Workshop), . [bibtex] [pdf]
[337] Virtual prototypes for the model-based elicitation and validation of collaborative scenarios (), PhD thesis, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[336] Architectural modelling and verification of open service-oriented systems of systems (), PhD thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, . [bibtex] [pdf]
[335] BenchmarX (, , , , , ), In Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014 (K. Selçuk Candan, Sihem Amer-Yahia, Nicole Schweikardt, Vassilis Christophides, Vincent Leroy, eds.), CEUR-WS.org, volume 1133, . [bibtex] [pdf]
2013
[334]Connecting Designing and Engineering Activities (, , ), Chapter in Design Thinking Research - Building Innovation Eco-Systems (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer Heidelberg New York Dordrecht London, . [bibtex]
[333]Cooperating with a Non-governmental Organization to Teach Gathering and Implementation of Requirements (, , , ), In Proc. of the 26th Conference on Software Engineering Education and Training, . [bibtex]
[332] Model-Driven Engineering of Adaptation Engines for Self-Adaptive Software: Executable Runtime Megamodels (, ), Technical report 66, Hasso Plattner Institute at the University of Potsdam, Germany, . [bibtex] [pdf]
[331]A Model Management Framework for Maintaining Traceability Links (, , ), In Software Engineering 2013 Workshopband (Stefan Wagner, Horst Lichter, eds.), Gesellschaft für Informatik (GI), volume P-215, . [bibtex]
[330] Model-Driven Development of Safe Self-Optimizing Mechatronic Systems with MechatronicUML (, ), Chapter in Assurances for Self-Adaptive Systems (Javier Camara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, eds.), Springer, volume 7740, . [bibtex] [pdf]
[329] Software Engineering Processes for Self-Adaptive Systems (, , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, . [bibtex] [pdf]
[328] Software Engineering for Self-Adaptive Systems: A second Research Roadmap (, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, . [bibtex] [pdf]
[327] Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems (, , , , , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, . [bibtex] [pdf]
[326] On Patterns for Decentralized Control in Self-Adaptive Systems (, , , , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems II (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, . [bibtex] [pdf]
[325] Software Engineering for Self-Adaptive Systems II, (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Springer, volume 7475, . [bibtex] [pdf]
[324]Enabling Domain Experts to Modify Formal Models via a Natural Language Representation Consistently (, , , ), In Proc. of the First ICSE 2013 Workshop on Natural Language Analysis in Software Engineering, . [bibtex]
[323]On the Complex Nature of MDE Evolution (, , , ), In Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013 (Ana Moreira, Bernhard Schaetz, eds.), Springer, . [bibtex]
[322]Modular Rice University Bidding System (mRUBiS) (), MDELab, . (http://www.mdelab.de [Online; accessed 02-November-2013]) [bibtex]
[321]Interactive Strategy-Based Validation of Behavioral Models (, , , ), In Proc. of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques, . [bibtex]
[320] Traceability and model management with executable and dynamic hierarchical megamodels (), PhD thesis, Hasso-Plattner-Institut fur Softwaresystemtechnik, Universität Potsdam, . [bibtex] [pdf]
[319]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), . [bibtex]
[318]Modular Timing Analysis of Component-Based Real-Time Embedded Systems (), PhD thesis, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
[317]Scalable Compatibility for Real-Time Embedded Components using Language-Progressive TIOA (, ), Technical report 65, Hasso-Plattner Institute, . [bibtex]
[316] Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (, , ), In Theory and Practice of Model Transformations, 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings (Keith Duddy, Gerti Kappel, eds.), Springer / Heidelberg, volume 7909, . [bibtex] [pdf]
[315] Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (, , ), Chapter in Theory and Practice of Model Transformations (Keith Duddy, Gerti Kappel, eds.), Springer Berlin Heidelberg, volume 7909, . [bibtex] [pdf]
[314] A Survey of Triple Graph Grammar Tools (, , , , , , , , ), Chapter in Bidirectional Transformations, EC-EASST, volume 57, . [bibtex] [pdf]
[313]Modal Specifications for Probabilistic Timed Systems (, , , ), In Proc. of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), Open Publishing Association, . [bibtex]
[312] Special Issue on Graph Transformation and Visual Modeling Techniques: Guest Editors' introduction (, ), In Journal of Visual Languages & Computing, Elsevier, volume 24, . [bibtex] [pdf]
[311]Graph Transformation Systems and Invariant Checking with k-Inductive Invariants (), In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl 2013, Pro Business, Berlin, . (Extended Abstract) [bibtex]
[310]Task Driven Software Summarization (, , , , , , , , ), In ERA Track at 29th IEEE International Conference on Software Maintenance (ICSM), . (accepted) [bibtex]
[309]Why Innovation Processes Need to Support Traceability (, , ), In International Workshop on Traceability in Emerging Forms of Software Engineering, IEEE, . [bibtex]
[308]Towards Documentation Support for Educational Design Thinking Projects (, , ), In Proceedings of EPDE 2013, the 15th International Conference on Engineering and Product Design Education, . [bibtex]
[307]Modeling and Verifying Dynamic Evolving Service-Oriented Architectures (, ), Technical report 75, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
2012
[306]Decoupled Model-Based Elicitation of Stakeholder Scenarios (, , ), In Proc. of the Seventh International Conference on Software Engineering Advances, IARIA, . [bibtex]
[305]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]
[304] 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]
[303] A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels (, ), In Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), IEEE Computer Society, . [bibtex] [pdf]
[302]Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders (, , ), In 21st IEEE International WETICE conference (WETICE-2012) (Sumitra Reddy, Khalil Drira, eds.), IEEE, . [bibtex]
[301] 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]
[300]Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems (, , , , , , , , , , ), In Workshop on European Software Services and Systems Research - Results and Challenges (S-Cube), IEEE Computer Society, . [bibtex]
[299]Teaching Requirements Engineering with Authentic Stakeholders: Towards a Scalable Course Setting (, , , ), In Proc. of ICSE 2012 Workshop on Software Engineering Education based on Real-World Experiences, . [bibtex]
[298] Requirements and Assessment of Languages and Frameworks for Adaptation Models (, ), Chapter in Models in Software Engineering, Workshops and Symposia at MoDELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers (Jörg Kienzle, ed.), Springer-Verlag, volume 7167, . [bibtex] [pdf]
[297]Flexible Debugging of Behavior Models (, , ), In 2012 IEEE International Conference on Industrial Technology (ICIT), . [bibtex]
[296]Story Diagrams - Syntax and Semantics (, , , , , ), Technical report, Software Engineering Group, Heinz Nixdorf Institute, . [bibtex]
[295]Story Diagrams - Syntax and Semantics (, , , , , ), Technical report, Software Engineering Group, Heinz Nixdorf Institute, . (Version 0.2) [bibtex]
[294]Story Diagrams - Syntax and Semantics (, , , , , , ), Technical report, Software Engineering Group, Heinz Nixdorf Institute, . [bibtex]
[293]A Build Server for Model-Driven Engineering (, , ), In 6th International Workshop on Multi-Paradigm Modeling (MPM 2012), ACM, . [bibtex]
[292]Traceability in Model-Driven Engineering: Efficient and Scalable Traceability Maintenance (, , ), Chapter in Software and Systems Traceability (Jane Cleland-Huang, Orlena Gotel, Andrea Zisman, eds.), Springer London, . [bibtex]
[291]Lazy Graph Transformation (, ), In Fundamenta Informaticae, IOS Press, volume 118, . [bibtex]
[290]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]
[289] Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (, , , ), Chapter in Proceedings of the First International Workshop on Bidirectional Transformations (Frank Hermann, Janis Voigtländer, eds.), EC-EASST, volume 49, . [bibtex] [pdf]
[288]Compositional and behavior-preserving reconfiguration of component connectors in Reo (, , ), In Journal of Visual Languages & Computing, . [bibtex]
[287] Probabilistic Graph Transformation Systems (, ), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12), Springer-Verlag, volume 7562, . [bibtex] [pdf]
[286]Towards Patterns for MDE-Related Processes to Detect and Handle Changeability Risks (, , ), In 2012 International Conference on Software and Systems Process, . [bibtex]
[285]MDE Settings in SAP. A Descriptive Field Study (, ), Technical report 58, Hasso-Plattner Institut at University of Potsdam, . [bibtex]
[284]The MDELab Tool Framework for the Development of Correct Model Transformations with Triple Graph Grammars (, , ), In MoDELS Workshop on Analysis of Model Transformation (Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, eds.), ACM, . [bibtex]
[283]Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (, , , , ), In Applications of graph Transformation with Industrial Relevance, 4th International Symposium, (AGTIVE 2011) (Andy Schürr, Daniel Varró, Gergely Varró, eds.), Springer, volume 7233, . [bibtex]
[282] Integration of Triple Graph Grammars and Constraints (, , , ), In Proceedings of the 7th International Workshop on Graph Based Tools (GraBaTs 2012) (Christian Krause, Bernhard Westfechtel, eds.), EC-EASST, volume 52, . [bibtex] [pdf]
[281]Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs (, , , ), In Theoretical Computer Science, volume 424, . [bibtex]
[280] Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) (, , , ), In Dagstuhl Reports (Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits, eds.), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, volume 1, . [bibtex] [pdf]
[279] Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012), (Andrew Fish, Leen Lambers, eds.), volume 47, . [bibtex] [pdf]
[278]Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars - Flexible Relations between Source and Target Elements (, , , ), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, . [bibtex]
[277] Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (, ), In Proceedings of Intern. Conf. on Graph Transformation (ICGT' 12) (Hartmut Ehrig, Gregor Engels, Hans Kreowski, Grzegorz Rozenberg, eds.), Springer, volume 7562, . [bibtex] [pdf]
[276]Towards Next-Generation Design Thinking II: Virtual Multi-User Software Prototypes (, , ), Chapter in Design Thinking Research (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer Berlin Heidelberg, . [bibtex]
[275]Virtual Multi-User Software Prototypes III (, , ), Chapter in Design Thinking Research - Measuring Performance in Context (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer Berlin Heidelberg, . [bibtex]
[274]Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings, (Holger Giese, Grigore Rosu, eds.), Springer, volume 7273, . [bibtex]
[273]M-Adhesive Transformation Systems with Nested Application Conditions, Part 2: Embedding, Critical Pairs and Local Confluence (, , , , ), In Fundamenta Informaticae, IOS Press, volume 118, . [bibtex]
[272] Towards a Model Transformation Intent Catalog (, , , , , , ), In MoDELS Workshop on Analysis of Model Transformation (Juergen Dingel, Levi Lúcio, Hans Vangheluwe, Daniel Varró, eds.), ACM, . [bibtex] [pdf]
[271]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, . [bibtex]
2011
[270] Language and Framework Requirements for Adaptation Models (, ), In Proceedings of the 6th International Workshop on Models@run.time at the 14th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2011), Wellington, New Zealand (Nelly Bencomo, Gordon Blair, Betty HC Cheng, Robert France, Cedric Jeanneret, eds.), CEUR-WS.org, volume 794, . ((best paper)) [bibtex] [pdf]
[269]Why Should I Help You to Teach Requirements Engineering? (, , ), In Proc. of the 6th International Workshop on Requirements Engineering Education and Training (REET), . [bibtex]
[268]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]
[267] Software Engineering for Self-Adpaptive Systems: A second Research Roadmap (, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ), In Software Engineering for Self-Adaptive Systems (Rogério de Lemos, Holger Giese, HausiA. Müller, Mary Shaw, eds.), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, . ((draft version of May 20, 2011)) [bibtex] [pdf]
[266] The Role of Models and Megamodels at Runtime (, , ), Chapter in Models in Software Engineering, Workshops and Symposia at MODELS 2010, Oslo, Norway, October 3-8, 2010, Reports and Revised Selected Papers (Juergen Dingel, Arnor Solberg, eds.), Springer-Verlag, volume 6627, . [bibtex] [pdf]
[265] Towards Scalable and Self-Optimizing Software for Multi-Core and Cloud Computing (, , , , ), Technical report 42, Proceedings of the Fall 2010 Future SOC Lab Day; Universitätsverlag Potsdam, . [bibtex] [pdf]
[264]Exploration and Validation through Animation of Scenario Specifications (), In Doctoral Symposium of the 19th IEEE International Requirements Engineering Conference (RE'11), . [bibtex]
[263] 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]
[262]From Software Traceability to Global Model Management and Back Again (), In 15th European Conference on Software Maintenance and Reengineering (CSMR'11), Doctoral Symposium, Oldenburg, Germany, . [bibtex]
[261]How Can Metamodels Be Used Flexibly? (, , , ), In Proc. of ICSE 2011 Workshop on Flexible Modeling Tools, . [bibtex]
[260] Models of Reactive Systems - Communication, Concurrency and Causality (, ), 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]
[259] Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (Holger Giese, Betty HC Cheng, eds.), ACM, . [bibtex] [pdf]
[258]Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements (, ), In Proceedings 13th International Workshop on Verification of Infinite-State Systems (INFINITY'11), Open Publishing Association, volume 73, . [bibtex]
[257]An Approach to Integrating Model Management and Software Development Processes, (), In Doctoral Symposium at MODELS 2011, . [bibtex]
[256] Toward a Comparable Characterization for Software Development Activities in Context of MDE (, , ), In Proceedings of the 2011 International Conference on Software and Systems Process, ACM, . [bibtex] [pdf]
[255] On the Unification of Megamodels (, , ), In Proceedings of the 4th International Workshop on Multi-Paradigm Modeling (MPM 2010) (Vasco Amaral, Hans Vangheluwe, Cécile Hardebolle, Laszlo Lengyel, Tiziana Magaria, Julia Padberg, Gabriele Taentzer, eds.), volume 42, . [bibtex] [pdf]
[254]Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures (, , , ), In International Journal of Computer Systems Science and Engineering, volume 27, . [bibtex]
[253] 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]
[252] A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems (, , ), In SIMULATION, volume 87, . [bibtex] [pdf]
[251] Model-Based Engineering of Embedded Real-Time Systems, International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, (Holger Giese, Garbor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, . [bibtex] [pdf]
[250]Towards Next Generation Design Thinking: Scenario-Based Prototyping for Designing Complex Software Systems with Multiple Users (, , ), Chapter in Design Thinking: Understand – Improve – Apply (Hasso Plattner, Christoph Meinel, Larry Leifer, eds.), Springer-Verlag Berlin Heidelberg, . [bibtex]
[249] Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (, , , ), In Fundamental Approaches to Software Engineering (Dimitra Giannakopoulou, Fernando Orejas, eds.), Springer Berlin / Heidelberg, volume 6603, . [bibtex] [pdf]
[248] Iterative Development of Consistency-Preserving Rule-Based Refactorings (, , , , ), In Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings (Jordi Cabot, Eelco Visser, eds.), Springer / Heidelberg, volume 6707, . [bibtex] [pdf]
2010
[247] Toward Megamodels at Runtime (, , ), In Proceedings of the 5th International Workshop on Models@run.time at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway (Nelly Bencomo, Gordon Blair, Franck Fleurey, Cedric Jeanneret, eds.), CEUR-WS.org, volume 641, . ((best paper)) [bibtex] [pdf]
[246]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]
[245]Deriving Behavior of Multi-User Processes From Interactive Requirements Validation (, , ), In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ACM, . [bibtex]
[244]Making Control Loops Explicit When Architecting Self-Adaptive Systems (, , ), In SOAR '10: Proceedings of the second international workshop on Self-Organizing Architectures, ACM, . [bibtex]
[243] Adaptation and Abstract Runtime Models (, ), In Proceedings of the 5th Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010) at the 32nd IEEE/ACM International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, ACM, . [bibtex] [pdf]
[242] 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]
[241]How Tangible can Virtual Prototypes be? (, , , ), In Proceedings of the 8th Design Thinking Research Symposium, . [bibtex]
[240]Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures (, , , ), In Proceedings of 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, IEEE Computer Society Press, . [bibtex]
[239]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]
[238]Using Ontologies for Flexibly Specifying Multi-User Processes (, , ), In Proc. of FlexiTools Workshop at ICSE 2010, Cape Town, South Africa, . [bibtex]
[237] Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance (, , ), In Software and Systems Modeling, volume 9, . [bibtex] [pdf]
[236] Benefits of System Simulation for Automotive Applications (, , ), Chapter in Model-Based Engineering of Embedded Real-Time Systems (Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, . [bibtex] [pdf]
[235]Navigating Across Non-Navigable Ecore References via OCL (, , , , , , ), In Proc. of International Workshop on OCL and Textual Modelling at the 13th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway, . [bibtex]
[234]Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars (, , ), In Proceedings of MoDeVVa 2010, Models Workshop on Model-Driven Engineering Verification and Validation, IEEE Computer Society, . [bibtex]
[233] Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars (, , ), Technical report 37, Hasso Plattner Institute at the University of Potsdam, . [bibtex] [pdf]
[232] Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings, (Holger Giese, ed.), Springer, volume 6150, . [bibtex] [pdf]
[231]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]
[230]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]
2009
[229] 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]
[228] A Model-Driven Configuration Management System for Advanced IT Service Management (, , ), 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, . [bibtex] [pdf]
[227] 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]
[226]Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite (, , , , , , , , , ), In Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, . [bibtex]
[225] Proc. of the 5th Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 22.-24.04.2009, Schloss Dagstuhl, Germany, (Holger Giese, Michaela Huhn, Bernhard Schätz, Ulrich Nickel, eds.), . [bibtex] [pdf]
[224] From model transformation to incremental bidirectional model synchronization (, ), In Software and Systems Modeling, volume 8, . [bibtex] [pdf]
[223]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]
[222] The Role of Models in Self-adaptive and Self-healing Systems (, , , , , , , , , ), In Self-Healing and Self-Adaptive Systems (Artur Andrzejak, Kurt Geihs, Onn Shehory, John Wilkes, eds.), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, . [bibtex] [pdf]
[221] The Role of Models in Self-adaptive and Self-healing Systems (, , , , , , , , , ), In Self-Healing and Self-Adaptive Systems (Artur Andrzejak, Kurt Geihs, Onn Shehory, John Wilkes, eds.), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, . [bibtex] [pdf]
[220] Software Engineering for Self-Adaptive Systems, (Betty HC Cheng, Holger Giese, Paola Inverardi, Jeff Magee, Rogério de Lemos, eds.), Springer, volume 5525, . [bibtex] [pdf]
[219] Software Engineering for Self-Adaptive Systems: A Research Roadmap (, , , , , , , , , , , , , , , , , , , , , , , , , , , , ), Chapter in Software Engineering for Self-Adaptive Systems (Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, volume 5525, . [bibtex] [pdf]
[218]Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time System (OMER4), Heinz Nixdorf MuseumsForum, Paderborn, Germany. October 13 and 14, 2005, (Holger Giese, Mattthias Gehrke, Joachim Stroop, eds.), Heinz Nixdorf Institut, Universität Paderborn, . [bibtex]
[217]Towards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization (, , ), In 5th Workshop on Model-Based Development of Embedded Systems (MBEES), . [bibtex]
[216]Feature Report: Modeling and Interpreting EMF-based Story Diagrams (, , ), In Proceedings of the 7th International Fujaba Days, . [bibtex]
[215]Improved Flexibility and Scalability by Interpreting Story Diagrams (, , ), In Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009) (Tiziana Magaria, Julia Padberg, Gabriele Taentzer, eds.), Electronic Communications of the EASST, volume 18, . [bibtex]
[214]Efficient Model Synchronization of Large-Scale Models (, ), Technical report 28, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
[213]Interactive Visualization for Elicitation and Validation of Requirements with Scenario-Based Prototyping (, , ), In Proceedings of the 4th International Workshop on Requirements Engineering Visualization (REV 2009), IEEE Computer Society, . [bibtex]
[212]Engineering Self-Adaptive Systems through Feedback Loops (, , , , , , , , ), In Software Engineering for Self-Adaptive Systems (Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Springer, volume 5525, . [bibtex]
[211]Towards Safety Guarantees for Service-Oriented Systems (), In ICSE Companion 2009, Companion of the 31th International Conference on Software Engineering, IEEE Computer Society, . [bibtex]
[210]Correct Dynamic Service-Oriented Architectures: Modeling and Compositional Verification with Dynamic Collaborations (, , ), Technical report 29, Hasso Plattner Institute at the University of Potsdam, . [bibtex]
2008
[209]A Multi-Paradigm Approach Supporting the Modular Execution of Reconfigurable Hybrid Systems (, , ), Technical report tr-ri-08-297, Computer Science Department, University of Paderborn, . [bibtex]
[208]Synthesis of Real-Time Component Behavior (, , ), Technical report tr-ri-08-296, Computer Science Department, University of Paderborn, . [bibtex]
[207]Integration of Legacy Components in Mechatronic UML Architectures (, , , , ), In Proc. of the 6th International Fujaba Days 2008, Dresden, Germany (Uwe Assmann, Jendrik Johannes, Albert Zündorf, eds.), . [bibtex]
[206] Tool Support for the Design of Self-Optimizing Mechatronic Multi-Agent Systems (, , , , , ), In International Journal on Software Tools for Technology Transfer (STTT), Springer Verlag, volume 10, . [bibtex] [pdf]
[205]Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML (, , ), In Proc. of the ICSE 2008 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS''08), Leipzig, Germany, ACM Press, . [bibtex]
[204]Friends or Foes? – A Conceptual Analysis of Self-Adaptation and IT Change Management (, , ), In Proc. of the ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2008), ACM, . [bibtex]
[203] Proc. of the 4th Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 07.-09.04.2008, Schloss Dagstuhl, Germany, (Holger Giese, Michaela Huhn, Bernhard Schätz, Ulrich Nickel, eds.), . [bibtex] [pdf]
[202]Safe Online-Reconfiguration of Self-Optimizing Mechatronic Systems (, , , , , , ), In Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten. 7. Internationales Heinz Nixdorf Symposium für industrielle Informationstechnik (Jürgen Gausemeier, Franz Rammig, Wilhelm Schäfer, eds.), . [bibtex]
[201]Fujaba's Future in the MDA Jungle - Fully Integrating Fujaba and the Eclipse Modeling Framework? (, , , ), In Proceedings of the 6th International Fujaba Days, . [bibtex]
[200]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), IEEE Computer Society Press, . [bibtex]
[199]08031 – Software Engineering for Self-Adaptive Systems: A Research Road Map (, , , , , , , , , , , , , , , , , , , , , , , , , , , , ), In Software Engineering for Self-Adaptive Systems (Betty HC Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, eds.), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, . [bibtex]
[198] Models in Software Engineering: Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, (Holger Giese, ed.), Springer, volume 5002, . [bibtex] [pdf]
[197] Modeling Collaborations with Dynamic Structural Adaptation in Mechatronic UML (, , ), In Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems, ACM, . [bibtex] [pdf]
[196]Incremental Model Synchronization for Multiple Updates (, ), In Proceedings of the 3rd International Workshop on Graph and Model Transformations, May 12, 2008, Leipzig, Germany, ACM Press, volume Proceedings of GraMoT'08, May 12, 2008, Leipzig, Germany, . [bibtex]
[195] Reusable Services and Semi-Automatic Service Composition for Automotive Software (), In Automotive Software – Model-Driven Development of Reliable Automotive Services. Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (Manfred Broy, Ingolf Krüger, Michael Meisinger, eds.), Springer Verlag, volume 4922, . [bibtex] [pdf]
[194] Dependability, Certification, and the Model-Driven Development of Advanced Software-Intensive Systems: Obstacles, Possibilities, and Challenges (), In Tools for the Model-based Development of Certifiable, Dependable Systems (Michaela Huhn, Hardi Hungar, Doron Peled, eds.), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, . [bibtex] [pdf]
[193] Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML (, , ), Chapter in Architecting Dependable Systems V, Springer Verlag, volume 5135, . [bibtex] [pdf]
[192]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), ACM, . [bibtex]
[191]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), IEEE Computer Society Press, . [bibtex]
2007
[190]Monitoring of Structural and Temporal Properties (, , , , ), In Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, Albert Zündorf, eds.), . [bibtex]
[189] Software Engineering for Multi-Agent Systems V: Research Issues and Practical Applications, (Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky, eds.), Springer, volume 4408, . [bibtex] [pdf]
[188]Model-Based Testing of Mechatronic Systems (, , , ), In Proc. of the 5th International Fujaba Days 2007, Kassel, Germany (Leif Geiger, Holger Giese, Albert Zündorf, eds.), . [bibtex]
[187]Towards the Design of Self-Optimizing Mechatronic Systems: Consistency between Domain-Spanning and Domain-Specific Models (, , , , , , , ), In Proc. of the 16th International Conference on Engineering Design (ICED), . [bibtex]
[186] Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (, , , , , , , , ), In Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA, IEEE Computer Society Press, . [bibtex] [pdf]
[185]Systematic Verification of Multi-Agent Systems based on Rigorous Executable Specifications (, ), In International Journal on Agent-Oriented Software Engineering (IJAOSE), volume 1, . [bibtex]
[184] Potenziale und Risiken der Selbstoptimierung für die Verlässlichkeit mechatronischer Systeme (, , , , , , ), In Proc. of the Fifth Paderborner Workshop Entwurf mechatronischer Systeme, HNI-Verlagsschriftenreihe, . [bibtex] [pdf]
[183] Joint Structural and Temporal Property Specification using Timed Story Sequence Diagrams (, ), In Proc. of 10th International Conference on Fundamental Approaches to Software Engineering (FASE) 2007, held as part of ETAPS 2007, Lisboa, Portugal, March 24-April 1, 2007 (Matt Dwyer, Antónia Lopes, eds.), Springer Verlag, volume 4422, . [bibtex] [pdf]
[182]Das MATE Projekt - visuelle Spezifikation von MATLAB-Analysen und Transformationen (, , , , , ), In Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 15.-18.1.2007, Schloss Dagstuhl, Germany (Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz, eds.), . [bibtex]
[181] Proc. of the 3rd Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 15.-18.1.2007, Schloss Dagstuhl, Germany, (Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz, eds.), . [bibtex] [pdf]
[180]Das MATE Projekt ââ��â�� visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen (, , , , , ), Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme, . [bibtex]
[179]Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems (), In Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005 . Laguna Beach, CA, USA, September 22-24,2005 . Revised Selected Papers (Fabrice Kordon, Janos Sztipanovits, eds.), Springer Verlag, volume 4322, . [bibtex]
[178]Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools (, , ), In Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, Springer Verlag, volume 4364, . [bibtex]
[177] Modeling Techniques for Software-Intensive Systems (, , , , ), Chapter in Designing Software-Intensive Systems: Methods and Principles (Pierre F. Tiako, ed.), Idea Group Publishing, . [bibtex] [pdf]
[176]Proceedings of the $5^th$ Fujaba Days, (Holger Giese, Albert Zündorf, Leif Geiger, eds.), . [bibtex]
2006
[175] A Survey of Approaches for the Visual Model-Driven Development of Next Generation Software-Intensive Systems (, ), In Journal of Visual Languages & Computing, volume 17, . [bibtex] [pdf]
[174] Towards Verified Model Transformations (, , , , ), In Proc. of the 3rd International Workshop on Model Development, Validation and Verification (MoDeVa), Genova, Italy (David Hearnden, J.G. Süß, Benoît Baudry, Nicolas Rapin, eds.), Le Commissariat à l'Energie Atomique - CEA, . [bibtex] [pdf]
[173] Incremental Model Synchronization with Triple Graph Grammars (, ), In Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy (Oscar Nierstrasz, John Whittle, David Harel, Gianna Reggio, eds.), Springer Verlag, volume 4199, . [bibtex] [pdf]
[172] Towards Verified Model Transformations (, , , ), In Proc. of the $3^rd$ International Workshop on Model Development Validation and Verification (MoDeV$^2$a), Genova, Italy (David Hearnden, J.G. Süß, Beno^it Baudry, Nicolas Rapin, eds.), Le Commissariat `a l'Energie Atomique - CEA, . [bibtex] [pdf]
[171] Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration (, ), In Proc. of the 25th International Conference on Computer Safety, Security and Reliability (SAFECOMP), Gdansk, Poland, Springer Verlag, volume 4166, . [bibtex] [pdf]
[170] Story Diagrams in Real-Time Software (, , ), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, . [bibtex] [pdf]
[169]Acute stress response for self-optimizing mechatronic systems (, , , , ), In Proc. of the IFIP Conference on Biologically Inspired Cooperative Computing (BICC 2006), Santiago, Chile, August 20-25, 2006, Springer Science and Business Media, . [bibtex]
[168] Architecture-Driven Platform Independent Deterministic Replay for Distributed Hard Real-Time Systems (, ), In Proceedings of the 2nd International Workshop on The Role of Software Architecture for Testing and Analysis (ROSATEA2006), ACM Press, . [bibtex] [pdf]
[167]Separation of Non-Orthogonal Concerns in Software Architecture and Design (, ), In Software and Systems Modeling, Springer Verlag, volume 5, . [bibtex]
[166]Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios (, , , ), In Proc. of the $5^th$ ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China, ACM Press, . [bibtex]
[165] Analysis and Design of Physical and Social Contexts in Multi-Agent Systems (, ), Chapter in Software Engineering for Multi-Agent Systems IV (Alessandro Garcia, Ricardo Choren, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, Paolo Giorgini, eds.), Springer Verlag, volume 3914, . [bibtex] [pdf]
[164]Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems (, , ), Chapter in Informatics in Control, Automation and Robotics I (J. Braz, H. Araújo, A. Vieira, B. Encarnacao, eds.), Springer Verlag, . [bibtex]
[163] Grounding Social Interactions in the Environment (, ), Chapter in Environments for Multiagent Systems II (Danny Weyns, Van Parunak, Fabien Michel, eds.), Springer Verlag, volume 3830, . [bibtex] [pdf]
[162] Modular Verificaton of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML (, ), Chapter in Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshops, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers (Jean-Michel Bruel, ed.), Springer Verlag, volume 3844, . [bibtex] [pdf]
[161]Proc. of the Fourth International Fujaba Days 2006, (Holger Giese, Bernhard Westfechtel, eds.), volume tr-ri-06-275, . [bibtex]
[160] Proc. of the 2nd Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), (Holger Giese, Bernhard Rumpe, Bernhard Schätz, eds.), . [bibtex] [pdf]
[159] Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (, , , ), In Proc. of the 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, Minnesota, USA, IEEE Computer Science, . [bibtex] [pdf]
[158] On Semantic Issues in Story Diagrams (, , ), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, . [bibtex] [pdf]
[157]Software engineering for large-scale multi-agent systems - SELMAS'05, (Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky, eds.), ACM Press, . [bibtex]
[156]Software Engineering for Large-Scale Multi-agent Systems SELMAS'06 (, , , , , ), In ICSE '06: Proceedings of the 26th International Conference on Software Engineering, ACM Press, . [bibtex]
[155]Postworkshop Proceedings of the Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 3), Heinz Nixdorf MuseumsForum, Paderborn, Germany. October 13 and 14, 2005, (Holger Giese, Oliver Niggemann, eds.), Heinz Nixdorf Institut, Universität Paderborn, . [bibtex]
[154]Integrated Visual Specification of Structural and Temporal Properties (, ), Technical report tr-ri-06-277, Computer Science Department, University of Paderborn, . [bibtex]
[153] Visual Specification of Structural and Temporal Properties (, ), Technical report tr-ri-06-276, Computer Science Department, University of Paderborn, . [bibtex] [pdf]
[152]Reusable Services for Automotive Software (), . [bibtex]
[151]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, . [bibtex]
[150]Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation (, , , , ), In Proc. of the 28th International Conference on Software Engineering (ICSE), Shanghai, China, ACM Press, . [bibtex]
[149] A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink (, , ), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, . [bibtex] [pdf]
[148] A Prototype for Guideline Checking and Model Transformation in Matlab/Simulink (, , ), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, . [bibtex] [pdf]
[147] Visual Specification of Structural and Temporal Properties (, ), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, . [bibtex] [pdf]
[146] Beyond Story Patterns: Story Decision Diagrams (, ), In Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, . [bibtex] [pdf]
[145]Analysis and Modeling of Real-Time with Mechatronic UML taking Clock Drift into Account (, , ), In Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2006, Genova, Italy (Sébastien Gérard, S. Graf, Oystein Haugen, Ilena Ober, B. Selic, eds.), volume 343, . [bibtex]
[144]A PlugIn for the Development of Resource Aware Components with Mechatronic UML (, , ), In Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany (Holger Giese, Bernhard Westfechtel, eds.), University of Paderborn, volume tr-ri-06-275, . [bibtex]
[143]Modellbasierte Entwicklung vernetzter, mechatronischer Systeme am Beispiel der Konvoifahrt autonom agierender Schienenfahrzeuge (, , , , ), In Proc. of the Fourth Paderborner Workshop Entwurf mechatronischer Systeme, volume 189, . [bibtex]
2005
[142] Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code (, , ), In Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2005), Nürnberg, Germany, Springer Verlag, volume 3748, . [bibtex] [pdf]
[141]Preliminary Proceedings of the Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 3), Heinz Nixdorf MuseumsForum, Paderborn, Germany. October 13 and 14, 2005, (Holger Giese, Oliver Niggemann, eds.), . [bibtex]
[140]Proceedings of the Educators' Symposium of the ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Half Moon Resort, Montego Bay, Jamaica. October 3, 2005, (Holger Giese, Pascal Roques, eds.), . [bibtex]
[139] Syntax and Semantics of Hybrid Components (, , ), Technical report tr-ri-05-264, University of Paderborn, . [bibtex] [pdf]
[138]Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML (, ), In Proc. of the International Workshop on Modeling and Analysis of Real-Time and Embedded Systems (MARTES), Satellite Event of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML2005, . [bibtex]
[137] Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems (, , , ), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, . [bibtex] [pdf]
[136]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, . [bibtex]
[135] Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML (, ), In Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, IEEE Computer Society Press, . [bibtex] [pdf]
[134] Extending Fault Tolerance Patterns by Visual Degradation Rules (, ), In Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, . [bibtex] [pdf]
[133] Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools (, , ), In Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA, . [bibtex] [pdf]
[132]Proc. of the Third International Fujaba Days 2005, (Holger Giese, Albert Zündorf, eds.), volume tr-ri-05-259, . [bibtex]
[131]Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML (, , ), In Model Driven Architecture: Foundations and Applications (Uwe Assmann, Arend Rensink, Mehmet Aksit, eds.), Springer Verlag, volume 3599, . () [bibtex]
[130]Evaluation von Modellierungswerkzeugen für Echtzeitsysteme (, , ), (Sven Burmester, Holger Giese, Matthias Tichy, eds.), Technical report tr-ri-05-258, University of Paderborn, . [bibtex]
[129]Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005: Workshop report (, , , , , , , ), In SIGSOFT Softw. Eng. Notes, ACM, volume 30, . [bibtex]
[128] The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems (, , , , ), In Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA, ACM Press, . [bibtex] [pdf]
[127] Analysis and Design of Physical and Social Contexts in MultiAgent Systems using UML (, ), In Proc. of the 4th Workshop on Software Engineering for Large-Scale Multi-Agent Systems (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA (Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, Tom Holvoet, Paolo Giorgini, eds.), ACM Press, . [bibtex] [pdf]
[126] Autonomous Shuttle System Case Study (, ), Chapter in Scenarios: Models, Algorithms and Tools (Stefan Leue, Tarja Systä, eds.), Springer Verlag, volume 3466, . [bibtex] [pdf]
[125] Pattern Synthesis from Multiple Scenarios for Parameterized Real-Timed UML Models (, , ), Chapter in Scenarios: Models, Algorithms and Tools (Stefan Leue, Tarja Systä, eds.), Springer Verlag, volume 3466, . [bibtex] [pdf]
[124] Separation of concerns for mechatronic multi-agent systems through dynamic communities (, ), Chapter in Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications (Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky, eds.), Springer Verlag, volume 3390, . [bibtex] [pdf]
[123] A Design Methodology for Self-Optimizing Systems (, , , , , , ), In Contributions to the 6th Braunschweig conference of Automation, Assistance and Embedded Real Time Platforms for Transportation - Air-planes, Vehicles, Trains - (AAET2005) (Gesamtzentrum für Verkehr Braunschweig e.V., ed.), GZVB, volume II, . [bibtex] [pdf]
[122] Separation of Non-Orthogonal Concerns in Software Architecture and Design (, ), Technical report tr-ri-05-254, Lehrstuhl f, . ((Version 2)) [bibtex] [pdf]
[121]Self-Optimizing Mechatronic Systems and Safety Standards: Challenges and Limits (, ), In 5. Bieleschweig Workshop: Systems Engineering: Erfahrungen mit IEC 61508, TU München, Fakultät für Maschinenwesen, Garching bei München, . [bibtex]
[120] Computing Optimal Self-Repair Actions: Damage Minimization versus Repair Time (, , , ), In Proc. of the ICSE 2005 Workshop on Architecting Dependable Systems, St. Louis, Missouri, USA (Rogério de Lemos, Alexander Romanovsky, eds.), ACM Press, . [bibtex] [pdf]
[119]A summary of the ICSE 2004 workshop on scenarios and state machines: models, algorithms, and tools (, ), In , ACM Press, volume 30, . [bibtex]
[118]Summary of the Educator's Symposium (, , ), In MoDELS'05 Satellite event proceedings, Springer Verlag, volume 3844, . [bibtex]
[117] The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML (, ), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, . [bibtex] [pdf]
[116] Reconciling Scenario-Centered Controller Design with State-Based System Models (, , , ), In Proc. of the 4th Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA (Yves Bontemps, Alexander Egyed, eds.), ACM Press, . [bibtex] [pdf]
[115]Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML (, ), Technical report tr-ri-03-266, University of Paderborn, . [bibtex]
[114] Towards the Model-Driven Development of Self-Optimizing Mechatronic Systems (), In Proc. of the Dagstuhl-Workshop: Model-Based Development of Embedded Systems (MBEES), 10.-14.9.2005, Schloss Dagstuhl, Germany (Torsten Kleín, Bernhard Rumpe, Bernhard Schätz, eds.), . (Technical Report TUBS-SSE-2005-01, TU Braunschweig, Germany) [bibtex] [pdf]
2004
[113] Towards the Automatic Verification of Inductive Invariants for Infinite State UML Models (, ), Technical report tr-ri-04-252, University of Paderborn, . [bibtex] [pdf]
[112]Procedure for the design and/or operation of composable components (TYCS), Patent DE 100 65 286 B4 2004.12.09 (), . [bibtex]
[111] Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration (, , , ), In Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA, ACM Press, . [bibtex] [pdf]
[110] Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns (, , ), In Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA, . [bibtex] [pdf]
[109] Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite (, , , ), In Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004, . [bibtex] [pdf]
[108] Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components (, , , ), In Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France (C. Bobeanu, ed.), EOROSIS Publications, . [bibtex] [pdf]
[107] Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation (, , , ), In Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy (B. Georgio, ed.), ACM Press, . [bibtex] [pdf]
[106] Component Templates for Dependable Real-Time Systems (, , ), In Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany (Andy Schürr, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-253, . [bibtex] [pdf]
[105] Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL (, , ), In Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany (Andy Schürr, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-253, . [bibtex] [pdf]
[104] Compositional Hazard Analysis of UML Component and Deployment Models (, , ), In Proc. of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Potsdam, Germany (Maritta Heisel, Peter Liggesmeyer, S. Wittmann, eds.), Springer Verlag, volume 3219, . [bibtex] [pdf]
[103]Proc. of the Second International Fujaba Days 2004, (Holger Giese, Andy Schürr, Albert Zündorf, eds.), volume tr-ri-04-253, . [bibtex]
[102] Tool Integration at the Meta-Model Level within the FUJABA Tool Suite (, , , , , , , ), In International Journal on Software Tools for Technology Transfer (STTT), Springer Verlag, volume 6, . [bibtex] [pdf]
[101] Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems (, , ), In Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal (Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, eds.), INSTICC Press, . [bibtex] [pdf]
[100] Structured Information Processing For Self-optimizing Mechatronic Systems (, , ), In Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal (Helder Araujo, Alves Vieira, Jose Braz, Bruno Encarnacao, Marina Carvalho, eds.), INSTICC Press, . [bibtex] [pdf]
[99] Modular Generation and Simulation of Mechatronic Systems (, , , ), In Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA (N. Callaos, W. Lesso, B. Sanchez, eds.), International Institute of Informatics and Systemics (IIIS), . [bibtex] [pdf]
[98] Modular Generation and Simulation of Mechatronic Systems (, , , ), In Proc. of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, USA, . [bibtex] [pdf]
[97]Shared Experiences In Intelligent Transportation Systems (, , , , ), In Proc. of the IAV 2004 - The 5th Symposium on Intelligent Autonomous Vehicles, Lisbon, Portugal (M. Ribeiro, J. Santos-Victor, eds.), Elsevier Science, . [bibtex]
[96]Proc. of the Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM04), (Holger Giese, Ingolf Krüger, eds.), IEE, . (Workshop W5S of the 26th International Conference on Software Engineering) [bibtex]
[95] Modeling Reconfigurable Mechatronic Systems with Mechatronic UML (, , ), In Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden (U. Aßmann, ed.), . [bibtex] [pdf]
[94] Advanced separation of concerns for mechatronic multi-agent systems through dynamic communities (, ), In Proc. of the 3rd Workshop on Software Engineering for Large-Scale Multi-Agent Systems (in Conjunction with the International Conference on Software Engineering), Edinburgh, Scotland (Ricardo Choren, al, eds.), IEE, . [bibtex] [pdf]
[93]Analysis and Synthesis for Parameterized Timed Sequence Diagrams (, ), In Proc. of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (ICSE 2003 Workshop W5S), Edinburgh, Scotland (Holger Giese, Ingolf Krüger, eds.), IEEE, . [bibtex]
[92] Ontologiebasiertes Rapid Prototyping fur kognitive Multiagentensysteme (, ), In Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und fur die Softwaretechnik, Marburg, 2004, . [bibtex] [pdf]
[91]Ontologiebasiertes Rapid Prototyping für kognitive Multiagentensysteme (, ), In Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und für die Softwaretechnik, Conradin Verlag, Marburg, . [bibtex]
[90] Ontologiebasiertes Rapid Prototyping fur kognitive Multiagentensysteme (, ), In Modellierung 2004 - Praktischer Einsatz von Modellen, Workshop W4: Ontologien in der und fur die Softwaretechnik, Marburg, 2004, . [bibtex] [pdf]
[89] A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services (, ), Chapter in Architecting Dependable Systems II (Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, eds.), Springer Verlag, volume 3069, . [bibtex] [pdf]
[88]Third Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM'04) (, ), In Proc. of the 26th International Conference on Software Engineering, IEEE Computer Society Press, . [bibtex]
[87] Strukturierte Informationsverarbeitung für selbstoptimierende mechatronische Systeme (, , ), In Proc. of the Second Paderborner Workshop Intelligente Mechatronische Systeme, volume 145, . [bibtex] [pdf]
[86]Shuttle System Case Study (, , ), volume Version 1.0, . [bibtex]
[85]Selbstoptimierende Systeme des Maschinenbaus - Definitionen und Konzepte (, , , , , , , ), (Jürgen Gausemeier, ed.), Heinz Nixdorf Institut, Universität Paderborn, . [bibtex]
[84] Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems (, , ), Technical report tr-ri-03-246, University of Paderborn, . [bibtex] [pdf]
[83]Design of self-managing dependable systems with UML and fault tolerance patterns (, , ), In WOSS '04: Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, ACM Press, . [bibtex]
2003
[82] Seamless UML Support for Service-based Software Architectures (, ), In Proc. of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI) 2003, Luxembourg (Nicolas Guelfi, E. Artesiano, G. Reggio, eds.), Springer Verlag, volume 2952, . [bibtex] [pdf]
[81]Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (, , , , ), In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages (OOPSLA) 2003 - Second International Workshop on Agent-Oriented Methodologies, Anaheim, CA, USA, . [bibtex]
[80] Code Generation for Hard Real-time Systems from Real-time Statecharts (, , ), Technical report tr-ri-03-244, University of Paderborn, . [bibtex] [pdf]
[79] The Fujaba Real-Time Statechart PlugIn (, ), In Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-247, . [bibtex] [pdf]
[78] A Plug-In for Flexible and Incremental Consistency Management (, , ), In Proc. of the Workshop on Consistency Problems in UML-based Software Development II, International Conference on the Unified Modeling Language 2003, San Francisco, USA, Blekinge Institute of Technology, Sweden, volume 6, . [bibtex] [pdf]
[77] Towards the Incremental Model Checking of Complex RealTime UML Models (, ), In Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-247, . [bibtex] [pdf]
[76]Proc. of the First International Fujaba Days 2003, (Holger Giese, Albert Zündorf, eds.), volume tr-ri-04-247, . [bibtex]
[75] Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML (, , , , ), In OOPSLA 2003 - Second International Workshop on Agent-Oriented Methodologies (Brian Henderson-Sellers, J Debenham, eds.), . [bibtex] [pdf]
[74] Tool Integration at the Meta-Model Level within the FUJABA Tool Suite (, , , , , , , ), In Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003, . [bibtex] [pdf]
[73] Towards the Compositional Verification of Real-Time UML Designs (, , , , ), In Proc. of the 9th european software engineering conference held jointly with 11th ACM SIGSOFT international symposium on foundations of software engineering (ESEC/FSE-11), Helsinki, Finland, ACM Press, . [bibtex] [pdf]
[72] Towards the Compositional Verification of Real-Time UML Designs (, , , , , ), Technical report tr-ri-03-241, Lehrstuhl für Softwaretechnik, Universität Paderborn, . [bibtex] [pdf]
[71] A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems. (), Technical report tr-ri-03-240, Lehrstuhl für Softwaretechnik, Universität Paderborn, . [bibtex] [pdf]
[70] Real-Time Statechart Semantics (, ), Technical report tr-ri-03-239, Lehrstuhl für Softwaretechnik, Universität Paderborn, . [bibtex] [pdf]
[69]An Architecture for Configurable Dependability of Application Services (, ), In Proc. of the Workshop on Software Architectures for Dependable Systems (WADS) (International Conference on Software Engineering 2003 Workshop 7), Portland, USA (Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, eds.), . [bibtex]
[68] Towards Scenario-Based Synthesis for Parametric Timed Automata (), In Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop 8), Portland, USA, . [bibtex] [pdf]
[67]Separation of Non-Orthogonal Concerns in Software Architecture and Design (, ), Technical report tr-ri-03-238, Universität Paderborn, . [bibtex]
[66] Software Engineering Education: The Synergy of Combined Research and Teaching (, , , , , , , ), Technical report tr-ri-03-237, University of Paderborn, . [bibtex] [pdf]
[65]Towards Scenario–Based Synthesis for Parametric Timed Automata (), In Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), Portland, USA (ICSE 2003 Workshop 8), . [bibtex]
2002
[64] Towards Data Dependency Detection in Web Information Systems (, , , ), In Proc. of the Database Maintenance and Reengineering Workshop (DBMR'2002), Montreal, Canada. (ICSM 2002 Workshop), . [bibtex] [pdf]
[63] Towards Design Verification and Validation at Multiple Levels of Abstraction (, , ), In Proc. of IFIP World Computer Congress, Stream 7 on Distributed and Parallel Embedded Systems (DIPES2002), Montreal, Canada., Kluwer Academic Publishers, . [bibtex] [pdf]
[62]Integrating Verification in a Design Process for Distributed Production Control Systems (, , ), In Proc. of Second International Workshop on Integration of Specification Techniques for Applications in Engineering (INT2002), Grenoble, France, . [bibtex]
[61]Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation (, ), In OMER - Object-oriented Modeling of Embedded Real-Time Systems, Gesellschaft für Informatik, volume P5, . [bibtex]
[60] Reporting about Industrial Strength Software Engineering Courses for Undergraduates (, , , , , , ), In Proc. of the $24^th$ International Conference on Software Engineering (ICSE), Orlando, Florida, USA, ACM Press, . [bibtex] [pdf]
2001
[59]A Jini-supported Distributed Version and Configuration Management System (, , ), In Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA, International Society for Optical Engineering, volume 4521, . [bibtex]
[58]Agent-Oriented Modelling of Distributed Systems with the Object Coordination Net Approach (), In Workshop on Modelling of Objects, Components, and Agents (MOCA'01), 27-28 August 2001, Aarhus, Denmark (Daniel Moldt, ed.), . [bibtex]
[57]Towards Ruling Component-Based Distributed Systems with Role-Based Modeling and Cross-Cutting Aspects (), In Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001, Toronto, Ontario, Canada (Peri Tarr, Harold Ossher, eds.), . [bibtex]
[56]Object Coordination Nets 3.0: Semantics Specification (), Technical report 3/01-I, University Münster, Computer Science, Distributed Systems Group, . [bibtex]
[55]Object-Oriented Design and Architecture of Distributed Systems (), PhD thesis, Westfälische Wilhelms-Universität Münster, Fachbereich Mathematik und Informatik, . [bibtex]
[54]Object Coordination Nets 3.0: Synchronization Behavior Typing for Contracts (), Technical report 2/01-I, University Münster, Computer Science, Distributed Systems Group, . [bibtex]
[53]Object Coordination Nets 3.0: Reference Guide (), Technical report 1/01-I, University Münster, . [bibtex]
[52] The OCoN Approach to Workflow Modeling in Object-Oriented Systems (, , ), In Information Systems Frontiers, volume 3, . [bibtex] [pdf]
[51]Typed Component Systems, Version 1.0 (), Technical report Bericht tr-ri-01-224 Reihe Informatik, Fachbereich Mathematik-Informatik, Universität Paderborn, . [bibtex]
[50]Separation of Concerns and Roles in the Object Coordination Nets Approach (), In Workshop Aspektorientierung der GI-Fachgrupppe 2.1.9 Objektorientiere Software-Entwicklung 3.- 4. Mai 2001, Paderborn, Germany (Katharina Mehner, Mira Mezini, E. Pulvermüller, A. Speck, eds.), . [bibtex]
[49] Object-Oriented Design and Architecture of Distributed Systems (), Shaker Verlag, . [bibtex] [pdf]
[48] The OCoN Approach for Object-Oriented Distributed Software Systems Modeling (, ), In Computer Systems Science & Engineering, volume 16, . [bibtex] [pdf]
[47] Visual Modeling of Object-oriented Distributed Systems (, ), In Journal of Visual Languages and Computing, volume 12, . [bibtex] [pdf]
[46]Reengineering for Evolution of Distributed Information Systems (, ), In 3rd International Workshop on Net-Centric Computing (NCC 2001), May 14, 2001; Toronto, Canada (Scott Tilley, ed.), . [bibtex]
[45]Visuelle Verhaltensmodellierung verteilter und nebenläufiger Systeme, Bericht vom 8. GROOM-Workshop (, ), In GI Softwaretechnik-Trends, volume 21, . ((German)) [bibtex]
[44]Towards Modular Modeling and Simulation of Production Control Systems (, ), In Proc. of the Workshop on object-oriented modeling of embedded real-time systems (OMER-2) (Andy Schürr, ed.), . (Techreport 2001-03, Universität der Bundeswehr München) [bibtex]
[43]A Jini-supported Distributed Version and Configuration Management System (, , ), In Proc. of the International Symposium on Convergence of IT and communications (ITCom2001), Denver, USA (Sudipto Ghosh, ed.), . [bibtex]
[42] Reengineering for Evolution of Distributed Information Systems (, ), In Proc. of the $3^rd$ International Workshop on Net-Centric Computing: Migrating to the Web (NCC 2001), Toronto, Canada. (ICSE 2001 Workshop 10) (Scott Tilley, ed.), . [bibtex] [pdf]
[41] Towards Modular Modelling and Simulation of Production Control Systems (, ), In In Proc. of the $2^nd$ Workshop on Object-Oriented Modeling of Embedded Realtime Software (OMER 2) Workshop Proceedings, Ammersee, M, . [bibtex] [pdf]
2000
[40]Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, 8. Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, 13.-14. November 2000, Universität Münster, (Holger Giese, Stephan Philippi, eds.), . (Techreport 24/00-I) [bibtex]
[39] Towards Aspect-oriented Design and Architecture (, ), In Workshop on Advanced Separation of Concerns (OOPSLA 2000) (Peri Tarr, Lodewijk Bergmans, Martin Griss, Harold Ossher, eds.), . [bibtex] [pdf]
[38]Extending UML with Workflow Modeling Capabilities (, , ), In 7th International Conference on Cooperative Information Systems (CoopIS-2000), 6-8 September, Eilat, Israel (Opher Etzion, Peter Scheuermann, eds.), Springer Verlag, volume 1901, . [bibtex]
[37]Skalierbare Beschreibung des Verhaltens verteilter Softwaresysteme (, ), In Proc. des 10. GI/ITG-Fachgesprächs Formale Beschreibungstechniken, GI-FG Kommunikation und verteilte Systeme, Luebeck, 22.-23.06, Gesellschaft für Informatik, . ((German)) [bibtex]
[36]Early Evaluation of Design Options for Distributed Systems (, ), In Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'2000), Limerick, Ireland, IEEE Press, . [bibtex]
[35]Objektorientierte Modellierung verteilter Systeme. Modellierungsbeispiele aus dem gleichnamigen Seminar an der Westfälische Wilhelms-Univeristät im Wintersemester 1999/2000, (Holger Giese, Jörg Graf, eds.), . (Techreport 04/00-I (German)) [bibtex]
[34]Synchronization Behavior Typing for Contracts in Component-based Systems (), Technical report, University Münster, Computer Science, Distributed Systems Group, . [bibtex]
[33]Contract-based Component System Design (), In Thirty-Third Annual Hawaii International Conference on System Sciences (HICSS-33), Maui, Hawaii, USA (Jr. Ralph H. Sprague, ed.), IEEE Press, . [bibtex]
[32] Contract-Based Component System Design (), In HICSS, . [bibtex] [pdf]
[31]Using UML and Object-Coordination-Nets for Workflow Specification (, ), In IEEE International Conference on Systems, Man, and Cybernetics (SMC'2000), IEEE Press, volume 5, . [bibtex]
[30]Modellierung verteilter Systeme nach dem OCoN/UML-Ansatz (, , ), . (Slides (german) for a talk at 7. Fachgruppentreffen der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung im Rahmen der OOP2000, München) [bibtex]
[29] Präzisierung des UML-Metamodells durch ein semantisches Objektmodell (, , ), In GI Softwaretechnik-Trends, volume 20, . (Beitrag fur den 7-ten GROOM-Workshop ''UML – Erweiterungen (Profile) und Konzepte der Metamodellierung'', (German)) [bibtex] [pdf]
[28]Visual Modeling of Object-oriented Distributed Systems (, ), In Workshop Visual Methods for Parallel and Distributed Programming at the IEEE International Symposium on Visual Languages (VL'2000), Seattle, WA, USA, September 14, . [bibtex]
[27]The OCoN Approach for Object-Oriented Distributed Software Systems Modeling (, ), In Software Engineering and Petri Nets, Workshop within the 21st International Conference on Application and Theory of Petri Nets, Aarhus, Denmark, June 26, . [bibtex]
[26]Towards Aspect-oriented Design and Architecture (, ), In Workshop on Advanced Separation of Concerns held at the 15th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications October 15-19, 2000, Minneapolis, Minnesota, USA (Peri Tarr, Lodewijk Bergmans, Martin Griss, Harold Ossher, eds.), . [bibtex]
1999
[25]Towards a Dynamic Model for the UML (), In 14th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications November 1-5, 1999, Denver, Colorado, USA. Workshop: Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Robert France, Jean-Michel Bruel, Brian Henderson-Sellers, Ana Moreira, Bernhard Rumpe, eds.), . [bibtex]
[24]Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (, , ), In UML'99 - The Second International Conference on The Unified Modeling Language Fort Collins, Colorado, USA (Robert France, Bernhard Rumpe, eds.), Springer Verlag, volume 1723, . [bibtex]
[23]Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems (, , ), In IEEE Symposium On Visual Languages, Tokyo, Japan, IEEE Press, . [bibtex]
[22]Contract-based Coordination of Distributed Object Systems (, , ), In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Las Vegas, Nevada (H. R. Arabnia, ed.), CSREA Press, . [bibtex]
[21]A Real Object-Oriented Visual Design Language for Distributed Software Systems (, , ), Technical report, University Münster, Computer Science, . (06/99-I) [bibtex]
[20]Seamless Visual Object-Oriented Behavior Modeling for Distributed Software Systems (, , ), Technical report, University Münster, Computer Science, . (04/99-I) [bibtex]
[19]Behavior Specification for Contract based Distributed Object Systems (), Technical report, University Münster, . (05/99-I) [bibtex]
[18]Contract-based Component System Design (), Technical report, University Münster, . (23/99-I (published Jan/2000)) [bibtex]
[17]Object Coordination Nets 2.0 – Semantics Specification (), Technical report, University Münster, Computer Science, . (15/99-I) [bibtex]
[16]Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (, , ), Technical report, University Münster, . (16/99-I) [bibtex]
[15]Verhaltensmodellierung eingebetteter Systeme mit dem OCoN-Ansatz (, , ), In OMER - Objektorientierte Modellierung eingebetteter Realzeitsysteme, Workshop des Arbeitskreises GROOM der GI-Fachgruppe 2.1.9 OOSE, 28./29. Mai 1999 Herrsching am Ammersee, GERMANY (Peter Hofmann, Andy Schürr, eds.), . (Techreport 1999-01, Universität der Bundeswehr München) [bibtex]
1998
[14]Modeling Distributed Software Systems with Object Coordination Nets (, , ), In Int. Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), Kyoto, Japan (Bernd Krämer, Naoshi Uchihira, Peter Croll, Stefano Russo, eds.), IEEE Press, . [bibtex]
1997
[13]Object Coordination Nets: Modeling Example (), Technical report, University of Munster, Computer Science Institute, . ((provisional version)) [bibtex]
[12]Object Coordination Nets: Relations to other OO Nets (), Technical report, University of Munster, Computer Science Institute, . ((provisional version)) [bibtex]
[11]Object Coordination Nets: Projekt Plan (), Technical report, University of Munster, Computer Science Institute, . ((provisional version in GERMAN)) [bibtex]
[10]Object Coordination Nets: Analyse und Synthese (), Technical report, University of Munster, Computer Science Institute, . ((provisional version in GERMAN, very SHORT)) [bibtex]
[9]Modular Development of Correct Meander Programs (, ), In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada (H. R. Arabnia, ed.), CSREA Press, . [bibtex]
[8]Ruling the Behavior of Distributed Software Components (, , ), In Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), Las Vegas, Nevada (H. R. Arabnia, ed.), CSREA Press, . [bibtex]
[7]Object Coordination Nets – A Formalism to Describe Parallel and Distributed Methods (, , ), Technical report, Universiy Münster, Computer Science, Distributed Systems Group, . (TR-97-01) [bibtex]
[6]Object Coordination Nets: Formal Semantic (), Technical report, University of Munster, Computer Science Institute, . ((provisional version)) [bibtex]
1996
[5]Object Coordination Nets: Intro (), Technical report, University of Munster, Computer Science Institute, . ((provisional version in GERMAN)) [bibtex]
[4]Object Coordination Nets: Thesen zum Design verteilter Systeme (), Technical report, University of Munster, Computer Science Institute, . ((provisional version in GERMAN)) [bibtex]
[3] Modularization and Abstraction in Meander (), Technical report, Universitat–Gesamthochschule Siegen/ Fachbereich 12, . [bibtex] [pdf]
1994
[2]Realisierung eines dynamischen CSP Programmiermodells fur ANSI-C unter Helios (, , ), In Proc. Transputer-Anwender-Treffen, TAT-94, Aachen, Germany (R. Flieger, R. Grebe, eds.), IOS Press, . ((German)) [bibtex]
[1]Providing CSP-like Functionality in a Helios Environment (, , ), In Proc. 17th WoTUG Technical Meeting, Bristol, UK (R. Miles, A. Chalmers, eds.), IOS Press, . [bibtex]
Powered by bibtexbrowser