Prof. Dr. Wolfgang Reif

Director
Institute for Software & Systems Engineering
Phone: +49 821 598 2174
Email: reif@informatik.uni-augsburg.de
Room: 3049 (N)
Address: Universitätsstraße 6a, 86159 Augsburg

Publications

Wolfgang Reif
2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986

2019

Carola Gajek, Alexander Schiendorfer and Wolfgang Reif. in press. A chained neural network model for photovoltaic power forecast.
BibTeX | RIS

Oliver Kosak, Felix Bohn, Felix Keller, Hella Ponsar and Wolfgang Reif. 2019. Maple: ensemble programming for multipotent systems.
BibTeX | RIS

Ludwig Nägele, Andreas Schierl, Alwin Hoffmann and Wolfgang Reif. 2019. Modular and domain-guided multi-robot planning for assembly processes. 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. DOI: 10.3390/s19010017
PDF | BibTeX | RIS | DOI

Alexander Schiendorfer and Wolfgang Reif. 2019. Reducing bias in preference aggregation for multiagent soft constraint problems. DOI: 10.1007/978-3-030-30048-7_30
BibTeX | RIS | DOI

2018

Benedikt Eberhardinger, Hella Seebach, André Reichstaller, Alexander Knapp and Wolfgang Reif. 2018. Adaptive tests for adaptive systems: the need for new concepts in testing for future software systems.
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. DOI: 10.1007/978-3-319-74183-3_7
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.
BibTeX | RIS | URL

Wolfgang Reif, Ludwig Nägele, Andreas Schierl and Alwin Hoffmann. 2018. Automatic planning of manufacturing processes using spatial construction plan analysis and extensible heuristic search. DOI: 10.5220/0006861705860593
PDF | BibTeX | RIS | URL | DOI

Benedikt Eberhardinger, Hella Ponsar, Gerald Siegert and Wolfgang Reif. 2018. Case study: adaptive test automation for testing an adaptive Hadoop resource manager. 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. 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. 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. 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. DOI: 10.1007/s10601-018-9289-2
BibTeX | RIS | DOI

Johannes Leupolz, Alexander Knapp, Axel Habermaier and Wolfgang Reif. 2018. Qualitative and quantitative analysis of safety-critical systems with. DOI: 10.1007/s10009-017-0464-3
BibTeX | RIS | DOI

Johannes Leupolz, Axel Habermaier and Wolfgang Reif. 2018. Quantitative and qualitative safety analysis of a hemodialysis machine with S#. 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. DOI: 10.1109/saso.2018.00022
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. 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. DOI: 10.1016/j.scico.2017.08.014
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. DOI: 10.1007/978-3-030-03424-5_7
BibTeX | RIS | DOI

Benedikt Eberhardinger, Hella Seebach, Dominik Klumpp and Wolfgang Reif. 2018. Test case selection strategy for self-organization mechanisms.
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. DOI: 10.5220/0006884806050612
PDF | BibTeX | RIS | DOI | URL

2017

Kuzman Katkalov, Kurt Stenzel and Wolfgang Reif. 2017. Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach. 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.
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. DOI: 10.1109/irc.2017.62
PDF | BibTeX | RIS | DOI

Gerrit Anders and Wolfgang Reif. 2017. Electric Power Management. DOI: 10.1007/978-3-319-68477-2
BibTeX | RIS | DOI

Jörg Pfähler, Gidon Ernst, Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif. 2017. Modular verification of order-preserving write-back caches. DOI: 10.1007/978-3-319-66845-1_25
BibTeX | RIS | DOI

B. Wolf, Christian Chwala, B. 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, T. 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, C. Wanninger, S. Zacharias and H. P. Schmid. 2017. The SCALEX campaign: scale-crossing land surface and boundary layer processes in the TERENO-preAlpine observatory. DOI: 10.1175/bams-d-15-00277.1
BibTeX | RIS | DOI

Benedikt Eberhardinger, Axel Habermaier and Wolfgang Reif. 2017. Toward adaptive, self-aware test automation. 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. 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.
PDF | BibTeX | RIS | URL

2016

