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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL | URL

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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.
BibTeX | RIS

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.
PDF | BibTeX | RIS

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
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL | URL

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI | URL

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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.
BibTeX | RIS

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
PDF | BibTeX | RIS | DOI | URL

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
BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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).
PDF | BibTeX | RIS

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
PDF | BibTeX | RIS | URL | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | URL | URL

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.
BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL | URL

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
PDF | BibTeX | RIS | DOI

Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert and Wolfgang Reif. 2015. A framework for testing self-organisation algorithms. Softwaretechnik-Trends 35, 1.
BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI | URL

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
PDF | BibTeX | RIS | DOI | URL

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | URL | URL

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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
PDF | BibTeX | RIS | DOI

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.
BibTeX | RIS

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI | URL

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
PDF | BibTeX | RIS | DOI | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS

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
PDF | BibTeX | RIS | URL | URL

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
PDF | BibTeX | RIS | DOI

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.
BibTeX | RIS

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.
PDF | BibTeX | RIS

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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.
PDF | BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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.
BibTeX | RIS | URL

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. .
PDF | BibTeX | RIS

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.
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS | URL

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.
PDF | BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS

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. .
PDF | BibTeX | RIS

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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. .
PDF | BibTeX | RIS

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.
BibTeX | RIS

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.
BibTeX | RIS

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
PDF | BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | URL

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.
BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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
PDF | BibTeX | RIS

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.
BibTeX | RIS | URL

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS | URL

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
BibTeX | RIS

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
BibTeX | RIS

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.
BibTeX | RIS

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. .
PDF | BibTeX | RIS

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.
BibTeX | RIS | URL

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.
PDF | BibTeX | RIS | URL

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
PDF | BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS | URL

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.
PDF | BibTeX | RIS

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. .
PDF | BibTeX | RIS

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.
PDF | BibTeX | RIS | URL

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. .
PDF | BibTeX | RIS

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).
BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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.
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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. .
PDF | BibTeX | RIS

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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.
BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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. .
PDF | BibTeX | RIS

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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, .
PDF | BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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. .
PDF | BibTeX | RIS

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS

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
BibTeX | RIS

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. .
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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.
BibTeX | RIS | URL

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.
PDF | BibTeX | RIS | URL

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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.
PDF | BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

Wolfgang Reif, Gerhard Schellhorn and Andreas Thums. 2000. Formale Sicherheitsanalyse einer funkbasierten Bahnübergangssteuerung. VDI-Zeitschrift: Fortschritt-Berichte VDI, Reihe 12 2000, 12.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

Wolfgang Reif. 1999. Formale Methoden für sicherheitskritische Software: der KIV-Ansatz. Informatik - Forschung und Entwicklung 14, 4, 193-202. DOI: 10.1007/s004500050137
BibTeX | RIS | DOI

Wolfgang Reif. 1999. Interaktives Theorembeweisen: Anwendungen in der Softwaretechnik. Künstliche Intelligenz 4.
BibTeX | RIS

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

Wolfgang Reif. 1998. Software-Sicherheit mit formalen Methoden. Softwaretechnik-Trends 18, 3.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

Gerhard Schellhorn and Wolfgang Reif. 1998. Theorems from compiler verification: a problem set for automated theorem provers. Ulmer Informatik Berichte 98-13.
BibTeX | RIS

Gerhard Schellhorn and Wolfgang Reif. 1997. Proving properties of finite enumerations: a problem set for automated theorem provers. Ulmer Informatik-Berichte 97-12.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

Wolfgang Reif. 1997. Risikofaktor Software. In Klaus P. Jantke (Ed.). Impulse für Informatik Innovationen. Infix Verlag, Sankt Augustin
BibTeX | RIS

Wolfgang Reif. 1997. Software-Verifikation und ihre Anwendungen. it - Information Technology 39, 3, 34-40. DOI: 10.1524/itit.1997.39.3.34
BibTeX | RIS | DOI

Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1996. KIV 3.0: concepts and applications. Universität Ulm, Ulm.
BibTeX | RIS

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
BibTeX | RIS | DOI

Wolfgang Reif and Kurt Stenzel. 1996. Reuse of proofs in software verification. Sadhana 21, 2, 229-244. DOI: 10.1007/bf02745521
BibTeX | RIS | DOI

Wolfgang Reif. 1996. Software Verifikation: Stand und Perspektiven. Grundlagen, Spezifikation, Implementierung und Verifikation von Programmiersprachen: Technischer Bericht FI96/06, TU Dresden .
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1995. Tactics in KIV. Journal on Information Processing and Cybernetics 1994, 30.
BibTeX | RIS

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.]
BibTeX | RIS

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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.
BibTeX | RIS

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI

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
BibTeX | RIS | DOI