Wolfgang Reif
Orcid: 0000-0002-4086-0043Affiliations:
- University of Augsburg, Germany
According to our database1,
Wolfgang Reif
authored at least 284 papers
between 1986 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems.
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
UAV Inspection of Large Components: Determination of Alternative Inspection Points and Online Route Optimization.
Proceedings of the 5th IEEE/ACM International Workshop on Robotics Software Engineering, 2023
Proceedings of the Caring is Sharing - Exploiting the Value in Data for Health and Innovation - Proceedings of MIE 2023, Gothenburg, Sweden, 22, 2023
RealCaPP: Real-Time Capable Plug & Produce Service Architecture for Distributed Robot Control.
Proceedings of the Seventh IEEE International Conference on Robotic Computing, 2023
Proceedings of the iFM 2023 - 18th International Conference, 2023
Proceedings of the International Conference on Machine Learning and Applications, 2023
Proceedings of the 20th International Conference on Informatics in Control, 2023
SensorClouds: A Framework for Real-Time Processing of Multi-modal Sensor Data for Human-Robot-Collaboration.
Proceedings of the 9th International Conference on Automation, Robotics and Applications, 2023
Proceedings of the 9th International Conference on Automation, Robotics and Applications, 2023
2022
Formal Aspects Comput., 2022
Finstreder: Simple and fast Spoken Language Understanding with Finite State Transducers using modern Speech-to-Text models.
CoRR, 2022
Proceedings of the Verified Software. Theories, Tools and Experiments, 2022
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022
External Torque Estimation for Mobile Manipulators: A Comparison of Model-based and LSTM Methods.
Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022
Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022
Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2022
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
2021
Semantic Plug and Play: An Architecture Combining Linked Data and Reconfigurable Hardware.
Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021
Architecture for Emergency Control of Autonomous UAV Ensembles**This work is partly funded by the German Research Foundation (DFG) under the COMBO grant.
Proceedings of the 3rd IEEE/ACM International Workshop on Robotics Software Engineering, 2021
PermeabilityNets: Comparing Neural Network Architectures on a Sequence-to-Instance Task in CFRP Manufacturing.
Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021
Proceedings of the 18th International Conference on Informatics in Control, 2021
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Constraint-based Whole-Body-Control of Mobile Manipulators in Human-Centered Environments.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021
RealCaPP: Real-time capable Plug & Produce communication platform with OPC UA over TSN for distributed industrial robot control.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
Distributed Constraint Optimization for Task Allocation in Self-Adaptive Manufacturing Systems.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
2020
CoRR, 2020
Proceedings of the First Teaching Machine Learning and Artificial Intelligence Workshop, 2020
Proceedings of the First Teaching Machine Learning and Artificial Intelligence Workshop, 2020
Proceedings of the Machine Learning and Knowledge Discovery in Databases: Applied Data Science Track, 2020
Proceedings of the Machine Learning, Optimization, and Data Science, 2020
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020
Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020
Robust Distance Estimation of Capacitive Proximity Sensors in HRI using Neural Networks.
Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020
How to find assembly plans (fast): Hierarchical state space partitioning for efficient multi-robot assembly.
Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning.
Proceedings of the 17th International Conference on Informatics in Control, 2020
Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning and View Angle Dependent Optimization Strategies.
Proceedings of the Informatics in Control, Automation and Robotics, 2020
Towards Real-time Process Monitoring and Machine Learning for Manufacturing Composite Structures.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2019
Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles.
Sensors, 2019
Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019
Proceedings of the Machine Learning, Optimization, and Data Science, 2019
Proceedings of the 16th International Conference on Informatics in Control, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing.
Softwaretechnik-Trends, 2018
Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems.
Softwaretechnik-Trends, 2018
J. Softw. Evol. Process., 2018
Int. J. Semantic Comput., 2018
Integrating planning and reactive behavior by using semantically annotated robot tasks.
Encycl. Semantic Comput. Robotic Intell., 2018
Proceedings of the 12th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2018
Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop Resource Manager.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive Hardware Devices Bridging the Reality Gap.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Integrating Reactive Behavior and Planning: Optimizing Execution Time Through Predictive Preparation of State Machine Tasks.
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018
Proceedings of the 13th International Workshop on Automation of Software Test, 2018
Automatic Planning of Manufacturing Processes using Spatial Construction Plan Analysis and Extensible Heuristic Search.
Proceedings of the 15th International Conference on Informatics in Control, 2018
Proceedings of the 15th International Conference on Informatics in Control, 2018
2017
Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2017
Proceedings of the First IEEE International Conference on Robotic Computing, 2017
Consistent World Models for Cooperating Robots: Separating Logical Relationships, Sensor Interpretation and Estimation.
Proceedings of the First IEEE International Conference on Robotic Computing, 2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017
2016
Trans. Large Scale Data Knowl. Centered Syst., 2016
Sci. Comput. Program., 2016
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the Testing Software and Systems, 2016
Proceedings of the Testing Software and Systems, 2016
Environment-aware proximity detection with capacitive sensors for human-robot-interaction.
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016
Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016
Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with.
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
Proceedings of the Trustworthy Open Self-Organising Systems, 2016
The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems.
Proceedings of the Trustworthy Open Self-Organising Systems, 2016
2015
Trans. Comput. Collect. Intell., 2015
ACM Trans. Auton. Adapt. Syst., 2015
Int. J. Softw. Tools Technol. Transf., 2015
Softw. Syst. Model., 2015
Verification of B<sup>+</sup> trees by integration of shape analysis and interactive theorem proving.
Softw. Syst. Model., 2015
Combining PosoMAS Method Content with Scrum: Agile Software Engineering for Open Self-Organising Systems.
Scalable Comput. Pract. Exp., 2015
Dagstuhl Reports, 2015
Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015
Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015
A Research Overview and Evaluation of Performance Metrics for Self-Organization Algorithms.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015
Proceedings of the 7th International Conference on New Technologies, Mobility and Security, 2015
Proceedings of the Informatics in Control, 2015
Proceedings of the ICINCO 2015, 2015
Proceedings of the ICINCO 2015, 2015
Proceedings of the 6th International Conference on Automation, Robotics and Applications, 2015
Modeling Hierarchical Resources Within a Unified Ontology - A Position Paper.
Proceedings of the ICAART 2015, 2015
A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives.
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015
A Particle Swarm Optimizer for Solving the Set Partitioning Problem in the Presence of Partitioning Constraints.
Proceedings of the ICAART 2015, 2015
Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach.
Proceedings of the Advances in Conceptual Modeling, 2015
Proceedings of the Software, 2015
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications.
Proceedings of the Correct Software in Web Applications and Web Services, 2015
2014
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014
Int. J. Mechatronics Autom., 2014
RGITL: A temporal logic framework for compositional reasoning about interleaved programs.
Ann. Math. Artif. Intell., 2014
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers).
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014
Proactive Guidance for Dynamic and Cooperative Resource Allocation under Uncertainties.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014
Proceedings of the Testing Software and Systems, 2014
Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014
Proceedings of the Information and Communication Technology, 2014
Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems.
Proceedings of the ICAART 2014, 2014
Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
Proceedings of the ARCS 2014, 2014
2013
Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures.
Proceedings of the Assurances for Self-Adaptive Systems, 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013
Proceedings of the Research and Development in Intelligent Systems XXX, 2013
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013
Proceedings of the International Workshop on Model-Driven Requirements Engineering, 2013
Trust-Based Scenarios - Predicting Future Agent Behavior in Open Self-organizing Systems.
Proceedings of the Self-Organizing Systems - 7th IFIP TC 6 International Workshop, 2013
Model-driven synthesis of monitoring infrastructure for reliable adaptive multi-agent systems.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013
Proceedings of the 16th International Conference on Advanced Robotics, 2013
Trusted Community - A Trust-based Multi-Agent Organisation for Open Systems.
Proceedings of the ICAART 2013, 2013
Proceedings of the Hardware and Software: Verification and Testing, 2013
A System of Systems Approach to the Evolutionary Transformation of Power Management Systems.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013
2012
Inform. Spektrum, 2012
On the combination of top-down and bottom-up methodologies for the design of coordination mechanisms in self-organising systems.
Inf. Softw. Technol., 2012
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the 11th IEEE International Conference on Trust, 2012
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012
On the Influence of Inter-Agent Variation on Multi-Agent Algorithms Solving a Dynamic Task Allocation Problem under Uncertainty.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012
Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012
Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012
Proceedings of the 5th International Conference on New Technologies, 2012
Proceedings of the Model-Driven Security Workshop, 2012
From Robot Commands to Real-time Robot Control - Transforming High-level Robot Commands into Real-time Dataflow Graphs.
Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Rome, Italy, 28, 2012
Two-arm Robot Teleoperation using a Multi-touch Tangible User Interface.
Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Rome, Italy, 28, 2012
Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012
2011
Proceedings of the Bio-Inspired Self-Organizing Robotic Systems, 2011
Int. J. Softw. Informatics, 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Verification of B + Trees: An Experiment Combining Shape Analysis and Interactive Theorem Proving.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011
Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking.
Proceedings of the 2011 workshop on Organic computing, 2011
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
Proceedings of the 2011 IEEE Workshop on Evolving and Adaptive Intelligent Systems, 2011
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011
Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach.
Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011
2010
AI Commun., 2010
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Design and Simulation of a Wave-like Self-Organization Strategy for Resource-Flow Systems.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
The Robotics API: An object-oriented framework for modeling industrial robotics applications.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010
Towards Object-oriented Software Development for Industrial Robots - Facilitating the Use of Industrial Robots by Modern Software Engineering.
Proceedings of the ICINCO 2010, 2010
Proceedings of the Formal Methods and Software Engineering, 2010
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach.
Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010
Proceedings of the Architecture of Computing Systems, 2010
Proceedings of the ARES 2010, 2010
2009
Proceedings of the 4th International Workshop on Systems Software Verification, 2009
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009
Generating formal specifications for security-critical applications - A model-driven approach.
Proceedings of the ICSE Workshop on Software Engineering for Secure Systems, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009
Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009
Proceedings of the The Forth International Conference on Availability, 2009
2008
Verification of Mondex electronic purses with KIV: from transactions to a security protocol.
Formal Aspects Comput., 2008
Proceedings of the Tests and Proofs - 2nd International Conference, 2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
Proceedings of the LPAR 2008 Workshops, 2008
Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.
Proceedings of the FM 2008: Formal Methods, 2008
Implementing Organic Computing Systems with AgentService.
Proceedings of the ENASE 2008, 2008
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008
Organic Computing for Health Care Systems - Possible Benefits and Challenges.
Proceedings of the First International Conference on Health Informatics, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008
2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
WG2: Software engineering for organic computing applications (SE4OC).
Proceedings of the Software Engineering 2007, 2007
Proceedings of the Computer Safety, 2007
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
Proceedings of the IEEE Congress on Evolutionary Computation, 2007
2006
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006
Proceedings of the FM 2006: Formal Methods, 2006
Proceedings of the FM 2006: Formal Methods, 2006
Proceedings of the Emerging Trends in Information and Communication Security, 2006
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).
Proceedings of the Dependable Computing, 2005
Proceedings of the 12th International Workshop on Abstract State Machines, 2005
2004
Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application.
Proceedings of the Mobile Economy, 2004
Proceedings of the Building the Information Society, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004
Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004
2003
Reliab. Eng. Syst. Saf., 2003
J. Univers. Comput. Sci., 2003
Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003
2002
J. Comput. Secur., 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
J. Univers. Comput. Sci., 2001
J. Univers. Comput. Sci., 2001
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
2000
Proceedings of the Informatik 2000, 2000
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000
Proceedings of the Fundamental Approaches to Software Engineering, 2000
Proceedings of the Computer Security, 2000
1999
J. Univers. Comput. Sci., 1999
Inform. Forsch. Entwickl., 1999
1998
Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik.
Künstliche Intell., 1998
Proceedings of the International Workshop Tool Support for System Specification, 1998
Proceedings of the Applied Formal Methods, 1998
Proceedings of the Applied Formal Methods, 1998
1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Proceedings of the Automated Deduction, 1997
1995
1994
Tactics in KIV.
J. Inf. Process. Cybern., 1994
Formal Specification and Verification Using KIV.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
1993
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
Proceedings of the Verläßliche Informationssysteme, 1993
Proceedings of the STACS 93, 1993
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993
An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing.
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993
1992
Proceedings of the Logical Foundations of Computer Science, 1992
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992
Proceedings of the Automated Deduction, 1992
1991
1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
Proceedings of the GWAI-89, 1989
Proceedings of the Logic at Botik '89, 1989
1988
Bericht über den Workshop "Logik und Wissensrepräsentation".
Künstliche Intell., 1988
Proceedings of the 9th International Conference on Automated Deduction, 1988
1987
Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987
1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986