Miroslav Macho, Ludwig Nägele, Alwin Hoffmann, Andreas Angerer and Wolfgang Reif. 2016. A flexible architecture for automatically generating robot applications based on expert knowledge.
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. 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. 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. 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. DOI: 10.5220/0005782904900497
BibTeX | RIS | DOI

Alwin Hoffmann, Alexander Poeppel, Andreas Schierl and Wolfgang Reif. 2016. Environment-aware proximity detection with capacitive sensors for human-robot-interaction. 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. DOI: 10.1007/978-3-319-45943-1_7
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. 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. 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. 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.
BibTeX | RIS | URL | URL

Johannes Leupolz, Axel Habermaier and Wolfgang Reif. 2016. Safety analysis of a hemodialysis machine with S#.
BibTeX | RIS | URL

Marian Borek, Kurt Stenzel, Kuzman Katkalov and Wolfgang Reif. 2016. Secure integration of third party components in a model-driven approach. 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. 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. 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. DOI: 10.1109/qrs-c.2016.45
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. 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. 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.
PDF | BibTeX | RIS | URL | URL

2015

Ludwig Nägele, Miroslav Macho, Andreas Angerer, Alwin Hoffmann, Michael Vistein, Manfred Schönheits and Wolfgang Reif. 2015. A backward-oriented approach for offline programming of complex manufacturing tasks. DOI: 10.1109/icara.2015.7081135
BibTeX | RIS | DOI

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

Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. A heuristic for constrained set partitioning in the light of heterogeneous objectives. 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. DOI: 10.22667/JOWUA.2014.09.31.044
BibTeX | RIS | URL | DOI

Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. A particle swarm optimizer for solving the set partitioning problem in the presence of partitioning constraints. DOI: 10.5220/0005220501510163
BibTeX | RIS | URL | DOI

Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert and Wolfgang Reif. 2015. A research overview and evaluation of performance metrics for self-organization algorithms. 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. DOI: 10.5220/0005541700740083
PDF | BibTeX | RIS | URL | DOI

Marian Borek, Kurt Stenzel, Kuzman Katkalov and Wolfgang Reif. 2015. Abstracting security-critical applications for model checking in a model-driven approach. 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. 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.
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. 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.
BibTeX | RIS

Oliver Kosak, Gerrit Anders, Florian Siefert and Wolfgang Reif. 2015. An approach to robust resource allocation in large-scale systems of systems. DOI: 10.1109/saso.2015.8
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.
BibTeX | RIS

Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif. 2015. Controlling software-induced self-organizing behavior.
BibTeX | RIS

Gerrit Anders, Alexander Schiendorfer, Florian Siefert, Jan-Philipp Steghöfer and Wolfgang Reif. 2015. Cooperative resource allocation in open systems of systems. DOI: 10.1145/2700323
BibTeX | RIS | DOI

Axel Habermaier, Johannes Leupolz and Wolfgang Reif. 2015. Executable specifications of safety-critical systems with S#. 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. 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. 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. 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. 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. DOI: 10.5220/0005289006140619
BibTeX | RIS | DOI

Kuzman Katkalov, Kurt Stenzel, Marian Borek and Wolfgang Reif. 2015. Modeling information flow properties with UML. 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. DOI: 10.1007/978-3-319-15545-6_10
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.
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#. 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). DOI: 10.4230/DagRep.5.11.127
BibTeX | RIS | URL | DOI

Andreas Angerer, Michael Vistein, Alwin Hoffmann, Wolfgang Reif, Florian Krebs and Manfred Schönheits. 2015. Towards multi-functional robot-based automation systems. DOI: 10.5220/0005573804380443
BibTeX | RIS | URL | DOI

Gidon Ernst, Gerhard Schellhorn and Wolfgang Reif. 2015. Verification of B+ trees by integration of shape analysis and interactive theorem proving. DOI: 10.1007/s10270-013-0320-1
BibTeX | RIS | DOI

2014

Bogdan Tofan, Gerhard Schellhorn and Wolfgang Reif. 2014. A compositional proof method for linearizability applied to a wait-free multiset. 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. 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.
PDF | BibTeX | RIS

Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg and Wolfgang Reif. 2014. Development of a verified flash file system. 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.
BibTeX | RIS

Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl and Wolfgang Reif. 2014. Flexible and continuous execution of real-time critical robotic tasks. 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. 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. 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. 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. 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. DOI: 10.1109/saso.2014.14
BibTeX | RIS | DOI

