Publications
|
2025 |
|
Gerhard Schellhorn, Stefan Bodenmüller and Wolfgang Reif. 2025. Verification of forward simulations with thread-local, step-local proof obligations. Science of Computer Programming 241, 103227. DOI: 10.1016/j.scico.2024.103227 |
|
2023 |
|
Julian Hanke, Matthias Stueben, Christian Eymüller, Maximilian Müller, Alexander Poeppel and Wolfgang Reif. 2023. CASP: Computer Aided Specimen Placement for robot-based component testing. In Giuseppina Gini, Henk Nijmeijer, Dimitar Filev (Eds.). Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics (ICINCO), November 13-15, 2023, in Rome, Italy: volume 1. SciTePress, Setúbal, 374-382 DOI: 10.5220/0012155000003543 |
|
Simon Stieber, Leonard Heber, Christof Obertscheider and Wolfgang Reif. 2023. Control of composite manufacturing processes through deep reinforcement learning. In Mihai Boicu, Moamar Sayed-Mouchaweh, Arif Wani (Eds.). 2023 International Conference on Machine Learning and Applications (ICMLA), 15-17 December 2023, Jacksonville, FL, USA. IEEE, Piscataway, NJ, 17-22 DOI: 10.1109/icmla58977.2023.00011 |
|
Simon Stieber, Niklas Schröter, Ewald Fauster, Marcel Bender, Alexander Schiendorfer and Wolfgang Reif. 2023. Inferring material properties from FRP processes via sim-to-real learning. The International Journal of Advanced Manufacturing Technology 128, 3-4, 1517-1533. DOI: 10.1007/s00170-023-11509-8 |
|
Gerhard Schellhorn, Stefan Bodenmüller and Wolfgang Reif. 2023. Refinement and separation: modular verification of wandering trees. Lecture Notes in Computer Science 14300, 214-234. DOI: 10.1007/978-3-031-47705-8_12 |
|
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich and Wolfgang Reif. 2023. Separating separation logic – modular verification of red-black trees. Lecture Notes in Computer Science 13800, 129-147. DOI: 10.1007/978-3-031-25803-9_8 |
|
Gerhard Schellhorn, Stefan Bodenmüller and Wolfgang Reif. 2023. Thread-local, step-local proof obligations for refinement of state-based concurrent systems. Lecture Notes in Computer Science 14010, 70-87. DOI: 10.1007/978-3-031-33163-3_6 |
|
Dominik Mueller, Silvan Mertes, Niklas Schroeter, Fabio Hellmann, Miriam Elia, Bernhard Bauer, Wolfgang Reif, Elisabeth André and Frank Kramer. 2023. Towards automated COVID-19 presence and severity classification. In Maria Hägglund, Madeleine Blusi, Stefano Bonacina, Lina Nilsson, Inge Cort Madsen, Sylvia Pelayo, Anne Moen, Arriel Benis, Lars Lindsköld and Parisis Gallos (Ed.). Caring is sharing – exploiting the value in data for health and innovation. IOS Press, Amsterdam (Studies in Health Technology and Informatics ; 302), 917-921. DOI: 10.3233/shti230309 |
|
Christian Eymüller, Julian Hanke, Alexander Poeppel and Wolfgang Reif. 2023. Towards self-configuring plug & produce robot systems based on ontologies. In Anthony Tzes, Ramesh K. Agarwal, Xin-She Yang, Farshad Khorrami (Eds.). ICARA 2023: 2023 9th International Conference on Automation, Robotics and Applications, February 10-12, 2023, Abu Dhabi, United Arab Emirates. IEEE, Piscataway, NJ, 23-27 DOI: 10.1109/ICARA56516.2023.10126075 |
|
Martin Schörner, Constantin Wanninger, Raphael Katschinsky, Simon Hornung, Christian Eymüller, Alexander Poeppel and Wolfgang Reif. 2023. UAV inspection of large components: determination of alternative inspection points and online route optimization. In 2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE), 15 May 2023, Melbourne, Australia. IEEE, Piscataway, NJ, 45-52 DOI: 10.1109/RoSE59155.2023.00012 |
|
2022 |
|
Carola Lenzen, Alexander Schiendorfer and Wolfgang Reif. 2022. A recommendation system for CAD assembly modeling based on graph neural networks. In ECML/PKDD 2022: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Grenoble, France, 19-23 September 2022. , 1-17 |
|
Daniel Bermuth, Alexander Poeppel and Wolfgang Reif. 2022. Finstreder: simple and fast spoken language understanding with finite state transducers using modern speech-to-text models. preprint. DOI: 10.48550/arXiv.2206.14589 |
|
Carola Lenzen, Alexander Schiendorfer and Wolfgang Reif. 2022. Graph machine learning for assembly modeling. In LoG 2022: The First Learning on Graphs Conference, 9-12 December 2022, virtual event. |
|
Daniel Bermuth, Alexander Poeppel and Wolfgang Reif. 2022. Jaco: an offline running privacy-aware voice assistant. In Daisuke Sakamoto, Astrid Weiss, Masahiro Shiomi, Laura M. Hiatt, Selma Šabanović (Eds.). 2022 17th ACM/IEEE International Conference on Human-Robot Interaction (HRI), 7-10 March 2022, Sapporo, Japan. IEEE, Piscataway, NJ, 618-622 DOI: 10.1109/HRI53351.2022.9889574 |
|
Julian Hanke, Christian Eymüller, Alexander Poeppel, Julia Reichmann, Anna Trauth, Markus Sause and Wolfgang Reif. 2022. Sensor-guided motions for robot-based component testing. In Davide Brugali, Phillip C.-Y. Sheu, Jeffrey Tsai (Eds.). 2022 Sixth IEEE International Conference on Robotic Computing (IRC), 5-7 December 2022, Naples, Italy. IEEE, Piscataway, NJ, 81-84 DOI: 10.1109/irc55401.2022.00021 |
|
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich and Wolfgang Reif. 2022. Software & system verification with KIV. Lecture Notes in Computer Science 13360, 408-436. DOI: 10.1007/978-3-031-08166-8_20 |
|
Julian Hanke, Christian Eymüller, Julia Reichmann, Anna Trauth, Markus Sause and Wolfgang Reif. 2022. Software-defined testing facility for component testing with industrial robots. In 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 6-9 September 2022, Stuttgart, Germany. IEEE, Piscataway, NJ, 1-8 DOI: 10.1109/etfa52439.2022.9921625 |
|
Martin Schörner, Raphael Katschinksy, Constantin Wanninger, Alwin Hoffmann and Wolfgang Reif. 2022. Towards fully automated inspection of large components with UAVs: offline path planning and view angle dependent optimization strategies. In Oleg Gusikhin, Kurosh Madani and Janan Zaytoon (Ed.). Informatics in Control, Automation and Robotics: 17th International Conference, ICINCO 2020, Lieusaint - Paris, France, July 7–9, 2020, Revised Selected Papers. Springer, Cham (Lecture Notes in Electrical Engineering ; 793), 105-123. DOI: 10.1007/978-3-030-92442-3_7 |
|
Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. 2022. Verification of crashsafe caching in a virtual file system switch. Formal Aspects of Computing 34, 1, 2. DOI: 10.1145/3523737 |
|
2021 |
|
Jonas Wilfert, Niklas Paprotta, Oliver Kosak, Simon Stieber, Alexander Schiendorfer and Wolfgang Reif. 2021. A real-word realization of the AntNet routing algorithm with ActivityBots. In Esam El-Araby, Vana Kalogeraki, Danilo Pianini, Frédéric Lassabe, Barry Porter, Sona Ghahremani, Ingrid Nunes, Mohamed Bakhouya and Sven Tomforde (Ed.). 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), DC, USA, 27 September - 1 October 2021. IEEE, Piscataway, NJ, 289-290. DOI: 10.1109/ACSOS-C52956.2021.00072 |
|
Miriam Elia, Carola Gajek, Alexander Schiendorfer and Wolfgang Reif. 2021. An interactive web application for decision tree learning. In Bernd Bischl, Oliver Guhr, Heidi Seibold and Peter Steinbach (Ed.). Proceedings of the Teaching Machine Learning Workshop at ECML-PKDD 2020, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 14 September 2020, Virtual Conference. ML Research Press (PMLR - Proceedings of Machine Learning Research ; 141), 11-16. |
|
Martin Schörner, Constantin Wanninger, Alwin Hoffmann, Oliver Kosak and Wolfgang Reif. 2021. Architecture for emergency control of autonomous UAV ensembles. In 3rd International Workshop on Robotic Software Engineering (RoSE’21), co-located with ICSE 2021, Virtual, Madrid, Spain, May 23 – 29, 2021. IEEE, Piscataway, NJ, 41-46 DOI: 10.1109/RoSE52553.2021.00014 |
|
Matthias Stueben, Alwin Hoffmann and Wolfgang Reif. 2021. Constraint-based whole-body-control of mobile manipulators in human-centered environments. In Moris Behnam, Lucia Lo Bello, Thomas Nolte, Marco Porta (Eds.). 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 7-10 September 2021, Vasteras, Sweden. IEEE, Piscataway, NJ, 1-8 DOI: 10.1109/etfa45728.2021.9613281 |
|
Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak and Wolfgang Reif. 2021. Distributed constraint optimization for task allocation in self-adaptive manufacturing systems. In Esam El-Araby, Vana Kalogeraki, Danilo Pianini, Frédéric Lassabe, Barry Porter, Sona Ghahremani, Ingrid Nunes, Mohamed Bakhouya and Sven Tomforde (Ed.). 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), 27 September - 1 October 2021, DC, USA. IEEE, Piscataway, NJ, 62-67. DOI: 10.1109/acsos-c52956.2021.00034 |
|
Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich and Wolfgang Reif. 2021. Flashix: modular verification of a concurrent and crash-safe flash file system. Lecture Notes in Computer Science 12750, 239-265. DOI: 10.1007/978-3-030-76020-5_14 |
|
Jonas Wilfert, Simon Stieber, Frederik Wilhelm and Wolfgang Reif. 2021. Genetic programming for fiber-threading for fiber-reinforced plastics. In Moris Behnam, Lucia Lo Bello, Thomas Nolte, Marco Porta (Eds.). 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Vasteras, Sweden, 7-10 September 2021. IEEE, Piscataway, NJ, 1-8 DOI: 10.1109/etfa45728.2021.9613726 |
|
Ludwig Nägele, Andreas Schierl, Alwin Hoffmann and Wolfgang Reif. 2021. Multi-robot cooperation for assembly: automated planning and optimization. In Oleg Gusikhin, Kurosh Madani, Janan Zaytoon (Eds.). Informatics in Control, Automation and Robotics: 16th International Conference, ICINCO 2019, Prague, Czech Republic, July 29-31, 2019, revised selected papers. Springer, Cham, 169-192 DOI: 10.1007/978-3-030-63193-2_10 |
|
Simon Stieber, Niklas Schroter, Ewald Fauster, Alexander Schiendorfer and Wolfgang Reif. 2021. PermeabilityNets: comparing neural network architectures on a sequence-to-instance task in CFRP manufacturing. In M. Arif Wani, Ishwar Sethi, Weisong Shi, Guangzhi Qu, Daniela Stan Raicu, Ruoming Jin (Eds.). 2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA), Pasadena, CA, USA, 13-16 December 2021. IEEE, Piscataway, NJ, 694-697 DOI: 10.1109/icmla52953.2021.00116 |
|
Constantin Wanninger, Sebastian Rossi, Martin Schörner, Alwin Hoffmann, Alexander Poeppel, Christian Eymüller and Wolfgang Reif. 2021. ROSSi a graphical programming interface for ROS 2. In 2021 21st International Conference on Control, Automation and Systems (ICCAS), 12-15 October 2021, Jeju, Republic of Korea. IEEE, Piscataway, NJ, 255-262 DOI: 10.23919/ICCAS52745.2021.9649736 |
|
Christian Eymüller, Julian Hanke, Alwin Hoffmann, Wolfgang Reif, Markus Kugelmann and Florian Gratz. 2021. RealCaPP: Real-time capable Plug & Produce communication platform with OPC UA over TSN for distributed industrial robot control. In 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), 23-27 August 2021, Lyon, France. IEEE, Piscataway, NJ, 585-590 DOI: 10.1109/case49439.2021.9551484 |
|
Daniel Bermuth, Alexander Poeppel and Wolfgang Reif. 2021. Scribosermo: fast speech-to-text models for German and other languages. preprint. DOI: 10.48550/arXiv.2110.07982 |
|
Constantin Wanninger, Luca Alfano, Martin Schörner, Alwin Hoffmann, Oliver Kosak and Wolfgang Reif. 2021. Semantic plug and play: an architecture combining linked data and reconfigurable hardware. In Dick Bulterman, Atsushi Kitazawa, David Ostrowski, Phillip Sheu and Jeffrey Tsai (Ed.). 2021 IEEE 15th International Conference on Semantic Computing (ICSC), 27-29 January 2021, Laguna Hills, CA, USA, virtual event. IEEE, Piscataway, NJ, 203-206. DOI: 10.1109/icsc50631.2021.00043 |
|
Christian Eymüller, Julian Hanke, Alwin Hoffmann, Alexander Poeppel, Constantin Wanninger and Wolfgang Reif. 2021. Towards a real-time capable plug & produce environment for adaptable factories. In Moris Behnam, Lucia Lo Bello, Thomas Nolte, Marco Porta (Eds.). 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Vasteras, Sweden, 7-10 September 2021. IEEE, Piscataway, NJ, 1-4 DOI: 10.1109/etfa45728.2021.9613729 |
|
Alexander Schiendorfer, Carola Gajek and Wolfgang Reif. 2021. Turning software engineers into machine learning engineers. In Bernd Bischl, Oliver Guhr, Heidi Seibold, Peter Steinbach (Eds.). Proceedings of the First Teaching Machine Learning and Artificial Intelligence Workshop at ECML-PKDD 2020, 14 September 2020, virtual conference. ML Research Press, 36-41 |
|
Martin Schörner, Michelle Bettendorf, Constantin Wanninger, Alwin Hoffmann and Wolfgang Reif. 2021. UAV inspection of large components: indoor navigation relative to structures. In Oleg Gusikhin, Henk Nijmeijer and Kurosh Madani (Ed.). Proceedings of the 18th International Conference on Informatics in Control, Automation and Robotics - ICINCO, July 6-8, 2021. SciTePress, Setúbal, 179-186. DOI: 10.5220/0010556301790186 |
|
2020 |
|
Carola Gajek, Alexander Schiendorfer and Wolfgang Reif. 2020. A chained neural network model for photovoltaic power forecast. Lecture Notes in Computer Science 11943, 566-578. DOI: 10.1007/978-3-030-37599-7_47 |
|
Gerhard Schellhorn, Stefan Bodenmüller, Jörg Pfähler and Wolfgang Reif. 2020. Adding concurrency to a sequential refinement tower. Lecture Notes in Computer Science 12071, 6-23. DOI: 10.1007/978-3-030-48077-6_2 |
|
Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak and Wolfgang Reif. 2020. Deadlock avoidance for multiple tasks in a self-organizing production cell. In Tarek El-Ghazari, Manish Parashar, Jan-Philipp Steghöfer (Eds.). 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) 2020, 17-21 August 2020, Washington, DC, USA. IEEE, Piscataway, NJ, 178-187 DOI: 10.1109/ACSOS49614.2020.00040 |
|
Frank Kramer, Wolfgang Reif, Matthias Schmidt, Thomas Schneider, Karin Thieme and Theo Ungerer. 2020. Die Fakultät für Angewandte Informatik: partnerschaftliche Lösungen für globale Herausforderungen. In Hubert Zapf (Ed.). Wissenschaft, Kreativität, Verantwortung - 50 Jahre Universität Augsburg. Schnell & Steiner, Regensburg, 182-199. |
|
Simon Stieber, Niklas Schröter, Alexander Schiendorfer, Alwin Hoffmann and Wolfgang Reif. 2020. FlowFrontNet: improving carbon composite manufacturing with CNNs. In European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases - ECML PKDD 2020, 14-18 September 2020. |
|
Julia Krützmann, Alexander Schiendorfer, Sergej Beratz, Judith Moosburger-Will, Siegfried R. Horn and Wolfgang Reif. 2020. Learning controllers for adaptive spreading of carbon fiber tows. In Proceedings of the Sixth International Conference on Machine Learning, Optimization, and Data Science - LOD 2020, 19-23 September 2020, Certosa di Pontignano, Siena, Tuscany, Italy. , 65-77 |
|
Oliver Kosak, Lukas Huhn, Felix Bohn, Constantin Wanninger, Alwin Hoffmann and Wolfgang Reif. 2020. Maple-Swarm: programming collective behavior for ensembles by extending HTN-planning. Lecture Notes in Computer Science 12477, 507-524. DOI: 10.1007/978-3-030-61470-6_30 |
|
Martin Schörner, Constantin Wanninger, Alwin Hoffmann, Oliver Kosak, Hella Ponsar and Wolfgang Reif. 2020. Modeling and execution of coordinated missions in reconfigurable robot ensembles. In Davide Brugali, Jean-Claude Latombe, Phillip Sheu, Rouh-Mei Hu (Eds.). IEEE Robotic Computing IRC 2020 - The Fourth IEEE International Conference on Robotic Computing, 9-11 November 2020, Taichung, Taiwan. IEEE, Piscataway, NJ, 290-293 DOI: 10.1109/IRC.2020.00053 |
|
Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. 2020. Modular integration of crashsafe caching into a verified virtual file system switch. Lecture Notes in Computer Science 12546, 218-236. DOI: 10.1007/978-3-030-63461-2_12 |
|
Christian Eymüller, Julian Hanke, Alwin Hoffmann, Markus Kugelmann and Wolfgang Reif. 2020. Real-time capable OPC-UA programs over TSN for distributed industrial control. In Thilo Sauter, Francisco Vasques, Lucia Lo Bello, Valeriy Vyatkin, Andrés A. Nogueiras, Stefan Wilker (Eds.). 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 8-11 Sept. 2020, Vienna, Austria. IEEE, Piscataway, NJ, 278-285 DOI: 10.1109/ETFA46521.2020.9212171 |
|
Alexander Poeppel, Alwin Hoffmann, Martin Siehler and Wolfgang Reif. 2020. Robust distance estimation of capacitive proximity sensors in HRI using neural networks. In Davide Brugali, Jean-Claude Latombe, Phillip Sheu, Rouh-Mei Hu (Eds.). 2020 Fourth IEEE International Conference on Robotic Computing (IRC), 9-11 November 2020, Taichung, Taiwan. IEEE, Piscataway, NJ, 344-351 DOI: 10.1109/irc.2020.00061 |
|
Oliver Kosak, Felix Bohn, Lennart Eing, Dennis Rall, Constantin Wanninger, Alwin Hoffmann and Wolfgang Reif. 2020. Swarm and collective capabilities for multipotent robot ensembles. Lecture Notes in Computer Science 12477, 525-540. DOI: 10.1007/978-3-030-61470-6_31 |
|
Constantin Wanninger, Raphael Katschinksy, Alwin Hoffmann, Martin Schörner and Wolfgang Reif. 2020. Towards fully automated inspection of large components with UAVs: offline path planning. In Oleg Gusikhin, Kurosh Madani and Janan Zaytoon (Ed.). Proceedings of the 17th International Conference on Informatics in Control, Automation and Robotics - ICINCO, July 7-9, 2020. SciTePress, Setúbal, 71-80. DOI: 10.5220/0009887900710080 |
|
Simon Stieber, Alwin Hoffmann, Alexander Schiendorfer, Wolfgang Reif, Matthias Beyrle, Jan Faber, Michaela Richter and Markus G. R. Sause. 2020. Towards real-time process monitoring and machine learning for manufacturing composite structures. In Thilo Sauter, Francisco Vasques, Lucia Lo Bello and Valeriy Vyatkin (Ed.). 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 8-11 September 2020, Vienna, Austria. IEEE, Piscataway, NJ, 1455-1458. DOI: 10.1109/ETFA46521.2020.9212097 |
|
Michael Filipenko, Alexander Poeppel, Alwin Hoffmann, Wolfgang Reif, Andreas Monden and Markus G. R. Sause. 2020. Virtual commissioning with mixed reality for next-generation robot-based mechanical component testing. In ISR 2020: 52th International Symposium on Robotics in conjunction with: automatica December 9 – 10, 2020, Online-Event. VDE, Berlin, 1-6. |
|
2019 |
|
Oliver Kosak, Felix Bohn, Felix Keller, Hella Ponsar and Wolfgang Reif. 2019. Ensemble programming for multipotent systems. In 4th eCAS Workshop on Engineering Collective Adaptive Systems, 2019, in conjunction with the the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2019) and the 16th IEEE International Conference on Autonomic Computing (ICAC 2019), FAS*, Umeå, Sweden, 16 June 2019. IEEE, Piscataway, NJ, 104-109. DOI: 10.1109/FAS-W.2019.00037 |
|
Ludwig Nägele, Andreas Schierl, Alwin Hoffmann and Wolfgang Reif. 2019. Modular and domain-guided multi-robot planning for assembly processes. In Oleg Gusikhin, Kurosh Madani, Janan Zaytoon (Eds.). Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics, July 29-31, 2019, in Prague, Czech Republic. SciTePress, Setúbal, 595-604 DOI: 10.5220/0007977205950604 |
|
Oliver Kosak, Constantin Wanninger, Alwin Hoffmann, Hella Ponsar and Wolfgang Reif. 2019. Multipotent systems: combining planning, self-organization, and reconfiguration in modular robot ensembles. Sensors 19, 1, 17. DOI: 10.3390/s19010017 |
|
Michael Filipenko, Andreas Angerer, Alwin Hoffmann and Wolfgang Reif. 2019. Opportunities and limitations of mixed reality holograms in industrial robotics. In Factory of the Future: How to digitalize the robot-aided manufacturing process in Industry 4.0? Part of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019, Macau, SAR, China, November 3-8, 2019. |
|
Alexander Schiendorfer and Wolfgang Reif. 2019. Reducing bias in preference aggregation for multiagent soft constraint problems. Lecture Notes in Computer Science 11802, 510-526. DOI: 10.1007/978-3-030-30048-7_30 |
|
2018 |
|
Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp and Wolfgang Reif. 2018. Adaptive tests for adaptive systems: the need for new concepts in testing for future software systems. Softwaretechnik-Trends 38, 1, 61-64. |
|
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp and Wolfgang Reif. 2018. An approach for isolated testing of self-organization algorithms. Lecture Notes in Computer Science 9640, 188-222. DOI: 10.1007/978-3-319-74183-3_7 |
|
André Reichstaller, Benedikt Eberhardinger, Hella Seebach, Alexander Knapp and Wolfgang Reif. 2018. Applying deep learning for imitating adaptive agent behavior in statistical software testing. Softwaretechnik-Trends 38, 1, 57-60. |
|
Ludwig Nägele, Andreas Schierl, Alwin Hoffmann and Wolfgang Reif. 2018. Automatic planning of manufacturing processes using spatial construction plan analysis and extensible heuristic search. In Kurosh Madani, Oleg Gusikhin (Eds.). Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics. SciTePress, Setúbal, 576-583 DOI: 10.5220/0006861705860593 |
|
Benedikt Eberhardinger, Hella Ponsar, Gerald Siegert and Wolfgang Reif. 2018. Case study: adaptive test automation for testing an adaptive Hadoop resource manager. In 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), 16-20 July 2018, Lisbon, Portugal. IEEE, Piscataway, NJ, 513-518. DOI: 10.1109/QRS-C.2018.00092 |
|
Andreas Schierl, Alwin Hoffmann, Ludwig Nägele and Wolfgang Reif. 2018. Integrating planning and reactive behavior by using semantically annotated robot tasks. Encyclopedia with Semantic Computing and Robotic Intelligence 2, 1, 1850005. DOI: 10.1142/s2529737618500053 |
|
Andreas Schierl, Alwin Hoffmann, Ludwig Nägele and Wolfgang Reif. 2018. Integrating reactive behavior and planning: optimizing execution time through predictive preparation of state machine tasks. In Eric Y. T. Chuo, Davide Brugali, Toshio Fukuda, Jean-Claude Latombe, Phillip C.-Y. Sheu and Jeffery J. P. Tsai (Ed.). 2018 Second IEEE International Conference on Robotic Computing (IRC), 31 January - 2 February 2018, Laguna Hills, CA, USA. IEEE, Piscataway, NJ, 95-101. DOI: 10.1109/irc.2018.00022 |
|
Benedikt Eberhardinger, Hella Ponsar, Dominik Klumpp and Wolfgang Reif. 2018. Measuring and evaluating the performance of self-organization mechanisms within collective adaptive systems. Lecture Notes in Computer Science 11246, 202-220. DOI: 10.1007/978-3-030-03424-5_14 |
|
Alexander Schiendorfer, Alexander Knapp, Gerrit Anders and Wolfgang Reif. 2018. MiniBrass: soft constraints for MiniZinc. Constraints 23, 4, 403-450. DOI: 10.1007/s10601-018-9289-2 |
|
Johannes Leupolz, Alexander Knapp, Axel Habermaier and Wolfgang Reif. 2018. Qualitative and quantitative analysis of safety-critical systems with S#. International Journal on Software Tools for Technology Transfer 20, 4, 359-377. DOI: 10.1007/s10009-017-0464-3 |
|
Johannes Leupolz, Axel Habermaier and Wolfgang Reif. 2018. Quantitative and qualitative safety analysis of a hemodialysis machine with S#. Journal of Software: Evolution and Process 30, 5, e1942. DOI: 10.1002/smr.1942 |
|
Julian Hanke, Oliver Kosak, Alexander Schiendorfer and Wolfgang Reif. 2018. Self-organized resource allocation for reconfigurable robot ensembles. In Antonio Bucchiarone and Alberto Montresor (Ed.). 2018 IEEE 12th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 3-7 Sept. 2018, Trento, Italy. IEEE, Piscataway, NJ, 110-119. DOI: 10.1109/saso.2018.00022 |
|
Christian Eymüller, Constantin Wanninger, Alwin Hoffmann and Wolfgang Reif. 2018. Semantic plug and play - self-descriptive modular hardware for robotic applications. International Journal of Semantic Computing 12, 4, 559-577. DOI: 10.1142/s1793351x18500058 |
|
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Stefan Bodenmüller and Wolfgang Reif. 2018. Symbolic execution for a clash-free subset of ASMs. Science of Computer Programming 158, 21-40. DOI: 10.1016/j.scico.2017.08.014 |
|
Constantin Wanninger, Christian Eymüller, Alwin Hoffmann, Oliver Kosak and Wolfgang Reif. 2018. Synthesizing capabilities for collective adaptive systems from self-descriptive hardware devices bridging the reality gap. Lecture Notes in Computer Science 11246, 94-108. DOI: 10.1007/978-3-030-03424-5_7 |
|
Benedikt Eberhardinger, Hella Seebach, Dominik Klumpp and Wolfgang Reif. 2018. Test case selection strategy for self-organization mechanisms. In Andreas Spillner, Mario Winter and Andrej Pietschker (Ed.). Test, Analyse und Verifikation von Software – gestern, heute, morgen. dpunkt.verlag, Heidelberg, 139-156. |
|
Roland Glück, Alwin Hoffmann, Ludwig Nägele, Andreas Schierl, Wolfgang Reif and Heinz Voggenreiter. 2018. Towards a tool-based methodology for developing software for dynamic robot teams. In Kurosh Madani, Oleg Gusikhin (Eds.). Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics. SciTePress, Setúbal, 605-612 DOI: 10.5220/0006884806050612 |
|
2017 |
|
Kuzman Katkalov, Kurt Stenzel and Wolfgang Reif. 2017. Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. Lecture Notes in Computer Science 10658, 209-218. DOI: 10.1007/978-3-319-72395-2_20 |
|
Andreas Schierl, Alwin Hoffmann and Wolfgang Reif. 2017. Consistent geometric estimation based on a world model describing logical relationships and sensor interpretation. Journal of Software Engineering for Robotics 8, 1, 104-115. |
|
Andreas Schierl, Andreas Angerer, Alwin Hoffmann and Wolfgang Reif. 2017. Consistent world models for cooperating robots: separating logical relationships, sensor interpretation and estimation. In Chun-Ming Chang, Jianquan Liu, Bruce MacDonald and Adriana Tapus (Ed.). 2017 First IEEE International Conference on Robotic Computing (IRC), 10-12 April 2017, Taichung, Taiwan. IEEE, Piscataway, NJ, 101-108. DOI: 10.1109/irc.2017.62 |
|
Gerrit Anders and Wolfgang Reif. 2017. Electric Power Management. In Christian Müller-Schloer and Sven Tomforde (Ed.). Organic computing - technical systems for survival in the real world. Springer International Publishing, Birkhäuser, Cham, (Autonomic systems), 470-485. DOI: 10.1007/978-3-319-68477-2 |
|
Oliver Kosak and Wolfgang Reif. 2017. Facilitating planning by using self-organization. In Christopher K. Frantz, Stefano Iannucci and Jeremy Pitt (Ed.). Doctoral Symposium on Foundations and Applications of Self-* Systems (FAS*W), in conjunction with SASO 2017 - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, University of Arizona, Tucson, AZ, 18-22 September 2017. IEEE, Piscataway, NJ, 371-374. DOI: 10.1109/FAS-W.2017.178 |
|
Werner Schneider and Wolfgang Reif. 2017. Kreatives Denken im wissenschaftlichen Elfenbeinturm? Oder: Was ist mit "Kreativität" gemeint?. In Marita Krauss, Wolfgang Reif, Werner Schneider and Peter Welzel (Ed.). Wissenschaft und Kreativität: eine Selbstvergewisserung; gewidmet Sabine Doering-Manteuffel zum 60. Geburtstag. Universität Augsburg, Augsburg, 235-242. |
|
Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. 2017. Modular verification of order-preserving write-back caches. Lecture Notes in Computer Science 10510, 375-390. DOI: 10.1007/978-3-319-66845-1_25 |
|
B. Wolf, Christian Chwala, Benjamin Fersch, J. Garvelmann, W. Junkermann, M. J. Zeeman, Andreas Angerer, B. Adler, Christoph Beck, C. Brosy, P. Brugger, S. Emeis, M. Dannenmann, F. De Roo, E. Diaz-Pines, E. Haas, M. Hagen, I. Hajnsek, Jucundus Jacobeit, Thomas Jagdhuber, N. Kalthoff, R. Kiese, Harald Kunstmann, Oliver Kosak, R. Krieg, C. Malchow, M. Mauder, R. Merz, C. Notarnicola, Andreas Philipp, Wolfgang Reif, S. Reineke, T. Rödiger, N. Ruehr, K. Schäfer, M. Schrön, A. Senatore, H. Shupe, I. Völksch, Constantin Wanninger, S. Zacharias and H. P. Schmid. 2017. The SCALEX campaign: scale-crossing land surface and boundary layer processes in the TERENO-preAlpine observatory. Bulletin of the American Meteorological Society 98, 6, 1217-1234. DOI: 10.1175/bams-d-15-00277.1 |
|
Benedikt Eberhardinger, Axel Habermaier and Wolfgang Reif. 2017. Toward adaptive, self-aware test automation. In Hong Zhu, Junhua Ding, Patricia Machado and Marc Roper (Ed.). 2017 IEEE/ACM 12th International Workshop on Automation of Software Testing (AST), 20-21 May 2017, Buenos Aires, Argentina. IEEE, Piscataway, NJ, 34-37. DOI: 10.1109/ast.2017.1 |
|
Michael Vistein, Alwin Hoffmann, Andreas Angerer, Andreas Schierl and Wolfgang Reif. 2017. Towards re-orchestration of real-time component systems in robotics. In Chun-Ming Chang, Jianquan Liu, Bruce MacDonald and Adriana Tapus (Ed.). 2017 First IEEE International Conference on Robotic Computing (IRC), 10-12 April 2017, Taichung, Taiwan. IEEE, Piscataway, NJ, 60-68. DOI: 10.1109/irc.2017.61 |
|
Marita Krauss, Wolfgang Reif, Werner Schneider and Peter Welzel (Ed.). 2017. Wissenschaft und Kreativität: eine Selbstvergewisserung. Universität Augsburg, Augsburg (Augsburger Universitätsreden ; 72). |
|
2016 |
|
Miroslav Macho, Ludwig Nägele, Alwin Hoffmann, Andreas Angerer and Wolfgang Reif. 2016. A flexible architecture for automatically generating robot applications based on expert knowledge. In ISR 2016: 47th International Symposium on Robotics Robotics in the era of digitalisation June, 21-22, 2016, Munich, Germany; Proceedings. VDE-Verlag, Berlin, 93-100 |
|
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler and Wolfgang Reif. 2016. A relational encoding for a clash-free subset of ASMs. Lecture Notes in Computer Science 9675, 237-243. DOI: 10.1007/978-3-319-33600-8_15 |
|
Benedikt Eberhardinger, Axel Habermaier, Hella Seebach and Wolfgang Reif. 2016. Back-to-back testing of self-organization mechanisms. Lecture Notes in Computer Science 9976, 18-35. DOI: 10.1007/978-3-319-47443-4_2 |
|
Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger, Michael Hübschmann and Wolfgang Reif. 2016. Combining PosoMAS method content with Scrum: agile software engineering for open self-organising systems. Scalable Computing: Practice and Experience 16, 4, 333-354. DOI: 10.12694/scpe.v16i4.1127 |
|
Kurt Stenzel, Kuzman Katkalov, Marian Borek and Wolfgang Reif. 2016. Declassification of information with complex filter functions. In Olivier Camp, Steven Furnell and Paolo Mori (Ed.). Proceedings of the 2nd International Conference on Information Systems Security and Privacy, February 19-21, 2016, in Rome, Italy. SciTePress, Setúbal, 490-497. DOI: 10.5220/0005782904900497 |
|
Alwin Hoffmann, Alexander Poeppel, Andreas Schierl and Wolfgang Reif. 2016. Environment-aware proximity detection with capacitive sensors for human-robot-interaction. In 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 9-14 Oct. 2016, Daejeon, South Korea. IEEE, Piscataway, NJ, 145-150. DOI: 10.1109/iros.2016.7759047 |
|
Axel Habermaier, Alexander Knapp, Johannes Leupolz and Wolfgang Reif. 2016. Fault-aware modeling and specification for efficient formal safety analysis. Lecture Notes in Computer Science 9933, 97-114. DOI: 10.1007/978-3-319-45943-1_7 |
|
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn and Wolfgang Reif. 2016. Inside a verified flash file system: transactions and garbage collection. Lecture Notes in Computer Science 9593, 73-93. DOI: 10.1007/978-3-319-29613-5_5 |
|
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn and Wolfgang Reif. 2016. Modular, crash-safe refinement for ASMs with submachines. Science of Computer Programming 131, 3-21. DOI: 10.1016/j.scico.2016.04.009 |
|
Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein and Wolfgang Reif. 2016. On structure and distribution of software for mobile manipulators. In Joaquim Filipe, Kurosh Madani, Oleg Gusikhin and Jurek Sasiadek (Ed.). Informatics in Control, Automation and Robotics 12th International Conference, ICINCO 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers. Springer International, Cham (Lecture Notes in Electrical Engineering ; 383), 209-227. DOI: 10.1007/978-3-319-31898-1_12 |
|
Andreas Angerer, Alwin Hoffmann, Lars Larsen, Michael Vistein, Jonghwa Kim, Michael Kupke and Wolfgang Reif. 2016. Planning and execution of collision-free multi-robot trajectories in industrial applications. In ISR 2016: 47th International Symposium on Robotics Robotics in the era of digitalisation June, 21-22, 2016, Munich, Germany; Proceedings. VDE-Verlag, Berlin |
|
Johannes Leupolz, Axel Habermaier and Wolfgang Reif. 2016. Safety analysis of a hemodialysis machine with S#. In 23rd EuroAsiaSPI Conference, Graz University of Technology, Graz, Austria, 14-16 September 2016. |
|
Marian Borek, Kurt Stenzel, Kuzman Katkalov and Wolfgang Reif. 2016. Secure integration of third party components in a model-driven approach. Lecture Notes in Computer Science 10130, 66-86. DOI: 10.1007/978-3-662-54054-1_3 |
|
Gerrit Anders, Florian Siefert, Alexander Schiendorfer, Hella Seebach, Jan-Philipp Steghöfer, Benedikt Eberhardinger, Oliver Kosak and Wolfgang Reif. 2016. Specification and design of trust-based open self-organising systems. In Wolfgang Reif, Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer and Theo Ungerer (Ed.). Trustworthy Open Self-Organising Systems. Springer International, Cham (Autonomic Systems (ASYS)), 17-54. DOI: 10.1007/978-3-319-29201-4_2 |
|
Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif, Elisabeth André, Jörg Hähner, Christian Müller-Schloer and Theo Ungerer. 2016. The social concept of trust as enabler for robustness in open self-organising systems. In Wolfgang Reif, Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer and Theo Ungerer (Ed.). Trustworthy Open Self-Organising Systems. Springer, Cham (Autonomic Systems (ASYS)), 1-16. DOI: 10.1007/978-3-319-29201-4_1 |
|
Benedikt Eberhardinger, Axel Habermaier, Alwin Hoffmann, Alexander Pöppel and Wolfgang Reif. 2016. Toward integrated analysis & testing of component-based, adaptive robot systems. In Franz Wotawa, Yves Le Traon and Zhenyu Chen (Ed.). 2016 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), 1-3 Aug. 2016, Vienna, Austria. IEEE, Piscataway, NJ, 301-302. DOI: 10.1109/qrs-c.2016.45 |
|
Wolfgang Reif, Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer and Theo Ungerer (Ed.). 2016. Trustworthy open self-organising systems. Springer, Cham (Autonomic Systems (ASYS)). DOI: 10.1007/978-3-319-29201-4 |
|
Axel Habermaier, Johannes Leupolz and Wolfgang Reif. 2016. Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. Lecture Notes in Computer Science 9933, 150-167. DOI: 10.1007/978-3-319-45943-1_11 |
|
Alwin Hoffmann, Ludwig Nägele, Andreas Angerer, Andreas Schierl and Wolfgang Reif. 2016. Using object-oriented development for planning and controlling industrial robot systems. In Robotics: Science and Systems 2016 Workshop on Recent Advances in Planning and Manipulation for Industrial Robots, 18 June 2016. |
|
2015 |
|
Ludwig Nägele, Miroslav Macho, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Manfred Schönheits and Wolfgang Reif. 2015. A backward-oriented approach for offline programming of complex manufacturing tasks. In Donald Bailey, G. Sen Gupta and Serge Demidenko (Ed.). Proceedings of the 2015 6th International Conference on Automation, Robotics and Applications (ICARA), 17-19 Feb. 2015, Queenstown, New Zealand. IEEE, Piscataway, NJ, 124-130. DOI: 10.1109/icara.2015.7081135 |
|
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert and Wolfgang Reif. 2015. A framework for testing self-organisation algorithms. Softwaretechnik-Trends 35, 1. |
|
Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. A heuristic for constrained set partitioning in the light of heterogeneous objectives. Lecture Notes in Computer Science 9494, 223-244. DOI: 10.1007/978-3-319-27947-3_12 |
|
Kurt Stenzel, Kuzman Katkalov, Marian Borek and Wolfgang Reif. 2015. A model-driven approach to noninterference. JoWUA - Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications 5, 3, 30-43. DOI: 10.22667/JOWUA.2014.09.31.044 |
|
Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. A particle swarm optimizer for solving the set partitioning problem in the presence of partitioning constraints. In Stephane Loiseau, Joaquim Filipe, Beatrice Duval and Jaap van den Herik (Ed.). Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART-2015), January 10-12, 2015, in Lisbon, Portugal. SciTePress, Setúbal, 151-163. DOI: 10.5220/0005220501510163 |
|
Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert and Wolfgang Reif. 2015. A research overview and evaluation of performance metrics for self-organization algorithms. In Gerrit Anders, Jean Botev and Markus Esch (Ed.). 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 21-25 Sept. 2015, Cambridge, MA, USA. IEEE, Piscataway, NJ, 122-127. DOI: 10.1109/sasow.2015.25 |
|
Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein and Wolfgang Reif. 2015. A taxonomy of distribution for cooperative mobile manipulators. In Joaquim Filipe, Kurosh Madani, Oleg Gusikhin, Jurek Sasiadek (Eds.). 2015 12th International Conference on Informatics in Control, Automation and Robotics (ICINCO), 21-23 July 2015, Colmar, France. SciTePress, Setúbal, 74-83 DOI: 10.5220/0005541700740083 |
|
Marian Borek, Kurt Stenzel, Kuzman Katkalov and Wolfgang Reif. 2015. Abstracting security-critical applications for model checking in a model-driven approach. In 2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS), 23-25 Sept. 2015, Beijing, China. IEEE, Piscataway, NJ, 11-14. DOI: 10.1109/icsess.2015.7338996 |
|
Alexander Schiendorfer, Gerrit Anders, Jan-Philipp Steghöfer and Wolfgang Reif. 2015. Abstraction of heterogeneous supplier models in hierarchical resource allocation. Lecture Notes in Computer Science 9420, 23-53. DOI: 10.1007/978-3-319-27543-7_2 |
|
Alexander Schiendorfer, Christoph Lassner, Gerrit Anders, Wolfgang Reif and Rainer Lienhart. 2015. Active learning for abstract models of collectives. In João M. P. Cardoso (Ed.). ARCS 2015: 28th International Conference on Architecture of Computing Systems March 24 – 27, 2015, Porto, Portugal, Workshop Proceedings. VDE-Verlag, Berlin |
|
Alexander Schiendorfer, Christoph Lassner, Gerrit Anders, Wolfgang Reif and Rainer Lienhart. 2015. Active learning for efficient sampling of control models of collectives. In Jan-Philipp Steghöfer, Emma Hart and Gregory T. Sullivan (Ed.). 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 21-25 Sept. 2015, Cambridge, MA, USA. IEEE, Piscataway, NJ, 51-60. DOI: 10.1109/saso.2015.13 |
|
Alexander Schiendorfer, Christoph Lassner, Gerrit Anders, Wolfgang Reif and Rainer Lienhart. 2015. Active learning for model abstraction. In 3rd International Workshop on „Self-optimisation in Autonomic and Organic Computing Systems" (SAOS15), 24 - 27 March 2015, Porto, Portugal. |
|
Oliver Kosak, Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. An approach to robust resource allocation in large-scale systems of systems. In Jan-Philipp Steghöfer, Emma Hart and Gregory T. Sullivan (Ed.). 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 21-25 September 2015, Cambridge, MA, USA. IEEE, Piscataway, NJ, 1-10. DOI: 10.1109/saso.2015.8 |
|
Alexander Schiendorfer, Benedikt Eberhardinger, Michael Wißner, Wolfgang Reif and Elisabeth André. 2015. Back-to-back testing a soft constraint model for a smart exhibition space. In 14th International Workshop on Constraint Modelling and Reformulation (ModRef 2015) in conjunction with CP 2015, 31 August 2015, Cork, Ireland. |
|
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif. 2015. Controlling software-induced self-organizing behavior. In Michael Decker, Julia Knifka and Mathias Gutmann (Ed.). Evolutionary robotics, organic computing and adaptive ambience: epistemological and ethical implications of technomorphic descriptions of technologies. LIT Verlag, Zürich (Hermeneutics and Anthropology ; 6), 123-134. |
|
Gerrit Anders, Alexander Schiendorfer, Florian Siefert, Jan-Philipp Steghöfer and Wolfgang Reif. 2015. Cooperative resource allocation in open systems of systems. ACM Transactions on Autonomous and Adaptive Systems 10, 2, 11. DOI: 10.1145/2700323 |
|
Axel Habermaier, Johannes Leupolz and Wolfgang Reif. 2015. Executable specifications of safety-critical systems with S#. IFAC-PapersOnLine 48, 7, 44-49. DOI: 10.1016/j.ifacol.2015.06.471 |
|
Kurt Stenzel, Nina Moebius and Wolfgang Reif. 2015. Formal verification of QVT transformations for code generation. Software & Systems Modeling 14, 2, 981-1002. DOI: 10.1007/s10270-013-0351-7 |
|
Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 2015. Integrating a model-driven approach and formal verification for the development of secure service applications. In Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz and Bruno Buchberger (Ed.). Correct Software in Web Applications and Web Services. Springer, Berlin [u.a.] (Texts & Monographs in Symbolic Computation (TEXTSMONOGR)), 45-81. DOI: 10.1007/978-3-319-17112-8_3 |
|
Marian Borek, Kurt Stenzel, Kuzman Katkalov and Wolfgang Reif. 2015. Integration and exchangeability of external security-critical web services in a model-driven approach. Lecture Notes in Computer Science 9382, 63-73. DOI: 10.1007/978-3-319-25747-1_7 |
|
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2015. KIV: overview and VerifyThis competition. International Journal on Software Tools for Technology Transfer 17, 6, 677-694. DOI: 10.1007/s10009-014-0308-3 |
|
Alexander Schiendorfer, Yves Wautelet and Wolfgang Reif. 2015. Modeling hierarchical resources within a unified ontology - a position paper. In Stephane Loiseau, Joaquim Filipe, Beatrice Duval and Jaap van den Herik (Ed.). Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART 2015), January 10-12, 2015, in Lisbon, Portugal. SciTePress, Setúbal, 614-619. DOI: 10.5220/0005289006140619 |
|
Kuzman Katkalov, Kurt Stenzel, Marian Borek and Wolfgang Reif. 2015. Modeling information flow properties with UML. In Mohamad Badra, Azzedine Boukerche and Pascal Urien (Ed.). 2015 7th International Conference on New Technologies, Mobility and Security (NTMS), 27-29 July 2015, Paris, France. IEEE, Piscataway, NJ DOI: 10.1109/ntms.2015.7266507 |
|
Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. Partial valuation structures for qualitative soft constraints. Lecture Notes in Computer Science 8950, 115-133. DOI: 10.1007/978-3-319-15545-6_10 |
|
Alwin Hoffmann, Andreas Schierl, Andreas Angerer, Matthias Stüben, Michael Vistein and Wolfgang Reif. 2015. Robot collision avoidance using an environment model for capacitive sensors. In Planning, Control, and Sensing for Safe Human-Robot Interaction, 2015 IEEE International Conference on Robotics and Automation, Seattle, USA, May 26-30, 2015. |
|
Axel Habermaier, Benedikt Eberhardinger, Hella Seebach, Johannes Leupolz and Wolfgang Reif. 2015. Runtime model-based safety analysis of self-organizing systems with S#. In Gerrit Anders, Jean Botev and Markus Esch (Ed.). 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 21-25 Sept. 2015, Cambridge, MA, USA. IEEE, Piscataway, NJ, 128-133. DOI: 10.1109/sasow.2015.26 |
|
Ada Diaconescu, Stephen Marsh, Jeremy Pitt, Wolfgang Reif and Jan-Philipp Steghöfer. 2015. Social concepts in self-organising systems (Dagstuhl Seminar 15482). Dagstuhl Reports 5, 11, 127-150. DOI: 10.4230/DagRep.5.11.127 |
|
Andreas Angerer, Michael Vistein, Alwin Hoffmann, Wolfgang Reif, Florian Krebs and Manfred Schönheits. 2015. Towards multi-functional robot-based automation systems. In Joaquim Filipe, Kurosh Madani, Oleg Gusikhin, Jurek Sasiadek (Eds.). 2015 12th International Conference on Informatics in Control, Automation and Robotics (ICINCO), 21-23 July 2015, Colmar, France. SciTePress, Setúbal, 438-443 DOI: 10.5220/0005573804380443 |
|
Gidon Ernst, Gerhard Schellhorn and Wolfgang Reif. 2015. Verification of B+ trees by integration of shape analysis and interactive theorem proving. Software & Systems Modeling 14, 1, 27-44. DOI: 10.1007/s10270-013-0320-1 |
|
2014 |
|
Bogdan Tofan, Gerhard Schellhorn and Wolfgang Reif. 2014. A compositional proof method for linearizability applied to a wait-free multiset. Lecture Notes in Computer Science 8739, 357-372. DOI: 10.1007/978-3-319-10181-1_22 |
|
Jan-Philipp Steghöfer, Gerrit Anders, Jan Kantert, Christian Müller-Schloer and Wolfgang Reif. 2014. An effective implementation of norms in trust-aware open self-organising systems. In Alexander Artikis, Jan-Philipp Steghöfer and Didac Busquets (Ed.). 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 8-12 Sept. 2014, London, UK. IEEE, Piscataway, NJ, 76-77. DOI: 10.1109/sasow.2014.34 |
|
Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2014. Crash-safe refinement for a verified flash file system. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2014-02. . |
|
Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg and Wolfgang Reif. 2014. Development of a verified flash file system. Lecture Notes in Computer Science 8477, 9-24. DOI: 10.1007/978-3-662-43652-3_2 |
|
Sven Tomforde, Jörg Hähner, Hella Seebach, Wolfgang Reif, Bernhard Sick, Arno Wacker and Ingo Scholtes. 2014. Engineering and mastering interwoven systems. In Walter Stechele and Thomas Wild (Ed.). ARCS 2014: 27th International Conference on Architecture of Computing Systems February 25 – 28, 2014, Luebeck, Germany, Workshop Proceedings, University of Luebeck, Institute of Computer Engineering. VDE, Berlin |
|
Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl and Wolfgang Reif. 2014. Flexible and continuous execution of real-time critical robotic tasks. International Journal of Mechatronics and Automation 4, 1, 27-38. DOI: 10.1504/ijma.2014.059773 |
|
Kurt Stenzel, Kuzman Katkalov, Marian Borek and Wolfgang Reif. 2014. Formalizing information flow control in a model-driven approach. Lecture Notes in Computer Science 8407, 456-461. DOI: 10.1007/978-3-642-55032-4_46 |
|
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek and Wolfgang Reif. 2014. Modeling test cases for security protocols with SecureMDD. Computer Networks 58, 99-111. DOI: 10.1016/j.comnet.2013.08.024 |
|
Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn and Wolfgang Reif. 2014. Modular refinement for submachines of ASMs. Lecture Notes in Computer Science 8477, 188-203. DOI: 10.1007/978-3-662-43652-3_16 |
|
Jan-Philipp Steghöfer, Hella Seebach, Benedikt Eberhardinger and Wolfgang Reif. 2014. PosoMAS: an extensible, modular SE process for open self-organising systems. Lecture Notes in Computer Science 8861, 1-17. DOI: 10.1007/978-3-319-13191-7_1 |
|
Gerrit Anders, Florian Siefert, Michael Mair and Wolfgang Reif. 2014. Proactive guidance for dynamic and cooperative resource allocation under uncertainties. In Moez Draief, Salima Hassas, Ada Diaconescu, Nagarajan Kandasamy and Mirko Viroli (Ed.). 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems, 8-12 Sept. 2014, London, UK. IEEE, Piscataway, NJ, 21-30. DOI: 10.1109/saso.2014.14 |
|
Alexander Knapp, Alexander Schiendorfer and Wolfgang Reif. 2014. Quality over quantity in soft constraints. In Andreas Andreou (Ed.). 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, 10-12 November 2014, Limassol, Cyprus. IEEE, Los Alamitos, CA, 453-460. DOI: 10.1109/ictai.2014.75 |
|
Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler and Wolfgang Reif. 2014. RGITL: a temporal logic framework for compositional reasoning about interleaved programs. Annals of Mathematics and Artificial Intelligence 71, 1-3, 131-174. DOI: 10.1007/s10472-013-9389-z |
|
Gerrit Anders, Alexander Schiendorfer, Jan-Philipp Steghöfer and Wolfgang Reif. 2014. Robust scheduling in a self-organizing hierarchy of autonomous virtual power plants. In Walter Stechele and Thomas Wild (Ed.). ARCS 2014: 27th International Conference on Architecture of Computing Systems February 25 – 28, 2014, Luebeck, Germany, Workshop Proceedings, University of Luebeck, Institute of Computer Engineering. VDE, Berlin |
|
Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2014. Service-oriented robotics manufacturing by reasoning about the scene graph of a robotics cell. In ISR / Robotik 2014: Proceedings for the joint conference of 45th International Symposium on Robotics and 8th German Conference on Robotics 2 - 3 June 2014, Munich, Germany. VDE-Verlag, Berlin |
|
Alexander Schiendorfer, Jan-Philipp Steghöfer and Wolfgang Reif. 2014. Synthesis and abstraction of constraint models for hierarchical resource allocation problems. In Beatrice Duval, Jaap van den Herik, Stephane Loiseau and Joaquim Filipe (Ed.). Proceedings of the 6th International Conference on Agents and Artificial Intelligence, March 6-8, 2014, in ESEO, Angers, Loire Valley, France. SciTePress, Setúbal, 15-27. DOI: 10.5220/0004757700150027 |
|
Alexander Schiendorfer, Jan-Philipp Steghöfer and Wolfgang Reif. 2014. Synthesised constraint models for distributed energy management. In 3rd International Workshop on Smart Energy Networks & Multi-Agent Systems (SEN-MAS'2014), FedCSIS, Warsaw, Poland, 7 - 10 September, 2014. |
|
Sven Stumm, Alwin Hoffmann, Hella Seebach, Bernd Kuhlenkötter and Wolfgang Reif. 2014. Towards combining layout and process models for mixed assembly facilities. In Peter Adolphs (Ed.). Automation 2014: 15. Branchentreff der Mess- und Automatisierungstechnik; Smart X - powered by automation; Kongresshaus Baden-Baden, 01. und 02. Juli 2014. VDI-Verlag, Düsseldorf (VDI-Berichte ; 2231), 277-288. |
|
Benedikt Eberhardinger, Hella Seebach, Alexander Knapp and Wolfgang Reif. 2014. Towards testing self-organizing, adaptive systems. Lecture Notes in Computer Science 8763, 180-185. DOI: 10.1007/978-3-662-44857-1_13 |
|
Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer and Wolfgang Reif. 2014. Trust-based scenarios – predicting future agent behavior in open self-organizing systems. Lecture Notes in Computer Science 8221, 90-102. DOI: 10.1007/978-3-642-54140-7_8 |
|
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler and Wolfgang Reif. 2014. Verification of a virtual filesystem switch. Lecture Notes in Computer Science 8164, 242-261. DOI: 10.1007/978-3-642-54108-7_13 |
|
2013 |
|
Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert and Wolfgang Reif. 2013. A system of systems approach to the evolutionary transformation of power management systems. In M. Horbach (Ed.). INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt: 43. Jahrestagung der Gesellschaft für Informatik e.V.. Gesellschaft für Informatik e.V., Bonn, 1500-1515. |
|
Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert and Wolfgang Reif. 2013. A trust- and cooperation-based solution of a dynamic resource allocation problem. In Peppo Valetto, Ozalp Babaoglu, Tom Holvoet, Jeremy Pitt and Ichiro Sato (Ed.). 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems, 9-13 Sept. 2013, Philadelphia, PA, USA. IEEE, Piscataway, NJ DOI: 10.1109/saso.2013.33 |
|
Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler and Wolfgang Reif. 2013. Compositional verification of a lock-free stack with RGITL. Electronic Communications of the EASST 66, . DOI: 10.14279/tuj.eceasst.66.885 |
|
Alexander Schiendorfer, Jan-Philipp Steghöfer, Alexander Knapp, Florian Nafz and Wolfgang Reif. 2013. Constraint relationships for soft constraints. In Max Bramer and Miltos Petridis (Ed.). Research and Development in Intelligent Systems XXX: Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer International, Cham (SGAI: International Conference on Innovative Techniques and Applications of Artificial Intelligence), 241-255. DOI: 10.1007/978-3-319-02621-3_17 |
|
Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius and Wolfgang Reif. 2013. Evaluation of Jif and Joana as information flow analyzers in a model-driven approach. Lecture Notes in Computer Science 7731, 174-186. DOI: 10.1007/978-3-642-35890-6_13 |
|
Florian Nafz, Jan-Philipp Steghöfer, Hella Seebach and Wolfgang Reif. 2013. Formal modeling and verification of self-* systems based on observer/controller-architectures. Lecture Notes in Computer Science 7740, 80-111. DOI: 10.1007/978-3-642-36249-1_4 |
|
Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2013. Formal specification of an erase block management layer for flash memory. Lecture Notes in Computer Science 8244, 214-229. DOI: 10.1007/978-3-319-03077-7_15 |
|
Jan-Philipp Steghöfer, Pascal Behrmann, Gerrit Anders, Florian Siefert and Wolfgang Reif. 2013. HiSPADA: self-organising hierarchies for large-scale multi-agent systems. In Nikola Serbedzija and Petre Dini (Ed.). ICAS 2013: The Ninth International Conference on Autonomic and Autonomous Systems, March 24 - 29, 2013, Lisbon, Portugal. IARIA - International Academy, Research, and Industry Association, Wilmington, DE, 71-76. |
|
Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2013. Managing extensibility and maintainability of industrial robotics software. In 2013 16th International Conference on Advanced Robotics (ICAR), 25-29 Nov. 2013, Montevideo, Uruguay. IEEE, Piscataway, NJ DOI: 10.1109/icar.2013.6766561 |
|
Marian Borek, Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2013. Model checking of security-critical applications in a model-driven approach. Lecture Notes in Computer Science 8137, 76-90. DOI: 10.1007/978-3-642-40561-7_6 |
|
Kuzman Katkalov, Kurt Stenzel, Marian Borek and Wolfgang Reif. 2013. Model-driven development of information flow-secure systems with IFlow. In 2013 International Conference on Social Computing, 8-14 Sept. 2013, Alexandria, VA, USA. IEEE, Piscataway, NJ, 51-56. DOI: 10.1109/socialcom.2013.14 |
|
Benedikt Eberhardinger, Jan-Philipp Steghöfer, Florian Nafz and Wolfgang Reif. 2013. Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems. In Allen Nikora, Sunita Chulani, Myra B. Cohen and Carol Smidts (Ed.). 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), 4-7 Nov. 2013, Pasadena, CA, USA. IEEE, Piscataway, NJ, 21-30. DOI: 10.1109/issre.2013.6698901 |
|
Gerrit Anders, Jan-Philipp Steghöfer, Lukas Klejnowski, Michael Wißner, Stephan Hammer, Florian Siefert, Hella Seebach, Yvonne Bernard, Wolfgang Reif, Elisabeth André and Christian Müller-Schloer. 2013. Reference architectures for trustworthy energy management, desktop grid computing applications, and ubiquitous display environments. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2013-05. . |
|
Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2013. Robotics API: object-oriented software development for industrial robots. Journal of Software Engineering for Robotics 4, 1, 1-22. |
|
Marian Borek, Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2013. Security requirements formalized with OCL in a model-driven approach. In Ana Moreira, Gunter Mussbacher, João Araújo, Nelly Bencomo and Pablo Sánchez (Ed.). 2013 3rd International Workshop on Model-Driven Requirements Engineering (MoDRE), 15 July 2013, Rio de Janeiro, Brazil. IEEE, Piscataway, NJ, 65-73. DOI: 10.1109/modre.2013.6597265 |
|
Jan-Philipp Steghöfer, Benedikt Eberhardinger, Florian Nafz and Wolfgang Reif. 2013. Synthesis of observers for autonomic evolutionary systems from requirements models. In Filip De Turck, Yixin Diao, Choong Seon Hong, Deep Medhi and Ramin Sadre (Ed.). Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013): 6th International Workshop on Distributed Autonomous Network Management Systems (DANMS), 27-31 May 2013, Ghent, Belgium. IEEE, Piscataway, NJ, 1405-1408. |
|
Gerrit Anders, Florian Siefert, Nizar Msadek, Rolf Kiefhaber, Oliver Kosak, Wolfgang Reif and Theo Ungerer. 2013. TEMAS - a Trust-Enabling Multi-Agent System for open environments. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2013-04. . |
|
Andreas Schierl, Alwin Hoffmann, Andreas Angerer, Michael Vistein and Wolfgang Reif. 2013. Towards realtime robot reactions – patterns for modular device driver interfaces. In ICRA2012: Workshop on Software Development and Integration in Robotics (SDIR-VIII), May 6, 2013, Karlsruhe, Germany. |
|
Lukas Klejnowski, Yvonne Bernard, Gerrit Anders, Christian Müller-Schloer and Wolfgang Reif. 2013. Trusted community - a trust-based multi-agent organisation for open systems. In Joaquim Filipe and Ana Fred (Ed.). Proceedings of the 5th International Conference on Agents and Artificial Intelligence, February 15-18, 2013, in Barcelona, Spain. SciTePress, Setúbal, 312-317. DOI: 10.5220/0004332003120317 |
|
2012 |
|
Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer and Wolfgang Reif. 2012. A decentralized multi-agent algorithm for the set partitioning problem. Lecture Notes in Computer Science 7455, 107-121. DOI: 10.1007/978-3-642-32729-2_8 |
|
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler and Wolfgang Reif. 2012. A formal model of a virtual filesystem switch. Electronic Proceedings in Theoretical Computer Science 102, 33-45. DOI: 10.4204/eptcs.102.5 |
|
Florian Siefert, Gerrit Anders, Wolfgang Reif and Matthias Sommer. 2012. A generic framework for simulating the EEX power market in agent-based energy management applications. In Steffen Schlegel (Ed.). Tagungsband des Power and Energy Student Summit 2012: Ilmenau, 19. - 20. Januar 2012. Universitätsbibliothek Ilmenau, Ilmenau, 44-48. |
|
Andreas Angerer, Remi Smirra, Alwin Hoffmann, Michael Vistein, Andreas Schierl and Wolfgang Reif. 2012. A graphical language for real-time critical robot commands. In 3rd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-12), 2012 International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR 2012), November 2012, Tsukuba, Japan. |
|
Rolf Kiefhaber, Gerrit Anders, Florian Siefert, Theo Ungerer and Wolfgang Reif. 2012. Confidence as a means to assess the accuracy of trust values. In Geyong Min, Yulei Wu, Lei (Chris) Liu, Xiaolong Jin, Stephen Jarvis and Ahmed Y. Al-Dubai (Ed.). 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications, 25-27 June 2012, Liverpool, UK. IEEE, Piscataway, NJ, 690-697. DOI: 10.1109/trustcom.2012.111 |
|
Rolf Kiefhaber, Gerrit Anders, Florian Siefert, Theo Ungerer and Wolfgang Reif. 2012. Confidence as a means to assess the accuracy of trust values. In Geyong Min, Yulei Wu, Lei (Chris) Liu, Xiaolong Jin, Stephen Jarvis and Ahmed Y. Al-Dubai (Ed.). 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications, 25-27 June 2012, Liverpool, UK. IEEE, Piscataway, NJ, 690-697. DOI: 10.1109/trustcom.2012.111 |
|
Jan-Philipp Steghöfer and Wolfgang Reif. 2012. Die Guten, die Bösen und die Vertrauenswürdigen – Vertrauen im Organic Computing. Informatik-Spektrum 35, 2, 119-131. DOI: 10.1007/s00287-012-0600-0 |
|
Andreas Angerer, Andreas Schierl, Christian Böck, Alwin Hoffmann, Michael Vistein and Wolfgang Reif. 2012. Eclipse als Werkzeug zur objektorientierten Roboterprogrammierung. In Tagungsband: Internationales Forum Mechatronik 2012, Mayrhofen, Austria, November 21-22, 2012. Standortagentur Tirol, Innsbruck |
|
Peter Fischer, Kuzman Katkalov, Kurt Stenzel and Wolfgang Reif. 2012. Formal Verification of Information Flow Secure Systems with IFlow. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2012-05. . |
|
Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein and Wolfgang Reif. 2012. From robot command to real-time robot control - transforming high-level robot commands into real-time dataflow graphs. In Jean-Louis Ferrier, Alain Bernard, Oleg Gusikhin and Kurosh Madani (Ed.). Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, July 28-31, 2012, in Rome, Italy. SciTePress, Setúbal, 150-158. DOI: 10.5220/0004046301500158 |
|
Nina Moebius, Kurt Stenzel, Marian Borek and Wolfgang Reif. 2012. Incremental development of large, secure smart card applications. In Proceedings of the Workshop on Model-Driven Security - MDsec '12, Innsbruck, Austria, October 01 - 05, 2012. ACM Press, New York, NY, 9. DOI: 10.1145/2422498.2422507 |
|
Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl and Wolfgang Reif. 2012. Instantaneous switching between real-time commands for continuous execution of complex robotic tasks. In Shuguo Wang, Tatsuo Arai, Xinkai Chen, Jie Zhao and Yili Fu (Ed.). 2012 IEEE International Conference on Mechatronics and Automation, 5-8 Aug. 2012, Chengdu, China. IEEE, Piscataway, NJ, 1329-1334. DOI: 10.1109/icma.2012.6284329 |
|
Kuzman Katkalov, Peter Fischer, Kurt Stenzel and Wolfgang Reif. 2012. Model-Driven Code Generation for Information Flow Secure Systems with IFlow. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2012-04. . |
|
Marian Borek, Kurt Stenzel, Nina Moebius and Wolfgang Reif. 2012. Model-Driven Development of Secure Service Applications introduced by a Banking System Example. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2012-03. . |
|
Marian Borek, Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2012. Model-driven development of secure service applications. In 2012 35th Annual IEEE Software Engineering Workshop, 12-13 Oct. 2012, Heraclion, Greece. IEEE, Piscataway, NJ, 62-71. DOI: 10.1109/sew.2012.13 |
|
Kuzman Katkalov, Nina Moebius, Kurt Stenzel, Marian Borek and Wolfgang Reif. 2012. Model-driven testing of security protocols with SecureMDD. In Albert Levi, Mohamad Badra, Matteo Cesana, Mona Ghassemian, Özgür Gürbüz, Nafaâ Jabeur, Marek Klonowski, Antonio Maña, Susana Sargento and Sherali Zeadally (Ed.). 2012 5th International Conference on New Technologies, Mobility and Security (NTMS), 7-10 May 2012, Istanbul, Turkey. IEEE, Piscataway, NJ DOI: 10.1109/ntms.2012.6208678 |
|
J. Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, W. Renz, T. Preisler and P. Salchow. 2012. On the combination of top-down and bottom-up methodologies for the design of coordination mechanisms in self-organising systems. Information and Software Technology 54, 6, 593-607. DOI: 10.1016/j.infsof.2011.08.005 |
|
Gerrit Anders, Christian Hinrichs, Florian Siefert, Pascal Behrmann, Wolfgang Reif and Michael Sonnenschein. 2012. On the influence of inter-agent variation on multi-agent algorithms solving a dynamic task allocation problem under uncertainty. In Salima Hassas, Paul Robertson, Anwitaman Datta, Marie-Pierre Gleizes and Ingo Scholtes (Ed.). 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems, 10-14 Sept. 2012, Lyon, France. IEEE, Piscataway, NJ, 29-38. DOI: 10.1109/saso.2012.16 |
|
Nina Moebius, Marian Borek, Kurt Stenzel and Wolfgang Reif. 2012. SecureMDD: Transformation of a UML application model to a formal specification. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2012-10. . |
|
Nina Moebius, Marian Borek, Kurt Stenzel and Wolfgang Reif. 2012. SecureMDD: Transformation of a UML application model to executable code. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2012-11. . |
|
Alex Habermaier, Matthias Güdemann, Frank Ortmeier, Wolfgang Reif and Gerhard Schellhorn. 2012. The ForMoSA approach to qualitative and quantitative model-based safety analysis. In Francesco Flammini (Ed.). Railway Safety, Reliability, and Security: Technologies and Systems Engineering. IGI Global, Hershey, NY, 65-115. |
|
Dominik Haneberg, Alwin Hoffmann, Hella Seebach, Michael Vistein and Wolfgang Reif. 2012. Towards model-based evolution for robot-based automation. In Modellierung in der Automatisierungstechnik (MAT 2012), Workshop im Rahmen der Modellierung 2012, Bamberg, Germany, March 15, 2012. |
|
Andreas Angerer, Andreas Bareth, Alwin Hoffmann, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2012. Two-arm robot teleoperation using a multi-touch tangible user interface. In Jean-Louis Ferrier, Alain Bernard, Oleg Gusikhin, Kurosh Madani (Eds.). Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2012) - July 28-31, 2012, Rome, Italy. SciTePress, Setúbal, 327-332 DOI: 10.5220/0004046503270332 |
|
Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein and Wolfgang Reif. 2012. Using Java for real-time critical industrial robot programming. In Workshop on Software Development and Integration in Robotics (SDIR VII), 2012 IEEE International Conference on Robotics and Automation (ICRA 2012), St. Paul, Minnesota, USA, May 14, 2012. |
|
2011 |
|
Florian Siefert, Florian Nafz, Hella Seebach and Wolfgang Reif. 2011. A genetic algorithm for self-optimization in safety-critical resource-flow systems. In Plamen Angelov, Dimitar Filev, Nikola Kasabov (Eds.). 2011 IEEE Workshop on Evolving and Adaptive Intelligent Systems (EAIS), 11-15 April 2011, Paris, France. IEEE, Piscataway, NJ, 77-84 DOI: 10.1109/eais.2011.5945915 |
|
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Gerrit Anders and Wolfgang Reif. 2011. Constraining self-organisation through corridors of correct behaviour: the restore invariant approach. In Christian Müller-Schloer, Hartmut Schmeck and Theo Ungerer (Ed.). Organic Computing — A Paradigm Shift for Complex Systems. Springer, Basel (Autonomic Systems (ASYS) ; 1), 79-93. DOI: 10.1007/978-3-0348-0130-0_5 |
|
Gerrit Anders, Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer and Wolfgang Reif. 2011. Decentralized reconfiguration for self-organizing resource-flow systems based on local knowledge. In Roy Sterritt (Ed.). 2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, 27-29 April 2011, Las Vegas, NV, USA. IEEE, Piscataway, NJ, 20-31 DOI: 10.1109/ease.2011.8 |
|
Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif and Gunther Reinhart. 2011. Design of an automation system for preforming processes in aerospace industries. In Maria Pia Fanti, Alessandro Giua (Eds.). 2011 IEEE International Conference on Automation Science and Engineering, 24-27 Aug. 2011, Trieste, Italy. IEEE, Piscataway, NJ, 557-562 DOI: 10.1109/case.2011.6042411 |
|
Alwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach and Wolfgang Reif. 2011. Developing self-organizing robotic cells using organic computing principles. In Yan Meng and Yaochu Jin (Ed.). Bio-Inspired Self-Organizing Robotic Systems. Springer, Berlin (Studies in Computational Intelligence (SCI) ; 355), 253-273. DOI: 10.1007/978-3-642-20760-0_11 |
|
Peter Fischer, Florian Nafz, Hella Seebach and Wolfgang Reif. 2011. Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. In Christian Müller-Schloer, Hartmut Schmeck and Theo Ungerer (Ed.). Proceedings of the 2011 workshop on Organic computing - OC '11, Karlsruhe, Germany, June 18 - 18, 2011. ACM Press, New York, NY, 3-12. DOI: 10.1145/1998642.1998646 |
|
Bogdan Tofan, Gerhard Schellhorn and Wolfgang Reif. 2011. Formal verification of a lock-free stack with hazard pointers. Lecture Notes in Computer Science 6916, 239-255. DOI: 10.1007/978-3-642-23283-1_16 |
|
Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer and Wolfgang Reif. 2011. How to design and implement self-organising resource-flow systems. In Christian Müller-Schloer, Hartmut Schmeck and Theo Ungerer (Ed.). Organic Computing — A Paradigm Shift for Complex Systems. Springer, Basel (Autonomic Systems (ASYS) ; 1), 145-161. DOI: 10.1007/978-3-0348-0130-0_9 |
|
Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst and Wolfgang Reif. 2011. Interleaved programs and rely-guarantee reasoning with ITL. In Carlo Combi, Martin Leucker and Frank Wolter (Ed.). 2011 Eighteenth International Symposium on Temporal Representation and Reasoning, 12-14 Sept. 2011, Lubeck, Germany. IEEE, Piscataway, NJ, 99-106. DOI: 10.1109/time.2011.12 |
|
Bogdan Tofan, Gerhard Schellhorn and Wolfgang Reif. 2011. Local rely-guarantee conditions for linearizability and lock-freedom. In Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (Eds.). Formal Verification of Object-Oriented Software: Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy. Karlsruhe Institute of Technology, Faculty of Informatics, Karlsruhe, 342-359 |
|
Wolfgang Reif, Dominik Haneberg, Nina Moebius, Gerhard Schellhorn and Kurt Stenzel. 2011. Mondex: engineering a provable secure electronic purse. International Journal of Software and Informatics 5, 1-2, 159-184. |
|
Gerrit Anders, Jan-Philipp Steghöfer, Florian Siefert and Wolfgang Reif. 2011. Patterns to measure and utilize trust in multi-agent systems. In 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops, 3-7 Oct. 2011, Ann Arbor, MI, USA. IEEE, Piscataway, NJ, 35-40. DOI: 10.1109/sasow.2011.21 |
|
Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan and Wolfgang Reif. 2011. Proving linearizability with temporal logic. Formal Aspects of Computing 23, 1, 91-112. DOI: 10.1007/s00165-009-0130-y |
|
Gerrit Anders, Lukas Klejnowski, Jan-Philipp Steghöfer, Florian Siefert and Wolfgang Reif. 2011. Reference Architectures for Trustworthy Energy Management and Desktop Grid Computing Applications. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2011-11. . |
|
Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2011. Service-orientierte Modellierung einer Robotermontagezelle. In Taungsband: Internationales Forum Mechatronik 2011, Cham,21.-22. September 2011. Cluster Mechatronik & Automation, Augsburg, 179-192 |
|
Maximilian Junker, Dominik Haneberg, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst. 2011. Simulating a flash file system with CoreASM and Eclipse. In Hans-Ulrich Heiß, Peter Pepper, Holger Schlingloff and Jörg Schneider (Ed.). INFORMATIK 2011 – Informatik schafft Communities, Berlin, Deutschland, 4.-7. Oktober 2011. Gesellschaft für Informatik e.V., Bonn (GI-Edition : lecture notes in informatics : GI-Edition / Proceedings ; P-192), 355. |
|
Rolf Kiefhaber, Florian Siefert, Gerrit Anders, Theo Ungerer and Wolfgang Reif. 2011. The Trust-Enabling Middleware: Introduction and Application. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2011-10. . |
|
Gidon Ernst, Gerhard Schellhorn and Wolfgang Reif. 2011. Verification of B+ trees: an experiment combining shape analysis and interactive theorem proving. Lecture Notes in Computer Science 7041, 188-203. DOI: 10.1007/978-3-642-24690-6_14 |
|
Bogdan Tofan, Gerhard Schellhorn and Wolfgang Reif. 2011. Verifying a stack with hazard pointers in temporal logic. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2011-08. Universität Augsburg, Augsburg. |
|
2010 |
|
Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler and Wolfgang Reif. 2010. A formal framework for compositional verification of organic computing systems. Lecture Notes in Computer Science 6407, 17-31. DOI: 10.1007/978-3-642-16576-4_2 |
|
Hella Seebach, Florian Nafz, Jan-Philipp Steghöfer and Wolfgang Reif. 2010. A software engineering guideline for self-organizing resource-flow systems. In Márk Jelasity, Janos Sztipanovits, Indranil Gupta, Salima Hassas and Jerome Rolia (Ed.). 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 27 Sept. - 1 Oct. 2010, Budapest, Hungary. IEEE, Piscataway, NJ, 194-203. DOI: 10.1109/saso.2010.26 |
|
Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler and Peter Salchow. 2010. A wave-like decentralized reconfiguration strategy for self-organizing resource-flow systems [Extended Abstract]. In Tom Van Cutsem, Mark Miller (Eds.). Proceedings of the First International Workshop on Decentralized Coordination of Distributed Processes, Amsterdam, The Netherlands, 10th June 2010. Open Publishing Association, Waterloo, NSW, 32-33 |
|
Andreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart and Gerhard Strasser. 2010. Automated cutting and handling of carbon fiber fabrics in aerospace industries. In John Wen (Ed.). 2010 IEEE International Conference on Automation Science and Engineering, 21-24 Aug. 2010, Toronto, ON, Canada. IEEE, Piscataway, NJ, 861-866. DOI: 10.1109/coase.2010.5584262 |
|
Andriy Dunets, Gerhard Schellhorn and Wolfgang Reif. 2010. Automated flaw detection in algebraic specifications. Journal of Automated Reasoning 45, 4, 359-395. DOI: 10.1007/s10817-010-9166-1 |
|
Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler and Peter Salchow. 2010. Design and simulation of a wave-like self-organization strategy for resource-flow systems. In 4th International Workshop on Multi-Agent Systems and Simulation (MAS&S 2010), Lyon, France, 30 Aug. - 3 Sept. 2010. |
|
Hella Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif and Wilhelm Schäfer. 2010. Designing self-healing in automotive systems. Lecture Notes in Computer Science 6407, 47-61. DOI: 10.1007/978-3-642-16576-4_4 |
|
Bogdan Tofan, Gerhard Schellhorn, Simon Bäumler and Wolfgang Reif. 2010. Embedding rely-guarantee reasoning in temporal logic. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2010-07. Universität Augsburg, Augsburg. |
|
Wilhelm Schäfer, Ansgar Trächtler, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O'Grady, Marco Platzner, Franz Rammig and Wolfgang Reif. 2010. Engineering self-coordinating software intensive systems. In Gruia-Catalin Roman and Kevin Sullivan (Ed.). Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10, Santa Fe, New Mexico, USA, November 07 - 08, 2010. ACM Press, New York, NY, 321-324. DOI: 10.1145/1882362.1882428 |
|
Jan-Philipp Steghöfer, Florian Nafz, Wolfgang Reif, Yvonne Bernard, Lukas Klejnowski, Jörg Hähner and Christian Müller-Schloer. 2010. Formal Specification and Analysis of Trusted Communities. In Scott Alexander, Jonathan Smith and Robert Laddaga (Ed.). 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, 27-28 Sept. 2010, Budapest, Hungary. IEEE, Piscataway, NJ, 190-195. DOI: 10.1109/sasow.2010.39 |
|
Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2010. Formal verification of application-specific security properties in a model-driven approach. Lecture Notes in Computer Science 5965, 166-181. DOI: 10.1007/978-3-642-11747-3_13 |
|
Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif and Gerhard Schellhorn. 2010. Interactive verification of concurrent systems using symbolic execution. AI Communications 23, 2-3, 285-307. DOI: 10.3233/AIC-2010-0458 |
|
Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl and Wolfgang Reif. 2010. Interfacing industrial robots using realtime primitives. In 2010 IEEE International Conference on Automation and Logistics, 16-20 Aug. 2010, Hong Kong and Macau, China. IEEE, Piscataway, NJ, 468-473. DOI: 10.1109/ical.2010.5585330 |
|
Alwin Hoffmann, Andreas Angerer, Markus Bischof, Alexander Chekler, Andreas Schierl, Christian Tarragona, Michael Vistein and Wolfgang Reif. 2010. Objektorientierte Programmierung von Industrierobotern. In Internationales Forum Mechatronik 2010, Winterthur, Switzerland, November 3-4, 2010. Clusterland Oberösterreich, Linz (IFM Internationales Forum Mechatronik ; 6), 1-16. |
|
Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach and Wolfgang Reif. 2010. On deadlocks and fairness in self-organizing resource-flow systems. Lecture Notes in Computer Science 5974, 87-100. DOI: 10.1007/978-3-642-11950-7_9 |
|
Henrik Mühe, Andreas Angerer, Alwin Hoffmann and Wolfgang Reif. 2010. On reverse-engineering the KUKA robot language. In 1st International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-10), October 2010, Taipei, Taiwan, during the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'10). , arXiv:1009.5004 |
|
Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2010. Pitfalls in formal reasoning about security protocols. In Makoto Takizawa, A Min Tjoa, Markus Aleksy, Solange Ghernouti-Hélie, Gerald Quirchmayr and Edgar Weippl (Ed.). 2010 International Conference on Availability, Reliability and Security, 15-18 Feb. 2010, Krakow, Poland. IEEE, Piscataway, NJ, 248-253. DOI: 10.1109/ares.2010.36 |
|
Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2010. Software Engineering in der Industrierobotik: der SoftRobot-Ansatz. In Ulrich Jumar, Eckehard Schnieder, Christian Diedrich (Eds.). Entwurf komplexer Automatisierungssysteme - EKA 2010: Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen; 11. Fachtagung mit Tutorium, 25.-27. Mai 2010, Magdeburg, Deutschland. ifak - Institut für Automation und Kommunikation, Magdeburg, 259-266 |
|
Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck and Wolfgang Reif. 2010. Software metrics in static program analysis. Lecture Notes in Computer Science 6447, 485-500. DOI: 10.1007/978-3-642-16901-4_32 |
|
Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer, Hella Seebach, Florian Nafz and Wolfgang Reif. 2010. Structuring and controlling distributed power sources by autonomous virtual power plants. In Proceedings of the IEEE Power and Energy Student Summit 2010 (PESS 2010), October 2010. , 40-42 |
|
Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn and Wolfgang Reif. 2010. Temporal logic verification of lock-freedom. Lecture Notes in Computer Science 6120, 377-396. DOI: 10.1007/978-3-642-13321-3_21 |
|
Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2010. The robotics API: an object-oriented framework for modeling industrial robotics applications. In Ren C. Luo and Hajime Asama (Ed.). 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 18-22 Oct. 2010, Taipei, Taiwan. IEEE, Piscataway, NJ, 4036-4041. DOI: 10.1109/iros.2010.5649098 |
|
Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2010. Towards object-oriented software development for industrial robots: facilitating the use of industrial robots by modern software engineering. In Joaquim Filipe, Juan Andrade Cetto and Jean-Louis Ferrier (Ed.). Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics, June 15-18, 2010, in Funchal, Madeira, Portugal. SciTePress, Setúbal, 437-440. DOI: 10.5220/0003002304370440 |
|
Jan-Philipp Steghöfer, Rolf Kiefhaber, Karin Leichtenstern, Yvonne Bernard, Lukas Klejnowski, Wolfgang Reif, Theo Ungerer, Elisabeth André, Jörg Hähner and Christian Müller-Schloer. 2010. Trustworthy organic computing systems: challenges and perspectives. In Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang and Xingshe Zhou (Ed.). Autonomic and trusted computing: 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 6407), 62-76. DOI: 10.1007/978-3-642-16576-4_5 |
|
2009 |
|
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif. 2009. A generic software framework for role-based organic computing systems. In Hausi A. Müller and Jeff Magee (Ed.). 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 18-19 May 2009, Vancouver, BC, Canada. IEEE, Piscataway, NJ, 96-105. DOI: 10.1109/seams.2009.5069078 |
|
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius and Wolfgang Reif. 2009. A systematic verification approach for Mondex electronic purses using ASMs. Lecture Notes in Computer Science 5115, 93-110. DOI: 10.1007/978-3-642-11447-2_7 |
|
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif. 2009. A universal self-organization mechanism for role-based organic computing systems. Lecture Notes in Computer Science 5586, 17-31. DOI: 10.1007/978-3-642-02704-8_3 |
|
Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif. 2009. Abstract specification of the UBIFS file system for flash memory. Lecture Notes in Computer Science 5850, 190-206. DOI: 10.1007/978-3-642-05089-3_13 |
|
Michael Vistein, Frank Ortmeier, Wolfgang Reif, Ralf Huuck and Ansgar Fehnker. 2009. An abstract specification language for static program analysis. Electronic Notes in Theoretical Computer Science 254, 181-197. DOI: 10.1016/j.entcs.2009.09.066 |
|
Juan González Nieto, Wolfgang Reif, Guojun Wang and Jadwiga Indulska (Ed.). 2009. Autonomic and Trusted Computing: 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009; Proceedings. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 5586). DOI: 10.1007/978-3-642-02704-8 |
|
Andriy Dunets, Michael Balser and Wolfgang Reif. 2009. Combining Theorem Proving and Model Checking for Verification of Concurrent Systems. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2009-15. . |
|
Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2009. Generating formal specifications for security-critical applications - a model-driven approach. In Bart de Win, Seok-Won Lee and Mattia Monga (Ed.). 2009 ICSE Workshop on Software Engineering for Secure Systems, 19-19 May 2009, Vancouver, BC, Canada. IEEE, Piscataway, NJ, 68-74. DOI: 10.1109/iwsess.2009.5068461 |
|
Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, Michael Vistein and Wolfgang Reif. 2009. Hiding real-time: a new approach for the software development of industrial robots. In 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 10-15 Oct. 2009, St. Louis, MO, USA. IEEE, Piscataway, NJ, 2108-2112. DOI: 10.1109/iros.2009.5354589 |
|
Andriy Dunets, Simon Bäumler, Arjen Hommersom and Wolfgang Reif. 2009. Model Checking of Asbru. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2009-14. . |
|
Nina Moebius, Kurt Stenzel, Holger Grandy and Wolfgang Reif. 2009. Model-driven code generation for secure smart card applications. In Colin Fidge (Ed.). Proceedings: 2009 Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Coast, QLD, Australia. IEEE, Piscataway, NJ, 44-53. DOI: 10.1109/aswec.2009.15 |
|
Andreas Angerer, Alwin Hoffmann, Frank Ortmeier, Michael Vistein and Wolfgang Reif. 2009. Object-centric programming: a new modeling paradigm for robotic applications. In 2009 IEEE International Conference on Automation and Logistics, 5-7 August 2009, Shenyang, China. IEEE, Piscataway, NJ, 18-23. DOI: 10.1109/ical.2009.5262992 |
|
Nina Moebius, Kurt Stenzel, Holger Grandy and Wolfgang Reif. 2009. SecureMDD: a model-driven development method for secure smart card applications. In Makoto Takizawa and A Min Tjoa (Ed.). 2009 International Conference on Availability, Reliability and Security, 16-19 March 2009, Fukuoka, Japan. IEEE, Piscataway, NJ, 841-846. DOI: 10.1109/ares.2009.22 |
|
Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn and Wolfgang Reif. 2009. Verifying linearizability and lock-freedom with temporal logic. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2009-20. Universität Augsburg, Augsburg. |
|
2008 |
|
Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach and Wolfgang Reif. 2008. A specification and construction paradigm for organic computing systems. In Sven Brueckner, Paul Robertson and Umesh Bellur (Ed.). Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 20-24 Oct. 2008, Venezia, Italy. IEEE, Piscataway, NJ, 233-242. DOI: 10.1109/saso.2008.66 |
|
Andriy Dunets, Gerhard Schellhorn and Wolfgang Reif. 2008. Automating algebraic specifications of non-freely generated data types. Lecture Notes in Computer Science 5311, 141-155. DOI: 10.1007/978-3-540-88387-6_12 |
|
Andriy Dunets, Gerhard Schellhorn and Wolfgang Reif. 2008. Bounded relational analysis of free data types. Lecture Notes in Computer Science 4966, 99-115. DOI: 10.1007/978-3-540-79124-9_8 |
|
Simon Bäumler, Florian Nafz, Michael Balser and Wolfgang Reif. 2008. Compositional proofs with symbolic execution. In Bernhard Beckert and Gerwin Klein (Ed.). VERIFY'08 - 5th International Verification Workshop: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. CEUR-WS (CEUR Workshop Proceedings ; 372), 12-27. |
|
Matthias Guedemann, Frank Ortmeier and Wolfgang Reif. 2008. Computing ordered minimal critical sets. In Eckehard Schnieder and G. Tarnai (Ed.). Proceedings of Symposium FORMS/FORMAT - Formal Methods for Automation and Safety in Railway and Automotive Systems, Budapest, Hungary, 9-10 October 2008. L'Harmattan, Budapest |
|
Matthias Guedemann, Frank Ortmeier and Wolfgang Reif. 2008. Developing safety-critical mechatronical systems. In Jürgen Gausemeier, Franz-Josef Rammig and Wilhelm Schäfer (Ed.). Self-optimizing Mechatronic Systems: Design the Future; 7th International Heinz Nixdorf Symposium, 20-21 February 2008. Heinz Nixdorf Institut, Paderborn |
|
Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif. 2008. Implementing organic computing systems with agent service. In 3rd International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2008, held in conjunction with WEBIST 2008, 4 - 7 May, Madeira, Portugal. |
|
Michael Balser and Wolfgang Reif. 2008. Interactive Verification of Concurrent Systems using Symbolic Execution. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2008-12. . |
|
Simon Bäumler, Michael Balser, Wolfgang Reif and Gerhard Schellhorn. 2008. Interactive verification of concurrent systems using symbolic execution. In Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate Schmidt and Stephan Schulz (Ed.). The Combined KEAPPA - IWIL Workshops Proceedings: Proceedings of the LPAR 2008 Workshops Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics, held at The 15th International Conference on Logic for Programming, Artificial Intelligence and ReasoningNovember 23-27, 2008, Doha, Qatar. CEUR-WS, 92-102. |
|
Nina Moebius, Wolfgang Reif and Kurt Stenzel. 2008. Modeling security-critical applications with UML in the SecureMDD approach. International Journal on Advances in Software 1, 1, 59-79. |
|
Florina Nafz, Frank Ortmeier, Hella Seebach and Wolfgang Reif. 2008. Organic computing for health care systems. In Luis Azevedo and Ana Londral (Ed.). Proceedings of the First International Conference on Health Informatics - January 28-31, 2008, in Funchal, Madeira, Portugal. SciTePress, Setúbal, 286-290. DOI: 10.5220/0001044402860290 |
|
Alwin Hoffmann, Florian Nafz, Frank Ortmeier, Andreas Schierl and Wolfgang Reif. 2008. Prototyping plant control software with Microsoft Robotics Studio. In Third International Workshop on Software Development and Integration in Robotics SDIR 2008 (SDIR-III), Pasadena, CA, May 20th, 2008. |
|
Simon Bäumler, Michael Balser, Wolfgang Reif and Gerhard Schellhorn. 2008. Proving linearizability with temporal logic. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2008-19. Universität Augsburg, Augsburg. |
|
Nina Moebius, Holger Grandy, Wolfgang Reif and Kurt Stenzel. 2008. SecureMDD: A Model-Driven Development Method for Secure Smartcard Applications. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2008-10. . |
|
Frank Ortmeier, Alwin Hoffmann, Ulrich Huggenberger, Wolfgang Reif, Dominik Haneberg, Gerhard Schellhorn and Christian Tarragona. 2008. Simulations-basierte Programmierung von Industrierobotern. In Internationales Forum Mechatronik 2008, Stuttgart, Deutschland, 22-23.09.2008. |
|
Simon Bäumler, Michael Balser, Wolfgang Reif and Jonathan Schmitt. 2008. Synchronous Parallelism in the Asbru Language. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2008-11. . |
|
S. Bäumler, Micheal Balser, Wolfgang Reif and Jonathan Schmitt. 2008. Synchronous parallelism in the Asbru language. Institut für Informatik, Universität Augsburg, Augsburg (Report - Institut für Informatik, Universität Augsburg ; 2008-1). |
|
Kurt Stenzel, Holger Grandy and Wolfgang Reif. 2008. Verification of Java programs with generics. Lecture Notes in Computer Science 5140, 315-329. DOI: 10.1007/978-3-540-79980-1_24 |
|
Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn and Wolfgang Reif. 2008. Verification of Mondex electronic purses with KIV: from a security protocol to verified code. Lecture Notes in Computer Science 5014, 165-180. DOI: 10.1007/978-3-540-68237-0_13 |
|
Dominik Haneberg, Gerhard Schellhorn, Holger Grandy and Wolfgang Reif. 2008. Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Formal Aspects of Computing 20, 1, 41-59. DOI: 10.1007/s00165-007-0057-0 |
|
Jonathan Schmitt, Micheal Balser and Wolfgang Reif. 2008. Verification of medical guidelines with KIV. In A. ten Teije, S. Miksch and P. Lucas (Ed.). Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. IOS Press, Amsterdam (Studies in Health Technology and Informatics ; 139), 253-262. DOI: 10.3233/978-1-58603-873-1-253 |
|
2007 |
|
Nina Moebius, Dominik Haneberg, Wolfgang Reif and Gerhard Schellhorn. 2007. A modeling framework for the development of Provably Secure E-Commerce applications. In Sergiu Dascalu, Petre Dini, Sandro Morasca, Tadashi Ohta and Andre Oboler (Ed.). International Conference on Software Engineering Advances (ICSEA 2007), 25-31 Aug. 2007, Cap Esterel, France. IEEE, Piscataway, NJ, 8. DOI: 10.1109/icsea.2007.7 |
|
Holger Grandy, Kurt Stenzel and Wolfgang Reif. 2007. A refinement method for Java programs. Lecture Notes in Computer Science 4468, 221-235. DOI: 10.1007/978-3-540-72952-5_14 |
|
Holger Grandy, Robert Bertossi, Kurt Stenzel and Wolfgang Reif. 2007. ASN1-light: a verified message encoding for security protocols. In Mike Hinchey and Tiziana Margaria (Ed.). Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 Sept. 2007, London, UK. IEEE, Piscataway, NJ, 195-204. DOI: 10.1109/sefm.2007.8 |
|
Hella Seebach, Frank Ortmeier and Wolfgang Reif. 2007. Design and construction of organic computing systems. In 2007 IEEE Congress on Evolutionary Computation, 25-28 Sept. 2007, Singapore. IEEE, Piscataway, NJ, 4215-4221. DOI: 10.1109/cec.2007.4425021 |
|
Frank Ortmeier, Matthias Güdemann and Wolfgang Reif. 2007. Formal failure models. IFAC Proceedings Volumes 40, 6, 145-150. DOI: 10.3182/20070613-3-fr-4909.00027 |
|
Matthias Gudemann, Andreas Angerer, Frank Ortmeier and Wolfgang Reif. 2007. Modeling of self-adaptive systems with SCADE. In Magdy Bayoumi, Nam Ling and Gianluca Setti (Ed.). 2007 IEEE International Symposium on Circuits and Systems, 27-30 May 2007, New Orleans, LA, USA. IEEE, Piscataway, NJ, 2922-2925. DOI: 10.1109/iscas.2007.377861 |
|
Matthias Güdemann, Frank Ortmeier and Wolfgang Reif. 2007. Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. Lecture Notes in Computer Science 4680, 465-478. DOI: 10.1007/978-3-540-75101-4_44 |
|
Dominik Haneberg, Holger Grandy, Wolfgang Reif and Gerhard Schellhorn. 2007. Verifying smart card applications: an ASM approach. Lecture Notes in Computer Science 4591, 313-332. DOI: 10.1007/978-3-540-73210-5_17 |
|
2006 |
|
Holger Grandy, Kurt Stenzel and Wolfgang Reif. 2006. A Refinement Method for Java Programs. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-29. . |
|
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Nina Moebius and Wolfgang Reif. 2006. A systematic verification approach for Mondex electronic purses using ASMs. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-27. Universität Augsburg, Augsburg. |
|
Wolfgang Reif. 2006. An approach to parameterized first-order specifications: semantics, correctness, parameter passing. In Dines Bjørner, Manfred Broy and Igor V. Pottosin (Ed.). Formal methods in programming and their applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993. Springer, Berlin [u.a.], 67-80. DOI: 10.1007/bfb0039701 |
|
Matthias Güdemann, Florian Nafz, Andreas Pietzowski, Wolfgang Reif, Benjamin Satzger, Hella Seebach and Theo Ungerer. 2006. Applications and architectures in organic computing. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-21. . |
|
Florian Nafz, Matthias Güdemann, Wolfgang Reif and Hella Seebach. 2006. Applications in organic computing. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-22. . |
|
Jonathan Schmitt, Michael Balser and Wolfgang Reif. 2006. Asbru in KIV v2.1 – A Tutorial. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-03. . |
|
Holger Grandy, Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2006. Developing provable secure M-commerce applications. Lecture Notes in Computer Science 3995, 115-129. DOI: 10.1007/11766155_9 |
|
Michael Balser, Christoph Duelli, Wolfgang Reif and Jonathan Schmitt. 2006. Formal Semantics of Asbru - V2.12. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-15. . |
|
Matthias Güdemann, Frank Ortmeier and Wolfgang Reif. 2006. Formal modeling and verification of systems with self-x properties. Lecture Notes in Computer Science 4158, 38-47. DOI: 10.1007/11839569_4 |
|
Annette ten Teije, Mar Marcos, Michael Balser, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Peter Lucas, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand and Andreas Seyfang. 2006. Improving medical protocols by formal methods. Artificial Intelligence in Medicine 36, 3, 193-209. DOI: 10.1016/j.artmed.2005.10.006 |
|
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif and Mar Marcos. 2006. Interactive verification of medical guidelines. Lecture Notes in Computer Science 4085, 32-47. DOI: 10.1007/11813040_3 |
|
Kurt Stenzel, Holger Grandy and Wolfgang Reif. 2006. Reasoning about Pointer Structures in Java. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-30. . |
|
Holger Grandy, Kurt Stenzel and Wolfgang Reif. 2006. Refinement of security protocol data types to Java. In 20th European Conference on Object-Oriented Programming: ECOOP 2006,July 3 - 7 2006, Nantes, France. |
|
Matthias Güdemann, Frank Ortmeier and Wolfgang Reif. 2006. Safety and dependability analysis of self-adaptive systems. In Tiziana Margaria and Bernhard Steffen (Ed.). Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 15-19 Nov. 2006, Paphos, Cyprus. IEEE, Piscataway, NJ, 177-184. DOI: 10.1109/isola.2006.38 |
|
Jonathan Schmitt, Michael Balser and Wolfgang Reif. 2006. Support for Interactive Verification of Asbru in KIV. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-16. . |
|
Holger Grandy, Nina Moebius, Markus Bischof, Dominik Haneberg, Gerhard Schellhorn, Kurt Stenzel and Wolfgang Reif. 2006. The Mondex case study: from specifications to code. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-31. . |
|
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang Reif. 2006. The Mondex challenge: machine checked proofs for an electronic purse. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-02. . |
|
Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang Reif. 2006. The mondex challenge: machine checked proofs for an electronic purse. Lecture Notes in Computer Science 4085, 16-31. DOI: 10.1007/11813040_2 |
|
Matthias Güdemann, Florian Nafz, Wolfgang Reif and Hella Seebach. 2006. Towards safe and secure organic computing applications. In Christian Hochberger (Ed.). Informatik 2006: Informatik für Menschen; Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI); 2. bis 6. Oktober 2006 in Dresden. Gesellschaft für Informatik e.V., Bonn (GI-Edition : Proceedings ; 93), 153-160. |
|
Dominik Haneberg, Gerhard Schellhorn, Holger Grandy and Wolfgang Reif. 2006. Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-32. . |
|
Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif and Jonathan Schmitt. 2006. Verification of medical guidelines by model checking - a case study. Lecture Notes in Computer Science 3925, 219-233. DOI: 10.1007/11691617_13 |
|
Dominik Haneberg, Holger Grandy, Wolfgang Reif and Gerhard Schellhorn. 2006. Verifying smart card applications: an ASM approach. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2006-08. . |
|
2005 |
|
Frank Ortmeier, Wolfgang Reif and Gerhard Schellhorn. 2005. Deductive Cause-Consequence Analysis (DCCA). IFAC Proceedings Volumes 38, 1, 62-67. DOI: 10.3182/20050703-6-CZ-1902.01435 |
|
Frank Ortmeier, Wolfgang Reif and Gerhard Schellhorn. 2005. Formal safety analysis of a radio-based railroad crossing using Deductive Cause-Consequence Analysis (DCCA). Lecture Notes in Computer Science 3463, 210-224. DOI: 10.1007/11408901_15 |
|
Frank Ortmeier and Wolfgang Reif. 2005. Formal safety analysis of transportation control systems. In TRain Workshop: Third IEEE International Conference on Software Engineering and Formal Methods , 5. - 6. September, Koblenz, Germany. |
|
Holger Grandy, Kurt Stenzel and Wolfgang Reif. 2005. Object oriented verification kernels for secure Java applications. In Bernhard K. Aichernig and Bernhard Beckert (Ed.). Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 7-9 Sept. 2005, Koblenz, Germany. IEEE, Los Alamitos, Calif., 170-179. DOI: 10.1109/SEFM.2005.28 |
|
Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt and Kurt Stenzel. 2005. The user interface of the KIV verification system: a system description. In Public transport 2020 - making the connection: people, environment, business; 56th UITP world congress, Rome, 5 - 9 June 2005; proceedings of the User Interfaces for Theorem Provers Workshop (UITP 2005). UITP, Brussels |
|
Dominik Haneberg, H. Grandy, Wolfgang Reif and Gerhard Schellhorn. 2005. Verifying security protocols: an ASM approach. In D. Beauquier, E. Börger, A. Slissenko (Eds.). Proceedings of the 12th International Workshop on Abstract State Machines (ASM 2005), University Paris 12 - Val de Marne, Créteil, France, Marech 2005. |
|
2004 |
|
Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2004. A construction kit for modeling the security of M-Commerce applications. Lecture Notes in Computer Science 3236, 72-85. DOI: 10.1007/978-3-540-30233-9_6 |
|
Mathias Drton, Friedrich Pukelsheim, Günter Hägele, Dominik Haneberg and Wolfgang Reif. 2004. A rediscovered Llull tract and the Augsburg web edition of Llull's electoral writings. Le Médiéviste et l'ordinateur 43, . |
|
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn and Wolfgang Reif. 2004. Combining formal methods and safety analysis - the ForMoSA approach. Lecture Notes in Computer Science 3147, 474-493. DOI: 10.1007/978-3-540-27863-4_26 |
|
Dominik Haneberg, Kurt Stenzel and Wolfgang Reif. 2004. Electronic-onboard-ticketing: software challenges of an state-of-the-art M-Commerce application. In Key Pousttchi and Klaus Turowski (Ed.). Mobile Economy - Transaktionen, Prozesse, Anwendungen und Dienste: Proceedings zum 4. Workshop Mobile Commerce, Universität Augsburg 2.-3. Februar 2004. Gesellschaft für Informatik e.V., Bonn (GI-Edition : Proceedings ; 42), 103-113. |
|
Frank Ortmeier and Wolfgang Reif. 2004. Failure-Sensitive Specification: A formal method for finding failure modes. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2004-03. . |
|
Wolfgang Reif, Frank Ortmeier, Andreas Thums and Gerhard Schellhorn. 2004. Integrated formal methods for safety analysis of train systems. In René Jacquart (Ed.). Building the information society: IFIP 18th World Computer Congress; Topical sessions 22-27 August 2004, Toulouse, France. Kluwer Academic Publishers, New York [u.a.] (IFIP ; 156), 637-642. |
|
Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder and Engelbert Westkämper (Ed.). 2004. Integration of software specification techniques for applications in engineering: priority program Softspez of the German Research Foundation (DFG); final report. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 3147). DOI: 10.1007/b100778 |
|
Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif and Andreas Thums. 2004. Interactive verification of UML state machines. Lecture Notes in Computer Science 3308, 434-448. DOI: 10.1007/978-3-540-30482-1_36 |
|
Andreas Thums, Gerhard Schellhorn, Frank Ortmeier and Wolfgang Reif. 2004. Interactive verification of statecharts. Lecture Notes in Computer Science 3147, 355-373. DOI: 10.1007/978-3-540-27863-4_20 |
|
Frank Ortmeier, Wolfgang Reif and Gerhard Schellhorn. 2004. Introduction to subject area "Verification". Lecture Notes in Computer Science 3147, 419-422. DOI: 10.1007/978-3-540-27863-4_23 |
|
Mathias Drton, Günter Hägele, Dominik Haneberg, Friedrich Pukelsheim and Wolfgang Reif. 2004. Ramon Llulls Traktate zu Wahlverfahren: Ziele und Realisierung einer Internet-Edition. In Klaus von Eickels, Ruth Weichselbaumer and Ingrid Bennewitz (Ed.). Mediaevistik und Neue Medien [27 Beiträge vom Kolloquium "Mediävistik und Neue Medien", das am 7. und 8. Dezember 2001 in Bamberg abgehalten wurde ; CD mit Demonstrationsdateien zu den Projekten]. Thorbecke, Ostfildern, 131-140. |
|
Frank Ortmeier, Gerhard Schellhorn and Wolfgang Reif. 2004. Safety optimization of a radio-based railroad crossing. In E. Schnieder and G. Tarnai (Ed.). Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004), Braunschweig, Germany, December 2-3, 2004. Technische Uni Braunschweig, Inst. für Regelungs- und Automatisierungstechnik, Braunschweig |
|
Frank Ortmeier and Wolfgang Reif. 2004. Safety optimization: a combination of fault tree analysis and optimization techniques. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2004-06. . |
|
Frank Ortmeier and Wolfgang Reif. 2004. Safety optimization: a combination of fault tree analysis and optimization techniques. In Luca Simoncini, David Powell and Andrea Bondavalli (Ed.). International Conference on Dependable Systems and Networks, 28 June - 1 July 2004, Florence, Italy. IEEE Computer Society, Los Alamitos, Calif., 651-658. DOI: 10.1109/DSN.2004.1311935 |
|
2003 |
|
Wolfgang Reif. 2003. Correctness of full first-order specifications. In Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering, 15-20 June 1992, Capri, Italy. IEEE, Piscataway, NJ, 276-283. DOI: 10.1109/seke.1992.227918 |
|
Dominik Haneberg, Alexander Kreibich, Wolfgang Reif and Kurt Stenzel. 2003. Design for trust: security im M-Commerce. In Klaus P. Jantke, Wolfgang S. Wittig and Jörg Herrmann (Ed.). Von e-Learning bis e-Payment 2003: das Internet als sicherer Marktplatz. Tagungsband LIT '03. Akademische Verlagsgesellschaft, Aka, Berlin, 204-208. |
|
Dominik Haneberg, Alexander Kreibich, Wolfgang Reif and Kurt Stenzel. 2003. Design for trust: security im M-Commerce. In K. Dittrich, W. König, A. Oberweis, K. Rannenberg and W. Wahlster (Ed.). INFORMATIK 2003 - Innovative Informatikanwendungen: Band 1, Beiträge der 33. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 29. September - 2. Oktober 2003 in Frankfurt am Main. Gesellschaft für Informatik, Bonn (GI-Edition : Proceedings ; 34) (Beiträge der Jahrestagung der Gesellschaft für Informatik ; 33) (Lecture Notes in Informatics ; P-34), 91-94. |
|
Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif and Gerhard Schellhorn. 2003. J.UCS Special Issue on Tools for System Design and Verification. Journal of Universal Computer Science 9, 2, 86-87. |
|
Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering and Helmut Trappschuh. 2003. Safety analysis of the height control system for the Elbtunnel. Reliability Engineering & System Safety 81, 3, 259-268. DOI: 10.1016/S0951-8320(03)00090-5 |
|
2002 |
|
Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2002. A method for secure smartcard applications. Lecture Notes in Computer Science 2422, 319-333. DOI: 10.1007/3-540-45719-4_22 |
|
Gerhard Schellhorn, Andreas Thums and Wolfgang Reif. 2002. Formal fault tree semantics. In Proceedings of The Sixth World Conference on Integrated Design & Process Technology: June 23 - 27, 2003, Pasadena, California (IDPT-2002). Society for Design and Process Science, Dallas, TX |
|
Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering and Helmut Trappschuh. 2002. Safety analysis of the height control system for the Elbtunnel. Lecture Notes in Computer Science 2434, 296-308. DOI: 10.1007/3-540-45732-1_29 |
|
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel and David Toll. 2002. Verified formal security models for multiapplicative smart cards. Journal of Computer Security 10, 4, 339-367. DOI: 10.3233/JCS-2002-10403 |
|
Michael Balser, Christoph Duelli, Wolfgang Reif and Gerhard Schellhorn. 2002. Verifying concurrent systems with symbolic execution. Journal of Logic and Computation 12, 4, 549-560. DOI: 10.1093/logcom/12.4.549 |
|
2001 |
|
Mathias Drton, Friedrich Pukelsheim, Günter Hägele, Dominik Haneberg and Wolfgang Reif. 2001. A rediscovered Llull tract and the Augsburg web edition of Llull's electoral writings. Institut für Mathematik, Universität Augsburg, Augsburg |
|
Wolfgang Reif, Gerhard Schellhorn and Andreas Thums. 2001. Flaw detection in formal specifications. Lecture Notes in Computer Science 2083, 642-657. DOI: 10.1007/3-540-45744-5_52 |
|
Wolfgang Reif, Gerhard Schellhorn and Andreas Thums. 2001. Integration formaler Spezifikation und Sicherheitsanalyse. Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg 2001-06. Universität Augsburg, Augsburg. |
|
2000 |
|
Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn and Tobias Vollmer. 2000. Do you trust your model checker?. In Warren A. Hunt Jr. and Steven D. Johnson (Ed.). Formal methods in computer-aided design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 1954), 199-216. DOI: 10.1007/3-540-40922-x_12 |
|
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel and Andreas Thums. 2000. Formal system development with KIV. Lecture Notes in Computer Science 1783, 363-366. DOI: 10.1007/3-540-46428-X_25 |
|
Wolfgang Reif, Gerhard Schellhorn and Andreas Thums. 2000. Formale Sicherheitsanalyse einer funkbasierten Bahnübergangssteuerung. VDI-Zeitschrift: Fortschritt-Berichte VDI, Reihe 12 2000, 12. |
|
Wolfgang Reif, Gerhard Schellhorn and Andreas Thums. 2000. Safety analysis of a radio-based crossing control system using formal methods. IFAC Proceedings Volumes 33, 9, 261-266. DOI: 10.1016/s1474-6670(17)38156-9 |
|
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel and David Toll. 2000. Verification of a formal security model for multiapplicative smart cards. Lecture Notes in Computer Science 1895, 17-36. DOI: 10.1007/10722599_2 |
|
Michael Balser, C. Duelli, Wolfgang Reif and Gerhard Schellhorn. 2000. Verifying concurrent systems with symbolic execution. In AiML-ICTL 2000: Advances in Modal Logic - International Conference on Temporal Logic 2000, October 4-7, 2000, University of Leipzig, Germany. |
|
1999 |
|
Rudolf Berghammer, Y. Lakhnech and Wolfgang Reif. 1999. Formal methods and tools: introduction and overview. In Rudolf Berghammer and Yassine Lakhnech (Ed.). Tool support for system specification, development and verification. Springer, Vienna (Advances in Computer Science), 1-17. DOI: 10.1007/978-3-7091-6355-9_1 |
|
Wolfgang Reif. 1999. Formale Methoden für sicherheitskritische Software: der KIV-Ansatz. Informatik - Forschung und Entwicklung 14, 4, 193-202. DOI: 10.1007/s004500050137 |
|
Wolfgang Reif. 1999. Interaktives Theorembeweisen: Anwendungen in der Softwaretechnik. Künstliche Intelligenz 4. |
|
Michael Balser, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1999. KIV 3.0 for provably correct systems. In Dieter Hutter, Werner Stephan, Paolo Traverso and Markus Ullmann (Ed.). Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 1641), 330-337. DOI: 10.1007/3-540-48257-1_23 |
|
Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif and Stefan Scheer. 1999. Structured formal development in VSE II: the Robertino case study. In Francesca Saglietti and Wolfgang Goerigk (Ed.). Sicherheit und Zuverlässigkeit software-basierter Systeme: Beiträge zum GI-Workshop in Bad Honnef, 3. - 5. Mai 1999. ISTec, Garching, 138-152. |
|
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1999. VSE: controlling the complexity in formal software developments. In Dieter Hutter, Werner Stephan, Paolo Traverso and Markus Ullmann (Ed.). Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 1641), 351-358. DOI: 10.1007/3-540-48257-1_26 |
|
1998 |
|
Dieter Fensel, Frank van Harmelen, Wolfgang Reif and Annetie ten Teijet. 1998. Formal support for development of knowledge-based systems. Failure and Lessons Learned in Information Technology Management 2, 4, 173-182. DOI: 10.3727/108812898791918253 |
|
Wolfgang Ahrendt, Bernhard Beckert, R. Hähnle, Wolfram Menzel, Wolfgang Reif, Gerhard Schellhorn and Peter H. Schmitt. 1998. Integrating automated and interactive theorem proving. In Wolfgang Bibel and Peter H. Schmitt (Ed.). Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques. Springer, Dordrecht (Applied Logic Series ; 9), 97-116. DOI: 10.1007/978-94-017-0435-9_4 |
|
T. Nipkow and Wolfgang Reif. 1998. Introduction. In Wolfgang Bibel and Peter H. Schmitt (Ed.). Automated deduction — a basis for applications: Volume II: systems and implementation techniques. Springer, Dordrecht (Applied Logic Series ; 9), 3-11. |
|
Wolfgang Reif. 1998. Software-Sicherheit mit formalen Methoden. Softwaretechnik-Trends 18, 3. |
|
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel and M. Balser. 1998. Structured specifications and interactive proofs with KIV. In Wolfgang Bibel and Peter H. Schmitt (Ed.). Automated deduction - a basis for applications: Volume II - systems and implementation techniques. Springer, Dordrecht (Applied Logic Series ; 9), 13-39. DOI: 10.1007/978-94-017-0435-9_1 |
|
Wolfgang Reif and Gerhard Schellhorn. 1998. Theorem proving in large theories. In Wolfgang Bibel and Peter H. Schmitt (Ed.). Automated deduction — a basis for applications: Volume II - systems and implementation techniques. Springer, Dordrecht (Applied Logic Series ; 9), 225-241. DOI: 10.1007/978-94-017-0437-3_9 |
|
Gerhard Schellhorn and Wolfgang Reif. 1998. Theorems from compiler verification: a problem set for automated theorem provers. Ulmer Informatik Berichte 98-13. |
|
1997 |
|
Gerhard Schellhorn and Wolfgang Reif. 1997. Proving properties of finite enumerations: a problem set for automated theorem provers. Ulmer Informatik-Berichte 97-12. |
|
Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1997. Proving system correctness with KIV. In Michel Bidoit and Max Dauchet (Ed.). TAPSOFT '97: Theory and Practice of Software Development; 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 1214), 859-862. DOI: 10.1007/bfb0030647 |
|
Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1997. Proving system correctness with KIV 3.0. Lecture Notes in Computer Science 1249, 69-72. DOI: 10.1007/3-540-63104-6_10 |
|
Wolfgang Reif. 1997. Risikofaktor Software. In Klaus P. Jantke (Ed.). Impulse für Informatik Innovationen. Infix Verlag, Sankt Augustin |
|
Wolfgang Reif. 1997. Software-Verifikation und ihre Anwendungen. it - Information Technology 39, 3, 34-40. DOI: 10.1524/itit.1997.39.3.34 |
|
1996 |
|
Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1996. KIV 3.0: concepts and applications. Universität Ulm, Ulm. |
|
Andreas Ramses Heckler, Rudolf Hettler, Heinrich Hussmann, Jacques Loeckx, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1996. LEX: a case study in development and validation of formal specifications. (Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes). DOI: 10.22028/D291-25803 |
|
Wolfgang Reif and Kurt Stenzel. 1996. Reuse of proofs in software verification. Sadhana 21, 2, 229-244. DOI: 10.1007/bf02745521 |
|
Wolfgang Reif. 1996. Software Verifikation: Stand und Perspektiven. Grundlagen, Spezifikation, Implementierung und Verifikation von Programmiersprachen: Technischer Bericht FI96/06, TU Dresden . |
|
1995 |
|
Peter Pepper, Martin Wirsing, Ralph Betschko, Manfred Broy, Sabine Dick, Klaus Didrich, Joachim Faulhaber, Wolfgang Grieskamp, Heinrich Hußmann, Michael Mehlich, Wolfgang Reif, Martin Beyer, Stefan Gastinger, Maritta Heisel, Friedrich von Henke, Liu Junbo, Bernd Krieg-Brückner, Thomas Santen, Gerhard Schellhorn, Oscar Slotosch, Kurt Stenzel, Martin Strecker, Nikolas Vlachantonis and Burkhart Wolff. 1995. A method for the development of correct software. In Manfred Broy and Stefan Jähnichen (Ed.). KORSO: methods, languages, and tools for the construction of correct software: final report. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 1009), 25-57. DOI: 10.1007/bfb0015454 |
|
Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1995. Interactive correctness proofs for software modules using KIV. In COMPASS '95: Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security, 25-29 June 1995, Gaithersburg, MD, USA, USA. IEEE, Piscataway, NJ, 151-162. DOI: 10.1109/cmpass.1995.521894 |
|
Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1995. Tactics in KIV. Journal on Information Processing and Cybernetics 1994, 30. |
|
Wolfgang Reif. 1995. The Kiv-approach to software verification. In Manfred Broy and Stefan Jähnichen (Ed.). KORSO: methods, languages, and tools for the construction of correct software: final report. Springer, Berlin [u.a.], 339-368. DOI: 10.1007/bfb0015471 |
|
Frank Koop, Markus Ullmann, Stefan Wittmann, Dieter Hutter, Bruno Langenstein, Claus Sengler, Werner Stephan, Andreas Wolpers and Wolfgang Reif. 1995. The VSE development method - a way to engineer high: assurance software systems. In R. Gotzhein and J. Bredereke (Ed.). 5. GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", June 22-23 1995, Kaiserlautern Germany. |
|
Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1995. Three selected case studies in verification. In Manfred Broy and Stefan Jähnichen (Ed.). KORSO - methods, languages, and tools for the construction of correct software: Final Report. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 1009), 369-387. DOI: 10.1007/bfb0015472 |
|
1994 |
|
Wolfgang Reif and A. Schönegge. 1994. A reflection mechanism using structured specifications. In J. Kunze, A. Stoyan (Eds.). KI-94, 18th German Annual Conference on Artificial Intelligence, September 18 - 23, 1994, Saarbrücken, Germany. |
|
Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1994. Tactics in KIV. In KI-94, 18th German Annual Conference on Artificial Intelligence, September 18 - 23 1994, Saarbrücken, Germany. |
|
1993 |
|
Heinrich Hußmann, Jacques Loeckx and Wolfgang Reif. 1993. KORSO: das Verbundprojekt “Korrekte Software”. In Horst Reichel (Ed.). Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung, Dresden, 27. September – 1. Oktober 1993. Springer, Berlin (Informatik aktuell), 266-271. DOI: 10.1007/978-3-642-78486-6_42 |
|
Wolfgang Reif and Kurt Stenzel. 1993. Reuse of proofs in software verification. In Rudrapatna K. Shyamasundar (Ed.). Foundations of software technology and theoretical computer science: 13th Conference Bombay, India, December 15–17, 1993. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 761), 284-293. DOI: 10.1007/3-540-57529-4_61 |
|
M. Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, P. Göhner, R. Drexler, Wolfgang Reif, W. Stephan, A. Wolpers, J. Cleve, D. Hutter, C. Sengler and E. Canver. 1993. VSE: verification support environment - ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. In Gerhard Weck and Patrick Horster (Ed.). Verläßliche Informationssysteme: Proceedings der GI-Fachtagung VIS’93. Vieweg+Teubner Verlag, Wiesbaden (DuD-Fachbeiträge), 175-190. DOI: 10.1007/978-3-322-88782-5_12 |
|
1992 |
|
Wolfgang Reif. 1992. Correctness of generic modules. In Anil Nerode and Mikhail Taitslin (Ed.). Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992. Springer, Berlin [u.a.] (Lecture notes in computer science ; 620), 406-417. DOI: 10.1007/BFb0023893 |
|
Wolfgang Reif. 1992. The KIV system: systematic construction of verified software. In Deepak Kapur (Ed.). Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 607), 753-757. DOI: 10.1007/3-540-55602-8_218 |
|
Baur, T. Plasa, P. Kejwal, R. Drexler, W. Stephan, Wolfgang Reif, A. Wolpers, D. Hutter, C. Sengler and E. Canver. 1992. The Verification Support Environment VSE. IFAC Proceedings Volumes 25, 30, 69-74. DOI: 10.1016/s1474-6670(17)49409-2 |
|
Wolfgang Reif. 1992. Verification of large software systems. In Rudrapatna Shyamasundar (Ed.). Foundations of software technology and theoretical computer science: 12th Conference New Delhi, India, December 18–20, 1992. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 652), 241-252. DOI: 10.1007/3-540-56287-7_109 |
|
1991 |
|
M. Heisel, Wolfgang Reif and W. Stephan. 1991. Formal software development in the KIV system. In Michael R. Lowry and Robert D. McCartney (Ed.). Automating software design. AAAI press, Menlo Park, Calif. [u.a.] |
|
1990 |
|
M. Heisel, W. Menzel, Wolfgang Reif and W. Stephan. 1990. Der Karlsruhe Interactive Verifier (KIV): eine Übersicht. In Heinrich Kersten (Ed.). Sichere Software: formale Spezifikation und Verifikation vertrauenswürdiger Systeme ; Tagung der Zentralstelle für Sicherheit in der Informationstechnik, Bonn, 27. - 28.11.1989. Hüthig, Heidelberg, 172-193. |
|
M. Heisel, Wolfgang Reif and W. Stephan. 1990. Tactical theorem proving in program verification. In Mark E. Stickel (Ed.). 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990. Springer, Berlin (Lecture Notes in Computer Science ; 449), 117-131. DOI: 10.1007/3-540-52885-7_83 |
|
1989 |
|
M. Heisel, Wolfgang Reif and W. Stephan. 1989. A dynamic logic for program verification. In Albert R. Meyer and Michael A. Taitslin (Ed.). Logic at Botik '89: Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989. Springer Berlin Heidelberg, Berlin, Heidelberg (Lecture Notes in Computer Science ; 363), 134-145. DOI: 10.1007/3-540-51237-3_12 |
|
M. Heisel, Wolfgang Reif and W. Stephan. 1989. Formal software development in the KIV-System. In Eleventh International Joint Conference on Artificial Intelligence, August 20-25 1989, Detroit, MI, USA. |
|
M. Heisel, Wolfgang Reif and W. Stephan. 1989. Implementing verification strategies in the KIV-system. In Ewing Lusk and Ross Overbeek (Ed.). 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23–26, 1988. Springer, Berlin [u.a.], 131-140. DOI: 10.1007/BFb0012828 |
|
M. Heisel, Wolfgang Reif and W. Stephan. 1989. Machine-assisted program construction and modification. In Dieter Metzing (Ed.). GWAI-89 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.–22. September 1989. Springer, Berlin (Informatik-Fachberichte ; 216), 338-347. DOI: 10.1007/978-3-642-75100-4_39 |
|
1988 |
|
M. Heisel, Wolfgang Reif and W. Stephan. 1988. Program verification using dynamic logic. In Egon Börger, Hans Kleine Büning and Michael M. Richter (Ed.). CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987. Springer, Berlin (Lecture Notes in Computer Science ; 329), 102-117. DOI: 10.1007/3-540-50241-6_32 |
|
1987 |
|
M. Heisel, Wolfgang Reif and W. Stephan. 1987. Program verification by symbolic execution and induction. In GWAI-87 11th German Workshop on Artifical Intelligence: Geseke, September 28–October 2, 1987. Springer, Berlin [u.a.] (Informatik-Fachberichte ; 152), 201-210. DOI: 10.1007/978-3-642-73005-4_22 |
|
1986 |
|
R. Hähnle, M. Heisel, Wolfgang Reif and W. Stephan. 1986. An interactive verification system based on dynamic logic. In Jörg H. Siekmann (Ed.). 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 230), 306-315. DOI: 10.1007/3-540-16780-3_99 |
Institute for Software & Systems Engineering
The Institute for Software & Systems Engineering (ISSE), directed by Prof. Dr. Wolfgang Reif, is a scientific institution within the Faculty of Applied Computer Science of the University of Augsburg. In research, the institute supports both fundamental and application-oriented research in all areas of software and systems engineering. In teaching, the institute facilitates the further development of the faculty's and university's relevant course offerings.