Alexander Knapp, Alexander Schiendorfer and Wolfgang Reif. 2014. Quality over quantity in soft constraints. DOI: 10.1109/ictai.2014.75
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. 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.
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.
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. DOI: 10.5220/0004757700150027
BibTeX | RIS | DOI

Alexander Schiendorfer, Jan-Philipp Steghöfer and Wolfgang Reif. 2014. Synthesised constraint models for distributed energy management.
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.
BibTeX | RIS

Benedikt Eberhardinger, Hella Seebach, Alexander Knapp and Wolfgang Reif. 2014. Towards testing self-organizing, adaptive systems. DOI: 10.1007/978-3-662-44857-1_13
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. 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. DOI: 10.1007/978-3-642-54108-7_13
BibTeX | RIS | DOI

2013

Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert and Wolfgang Reif. 2013. A system of systems approach to the evolutionary transformation of power management systems.
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. 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. 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. 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. 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. 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. 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.
BibTeX | RIS | URL

Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2013. Managing extensibility and maintainability of industrial robotics software. 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. 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. 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. 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.
PDF | BibTeX | RIS

Andreas Angerer, Alwin Hoffmann, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2013. Robotics API: object-oriented software development for industrial robots.
PDF | BibTeX | RIS | URL

Marian Borek, Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2013. Security requirements formalized with OCL in a model-driven approach. 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.
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.
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.
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. DOI: 10.5220/0004332003120317
BibTeX | RIS | DOI

2012

Gerrit Anders, Florian Siefert, Jan-Philipp Steghöfer and Wolfgang Reif. 2012. A decentralized multi-agent algorithm for the set partitioning problem. 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. 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.
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.
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. 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. 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. 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.
BibTeX | RIS

Peter Fischer, Kuzman Katkalov, Kurt Stenzel and Wolfgang Reif. 2012. Formal Verification of Information Flow Secure Systems with IFlow.
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. 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. 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. 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.
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.
PDF | BibTeX | RIS

Marian Borek, Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2012. Model-driven development of secure service applications. 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. 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. 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. 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.
PDF | BibTeX | RIS

Nina Moebius, Marian Borek, Kurt Stenzel and Wolfgang Reif. 2012. SecureMDD: Transformation of a UML application model to executable code.
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.
BibTeX | RIS

Dominik Haneberg, Alwin Hoffmann, Hella Seebach, Michael Vistein and Wolfgang Reif. 2012. Towards model-based evolution for robot-based automation.
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. DOI: 10.5220/0004046503270332
PDF | BibTeX | RIS | DOI

Andreas Angerer, Andreas Bareth, Alwin Hoffmann, Michael Vistein and Wolfgang Reif. 2012. Two-arm robot teleoperation using a multi-touch tangible user interface. DOI: 10.5220/0004046503270332
BibTeX | RIS | DOI

Andreas Schierl, Andreas Angerer, Alwin Hoffmann, Michael Vistein and Wolfgang Reif. 2012. Using Java for real-time critical industrial robot programming.
PDF | BibTeX | RIS

2011

Florian Siefert, Florian Nafz, Hella Seebach and Wolfgang Reif. 2011. A genetic algorithm for self-optimization in safety-critical resource-flow systems. 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. 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. 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. DOI: 10.1109/case.2011.6042411
BibTeX | RIS | DOI

Alwin Hoffmann, Florian Nafz, Andreas Schierl, Hella Seebach and Wolfgang Reif. 2011. Developing self-organizing robotic cells using organic computing principles. 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. 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. 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. 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. 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.
PDF | BibTeX | RIS | URL

Wolfgang Reif, Dominik Haneberg, Nina Moebius, Gerhard Schellhorn and Kurt Stenzel. 2011. Mondex: engineering a provable secure electronic purse.
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. 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. 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.
PDF | BibTeX | RIS

Alwin Hoffmann, Andreas Angerer, Andreas Schierl, Michael Vistein and Wolfgang Reif. 2011. Service-orientierte Modellierung einer Robotermontagezelle.
BibTeX | RIS

Maximilian Junker, Dominik Haneberg, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst. 2011. Simulating a flash file system with CoreASM and Eclipse.
BibTeX | RIS | URL

Rolf Kiefhaber, Florian Siefert, Gerrit Anders, Theo Ungerer and Wolfgang Reif. 2011. The Trust-Enabling Middleware: Introduction and Application.
PDF | BibTeX | RIS

Gidon Ernst, Gerhard Schellhorn and Wolfgang Reif. 2011. Verification of B+ trees: an experiment combining shape analysis and interactive theorem proving. 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.
PDF | BibTeX | RIS

2010

Florian Nafz, Hella Seebach, Jan-Philipp Steghöfer, Simon Bäumler and Wolfgang Reif. 2010. A formal framework for compositional verification of organic computing systems. 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. 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].
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. DOI: 10.1109/coase.2010.5584262
BibTeX | RIS | DOI

Andriy Dunets, Gerhard Schellhorn and Wolfgang Reif. 2010. Automated flaw detection in algebraic specifications. 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.
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. 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.
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. 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. 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. 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. DOI: 10.3233/AIC-2010-0458
BibTeX | RIS | DOI | URL

Michael Vistein, Andreas Angerer, Alwin Hoffmann, Andreas Schierl and Wolfgang Reif. 2010. Interfacing industrial robots using realtime primitives. 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.
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. 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.
BibTeX | RIS | URL

Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2010. Pitfalls in formal reasoning about security protocols. 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.
BibTeX | RIS

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck and Wolfgang Reif. 2010. Software metrics in static program analysis. 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.
BibTeX | RIS

Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn and Wolfgang Reif. 2010. Temporal logic verification of lock-freedom. 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. 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. 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. DOI: 10.1007/978-3-642-16576-4_5
BibTeX | RIS | DOI

2009

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif. 2009. A generic software framework for role-based organic computing systems. 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. 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. 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. 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. 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. 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.
PDF | BibTeX | RIS

Nina Moebius, Kurt Stenzel and Wolfgang Reif. 2009. Generating formal specifications for security-critical applications - a model-driven approach. 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. DOI: 10.1109/iros.2009.5354589
BibTeX | RIS | DOI

Andriy Dunets, Simon Bäumler, Arjen Hommersom and Wolfgang Reif. 2009. Model Checking of Asbru.
PDF | BibTeX | RIS

Nina Moebius, Kurt Stenzel, Holger Grandy and Wolfgang Reif. 2009. Model-driven code generation for secure smart card applications. 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. DOI: 10.1109/ical.2009.5262992
BibTeX | RIS | DOI

Nina Moebius, Kurt Stenzel, Holger Grandy and Wolfgang Reif. 2009. SecureMDD: a model-driven development method for secure smart card applications. 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.
PDF | BibTeX | RIS

2008

Matthias Güdemann, Florian Nafz, Frank Ortmeier, Hella Seebach and Wolfgang Reif. 2008. A specification and construction paradigm for organic computing systems. 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. 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. 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.
BibTeX | RIS | URL

Matthias Guedemann, Frank Ortmeier and Wolfgang Reif. 2008. Computing ordered minimal critical sets.
BibTeX | RIS

Matthias Guedemann, Frank Ortmeier and Wolfgang Reif. 2008. Developing safety-critical mechatronical systems.
BibTeX | RIS

Florian Nafz, Frank Ortmeier, Hella Seebach, Jan-Philipp Steghöfer and Wolfgang Reif. 2008. Implementing organic computing systems with agent service.
BibTeX | RIS

Michael Balser and Wolfgang Reif. 2008. Interactive Verification of Concurrent Systems using Symbolic Execution.
PDF | BibTeX | RIS

Simon Bäumler, Michael Balser, Wolfgang Reif and Gerhard Schellhorn. 2008. Interactive verification of concurrent systems using symbolic execution.
BibTeX | RIS | URL

Nina Moebius, Wolfgang Reif and Kurt Stenzel. 2008. Modeling security-critical applications with UML in the SecureMDD approach.
PDF | BibTeX | RIS | URL

Florina Nafz, Frank Ortmeier, Hella Seebach and Wolfgang Reif. 2008. Organic computing for health care systems. DOI: 10.5220/0001044402860290
BibTeX | RIS | DOI

Alwin Hoffmann, Florian Nafz, Frank Ortmeier, Andreas Schierl and Wolfgang Reif. 2008. Prototyping plant control software with Microsoft Robotics Studio.
PDF | BibTeX | RIS | URL

Simon Bäumler, Michael Balser, Wolfgang Reif and Gerhard Schellhorn. 2008. Proving linearizability with temporal logic.
PDF | BibTeX | RIS

Nina Moebius, Holger Grandy, Wolfgang Reif and Kurt Stenzel. 2008. SecureMDD: A Model-Driven Development Method for Secure Smartcard Applications.
PDF | BibTeX | RIS

Frank Ortmeier, Alwin Hoffmann, Ulrich Huggenberger, Wolfgang Reif, Dominik Haneberg, Gerhard Schellhorn and Christian Tarragona. 2008. Simulations-basierte Programmierung von Industrierobotern.
BibTeX | RIS | URL

Simon Bäumler, Michael Balser, Wolfgang Reif and Jonathan Schmitt. 2008. Synchronous Parallelism in the Asbru Language.
PDF | BibTeX | RIS

S. Bäumler, Micheal Balser, Wolfgang Reif and Jonathan Schmitt. 2008. Synchronous parallelism in the Asbru language.

Kurt Stenzel, Holger Grandy and Wolfgang Reif. 2008. Verification of Java programs with generics. 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. DOI: 10.1007/978-3-540-68237-0_13
BibTeX | RIS | DOI

Jonathan Schmitt, Micheal Balser and Wolfgang Reif. 2008. Verification of medical guidelines with KIV. DOI: 10.3233/978-1-58603-873-1-253
BibTeX | RIS | DOI | URL

2007

Nina Moebius, Dominik Haneberg, Wolfgang Reif and Gerhard Schellhorn. 2007. A modeling framework for the development of Provably Secure E-Commerce applications. DOI: 10.1109/icsea.2007.7
BibTeX | RIS | DOI

Holger Grandy, Robert Bertossi, Kurt Stenzel and Wolfgang Reif. 2007. ASN1-light: a verified message encoding for security protocols. DOI: 10.1109/sefm.2007.8
BibTeX | RIS | DOI

Hella Seebach, Frank Ortmeier and Wolfgang Reif. 2007. Design and construction of organic computing systems. DOI: 10.1109/cec.2007.4425021
BibTeX | RIS | DOI

Frank Ortmeier, Matthias Güdemann and Wolfgang Reif. 2007. Formal failure models. 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. 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. DOI: 10.1007/978-3-540-75101-4_44
BibTeX | RIS | DOI

Dominik Haneberg, Gerhard Schellhorn, Holger Grandy and Wolfgang Reif. 2007. Verification of Mondex electronic purses with KIV: from transactions to a security protocol. DOI: 10.1007/s00165-007-0057-0
BibTeX | RIS | DOI

Dominik Haneberg, Holger Grandy, Wolfgang Reif and Gerhard Schellhorn. 2007. Verifying smart card applications: an ASM approach. DOI: 10.1007/978-3-540-73210-5_17
BibTeX | RIS | DOI

2006

Holger Grandy, Kurt Stenzel and Wolfgang Reif. 2006. A Refinement Method for Java Programs.
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.
PDF | BibTeX | RIS

Wolfgang Reif. 2006. An approach to parameterized first-order specifications: semantics, correctness, parameter passing. 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.
PDF | BibTeX | RIS

Florian Nafz, Matthias Güdemann, Wolfgang Reif and Hella Seebach. 2006. Applications in organic computing.
PDF | BibTeX | RIS

Jonathan Schmitt, Michael Balser and Wolfgang Reif. 2007. Asbru in KIV v2.1 – A Tutorial.
PDF | BibTeX | RIS

Holger Grandy, Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2006. Developing provable secure M-commerce applications. DOI: 10.1007/11766155_9
BibTeX | RIS | DOI

Michael Balser, Christoph Duelli, Wolfgang Reif and Jonathan Schmitt. 2006. Formal Semantics of Asbru - V2.12.
PDF | BibTeX | RIS

Matthias Güdemann, Frank Ortmeier and Wolfgang Reif. 2006. Formal modeling and verification of systems with self-x properties. 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. 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. DOI: 10.1007/11813040_3
BibTeX | RIS | DOI

Kurt Stenzel, Holger Grandy and Wolfgang Reif. 2006. Reasoning about Pointer Structures in Java.
PDF | BibTeX | RIS

Holger Grandy, Kurt Stenzel and Wolfgang Reif. 2006. Refinement of security protocol data types to Java.
BibTeX | RIS | URL

Matthias Güdemann, Frank Ortmeier and Wolfgang Reif. 2006. Safety and dependability analysis of self-adaptive systems. 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.
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.
PDF | BibTeX | RIS

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang Reif. 2006. The Mondex challenge: machine checked proofs for an electronic purse.
PDF | BibTeX | RIS

Gerhard Schellhorn, Holger Grandy, Dominik Haneberg and Wolfgang Reif. 2006. The mondex challenge: machine checked proofs for an electronic purse. 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.
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.
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. 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.
PDF | BibTeX | RIS

2005

Frank Ortmeier, Wolfgang Reif and Gerhard Schellhorn. 2005. Deductive Cause-Consequence Analysis (DCCA). 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). DOI: 10.1007/11408901_15
BibTeX | RIS | DOI

Frank Ortmeier and Wolfgang Reif. 2005. Formal safety analysis of transportation control systems.
BibTeX | RIS | URL

Holger Grandy, Kurt Stenzel and Wolfgang Reif. 2005. Object oriented verification kernels for secure Java applications. 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.
BibTeX | RIS

Dominik Haneberg, H. Grandy, Wolfgang Reif and Gerhard Schellhorn. 2005. Verifying security protocols: an ASM approach.
BibTeX | RIS

2004

Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2004. A construction kit for modeling the security of M-Commerce applications. 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.
BibTeX | RIS | URL

Frank Ortmeier, Andreas Thums, Gerhard Schellhorn and Wolfgang Reif. 2004. Combining formal methods and safety analysis - the ForMoSA approach. 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.
BibTeX | RIS

Frank Ortmeier and Wolfgang Reif. 2006. Failure-Sensitive Specification: A formal method for finding failure modes.
PDF | BibTeX | RIS

Wolfgang Reif, Frank Ortmeier, Andreas Thums and Gerhard Schellhorn. 2004. Integrated formal methods for safety analysis of train systems.
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. 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. DOI: 10.1007/978-3-540-30482-1_36
BibTeX | RIS | DOI

Andreas Thums, Gerhard Schellhorn, Frank Ortmeier and Wolfgang Reif. 2004. Interactive verification of statecharts. 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". 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.
BibTeX | RIS

Frank Ortmeier, Gerhard Schellhorn and Wolfgang Reif. 2004. Safety optimization of a radio-based railroad crossing.
BibTeX | RIS

Frank Ortmeier and Wolfgang Reif. 2004. Safety optimization: a combination of fault tree analysis and optimization techniques. DOI: 10.1109/DSN.2004.1311935
BibTeX | RIS | DOI

Frank Ortmeier and Wolfgang Reif. 2004. Safety optimization: a combination of fault tree analysis and optimization techniques.
PDF | BibTeX | RIS

2003

Wolfgang Reif. 2003. Correctness of full first-order specifications. 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.
BibTeX | RIS | URL

Dominik Haneberg, Alexander Kreibich, Wolfgang Reif and Kurt Stenzel. 2003. Design for trust: security im M-Commerce.
BibTeX | RIS

Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif and Gerhard Schellhorn. 2003. J.UCS Special Issue on Tools for System Design and Verification.
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. DOI: 10.1016/S0951-8320(03)00090-5
BibTeX | RIS | DOI

2002

Dominik Haneberg, Wolfgang Reif and Kurt Stenzel. 2002. A method for secure smartcard applications. DOI: 10.1007/3-540-45719-4_22
BibTeX | RIS | DOI

Gerhard Schellhorn, Andreas Thums and Wolfgang Reif. 2002. Formal fault tree semantics.
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. 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. 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. DOI: 10.1093/logcom/12.4.549
BibTeX | RIS | DOI

2001

Wolfgang Reif, Gerhard Schellhorn and Andreas Thums. 2001. Flaw detection in formal specifications. DOI: 10.1007/3-540-45744-5_52
BibTeX | RIS | DOI

Wolfgang Reif, Gerhard Schellhorn and Andreas Thums. 2001. Integration formaler Spezifikation und Sicherheitsanalyse.
PDF | BibTeX | RIS

2000

Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn and Tobias Vollmer. 2000. Do you trust your model checker?. 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. 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.
BibTeX | RIS

Wolfgang Reif, Gerhard Schellhorn and Andreas Thums. 2000. Safety analysis of a radio-based crossing control system using formal methods. 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. DOI: 10.1007/10722599_2
BibTeX | RIS | DOI

Michael Balser, C. Duelli, Wolfgang Reif and Gerhard Schellhorn. 2000. Verifying concurrent systems with symbolic execution.
BibTeX | RIS

1999

Rudolf Berghammer, Y. Lakhnech and Wolfgang Reif. 1999. Formal methods and tools: introduction and overview. DOI: 10.1007/978-3-7091-6355-9_1
BibTeX | RIS | DOI

Wolfgang Reif. 1999. Formale Methoden für sicherheitskritische Software: der KIV-Ansatz. DOI: 10.1007/s004500050137
BibTeX | RIS | DOI

Wolfgang Reif. 1999. Interaktives Theorembeweisen: Anwendungen in der Softwaretechnik.
BibTeX | RIS

Michael Balser, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1999. KIV 3.0 for provably correct systems. 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.
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. DOI: 10.1007/3-540-48257-1_26
BibTeX | RIS | DOI

1998

Dieter Fensel, Frank van Harmelen, Wolfgang Reif and Annetie ten Teijet. 1998. Formal support for development of knowledge-based systems. 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. DOI: 10.1007/978-94-017-0435-9_4
BibTeX | RIS | DOI

T. Nipkow and Wolfgang Reif. 1998. Introduction.
BibTeX | RIS

Wolfgang Reif. 1998. Software-Sicherheit mit formalen Methoden.
BibTeX | RIS

Wolfgang Reif, Gerhard Schellhorn, K. Stenzel and M. Balser. 1998. Structured specifications and interactive proofs with KIV. DOI: 10.1007/978-94-017-0435-9_1
BibTeX | RIS | DOI

Wolfgang Reif and Gerhard Schellhorn. 1998. Theorem proving in large theories. 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.
BibTeX | RIS

1997

Gerhard Schellhorn and Wolfgang Reif. 1997. Proving properties of finite enumerations: a problem set for automated theorem provers.
BibTeX | RIS

Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1997. Proving system correctness with KIV. DOI: 10.1007/bfb0030647
BibTeX | RIS | DOI

Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1997. Proving system correctness with KIV 3.0. DOI: 10.1007/3-540-63104-6_10
BibTeX | RIS | DOI

Wolfgang Reif. 1997. Risikofaktor Software.
BibTeX | RIS

Wolfgang Reif. 1997. Software-Verifikation und ihre Anwendungen. DOI: 10.1524/itit.1997.39.3.34
BibTeX | RIS | DOI

1996

Wolfgang Reif, Gerhard Schellhorn and K. Stenzel. 1996. KIV 3.0: concepts and applications.

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.

Wolfgang Reif and Kurt Stenzel. 1996. Reuse of proofs in software verification. DOI: 10.1007/bf02745521
BibTeX | RIS | DOI

Wolfgang Reif. 1996. Software Verifikation: Stand und Perspektiven.
BibTeX | RIS

1995

Peter Pepper, Martin Wirsing, Ralph Betschko, Manfred Broy, Sabine Dick, Klaus Didrich, Joachim Faulhaber, Wolfgang Grieskamp, Heinrich Hußmann, Michael Mehlich, Wolfgang Reif, Martin Beyer, Stefan Gastinger, Maritta Heisel, Friedrich von Henke, Liu Junbo, Bernd Krieg-Brückner, Thomas Santen, Gerhard Schellhorn, Oscar Slotosch, Kurt Stenzel, Martin Strecker, Nikolas Vlachantonis and Burkhart Wolff. 1995. A method for the development of correct software. DOI: 10.1007/bfb0015454
BibTeX | RIS | DOI

Wolfgang Reif, Gerhard Schellhorn and K. Stenzel. 1995. Interactive correctness proofs for software modules using KIV. DOI: 10.1109/cmpass.1995.521894
BibTeX | RIS | DOI

Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1995. Tactics in KIV.
BibTeX | RIS

Wolfgang Reif. 1995. The Kiv-approach to software verification. 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.
BibTeX | RIS

Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1995. Three selected case studies in verification. DOI: 10.1007/bfb0015472
BibTeX | RIS | DOI

1994

Wolfgang Reif and A. Schönegge. 1994. A reflection mechanism using structured specifications.
BibTeX | RIS

Wolfgang Reif, Gerhard Schellhorn and Kurt Stenzel. 1994. Tactics in KIV.
BibTeX | RIS

1993

Heinrich Hußmann, Jacques Loeckx and Wolfgang Reif. 1993. KORSO: das Verbundprojekt “Korrekte Software”. DOI: 10.1007/978-3-642-78486-6_42
BibTeX | RIS | DOI

Wolfgang Reif and Kurt Stenzel. 1993. Reuse of proofs in software verification. 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. DOI: 10.1007/978-3-322-88782-5_12
BibTeX | RIS | DOI

1992

Wolfgang Reif. 1992. Correctness of generic modules. DOI: 10.1007/BFb0023893
BibTeX | RIS | DOI

Wolfgang Reif. 1992. The KIV system: systematic construction of verified software. 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. DOI: 10.1016/s1474-6670(17)49409-2
BibTeX | RIS | DOI

Wolfgang Reif. 1992. Verification of large software systems. DOI: 10.1007/3-540-56287-7_109
BibTeX | RIS | DOI

1991

M. Heisel, Wolfgang Reif and W. Stephan. 1991. Formal software development in the KIV system.
BibTeX | RIS

1990

M. Heisel, W. Menzel, Wolfgang Reif and W. Stephan. 1990. Der Karlsruhe Interactive Verifier (KIV): eine Übersicht.
BibTeX | RIS

M. Heisel, Wolfgang Reif and W. Stephan. 1990. Tactical theorem proving in program verification. DOI: 10.1007/3-540-52885-7_83
BibTeX | RIS | DOI

1989

M. Heisel, Wolfgang Reif and W. Stephan. 1989. A dynamic logic for program verification. 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.
BibTeX | RIS

M. Heisel, Wolfgang Reif and W. Stephan. 1989. Implementing verification strategies in the KIV-system. DOI: 10.1007/BFb0012828
BibTeX | RIS | DOI

M. Heisel, Wolfgang Reif and W. Stephan. 1989. Machine-assisted program construction and modification. DOI: 10.1007/978-3-642-75100-4_39
BibTeX | RIS | DOI

1988

M. Heisel, Wolfgang Reif and W. Stephan. 1988. Program verification using dynamic logic. DOI: 10.1007/3-540-50241-6_32
BibTeX | RIS | DOI

1987

M. Heisel, Wolfgang Reif and W. Stephan. 1987. Program verification by symbolic execution and induction. DOI: 10.1007/978-3-642-73005-4_22
BibTeX | RIS | DOI

1986

R. Hähnle, M. Heisel, Wolfgang Reif and W. Stephan. 1986. An interactive verification system based on dynamic logic. DOI: 10.1007/3-540-16780-3_99
BibTeX | RIS | DOI

Institute for Software & Systems Engineering

The Institute for Software & Systems Engineering (ISSE), directed by Prof. Dr. Wolfgang Reif, is a scientific institution within the Faculty of Applied Computer Science of the University of Augsburg. In research, the institute supports both fundamental and application-oriented research in all areas of software and systems engineering. In teaching, the institute facilitates the further development of the faculty's and university's relevant course offerings.

Search