Wolfgang Reif

Oliver Kosak

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.

[BibT_eX]

[DOI]

Simon Stieber

Niklas Schröter

Ewald Fauster

Proceedings of the 20th IEEE International Conference on Machine Learning and Applications, 2021

UAV Inspection of Large Components: Indoor Navigation Relative to Structures.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Informatics in Control, 2021

Genetic Programming for Fiber-Threading for Fiber-Reinforced Plastics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Matthias Stueben

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Towards a Real-Time Capable Plug & Produce Environment for Adaptable Factories.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

A Real-Word Realization of the AntNet Routing Algorithm with ActivityBots.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

Opportunities and Limitations of Mixed Reality Holograms in Industrial Robotics.

[BibT_eX]

[DOI]

CoRR, 2020

Turning Software Engineers into Machine Learning Engineers.

[BibT_eX]

[DOI]

Carola Gajek

Proceedings of the First Teaching Machine Learning and Artificial Intelligence Workshop, 2020

An Interactive Web Application for Decision Tree Learning.

[BibT_eX]

[DOI]

Miriam Elia

Carola Gajek

Proceedings of the First Teaching Machine Learning and Artificial Intelligence Workshop, 2020

FlowFrontNet: Improving Carbon Composite Manufacturing with CNNs.

[BibT_eX]

[DOI]

Simon Stieber

Niklas Schröter

Proceedings of the Machine Learning and Knowledge Discovery in Databases: Applied Data Science Track, 2020

Learning Controllers for Adaptive Spreading of Carbon Fiber Tows.

[BibT_eX]

[DOI]

Julia Krützmann

Sergej Beratz

Judith Moosburger-Will

Siegfried Horn

Proceedings of the Machine Learning, Optimization, and Data Science, 2020

Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Swarm and Collective Capabilities for Multipotent Robot Ensembles.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

LegoBot: Automated Planning for Coordinated Multi-Robot Assembly of LEGO structures.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Modeling and Execution of Coordinated Missions in Reconfigurable Robot Ensembles.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

Robust Distance Estimation of Capacitive Proximity Sensors in HRI using Neural Networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ludwig Nägele

Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch.

[BibT_eX]

[DOI]

Stefan Bodenmüller

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Informatics in Control, Automation and Robotics, 2020

Towards Real-time Process Monitoring and Machine Learning for Manufacturing Composite Structures.

[BibT_eX]

[DOI]

Simon Stieber

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Real-time capable OPC-UA Programs over TSN for distributed industrial control.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Adding Concurrency to a Sequential Refinement Tower.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Deadlock Avoidance for Multiple Tasks in a Self-Organizing Production Cell.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sensors, 2019

Ensemble Programming for Multipotent Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 4th International Workshops on Foundations and Applications of Self* Systems, 2019

A Chained Neural Network Model for Photovoltaic Power Forecast.

[BibT_eX]

[DOI]

Carola Gajek

Proceedings of the Machine Learning, Optimization, and Data Science, 2019

Modular and Domain-guided Multi-robot Planning for Assembly Processes.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Informatics in Control, 2019

Reducing Bias in Preference Aggregation for Multiagent Soft Constraint Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Qualitative and quantitative analysis of safety-critical systems with s#.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical Software Testing.

[BibT_eX]

[DOI]

André Reichstaller

Softwaretechnik-Trends, 2018

Adaptive Tests for Adaptive Systems: The Need for New Concepts in Testing for Future Software Systems.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2018

Quantitative and qualitative safety analysis of a hemodialysis machine with S#.

[BibT_eX]

[DOI]

Johannes Leupolz

J. Softw. Evol. Process., 2018

Symbolic execution for a clash-free subset of ASMs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Semantic Plug and Play - Self-Descriptive Modular Hardware for Robotic Applications.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2018

Integrating planning and reactive behavior by using semantically annotated robot tasks.

[BibT_eX]

[DOI]

Encycl. Semantic Comput. Robotic Intell., 2018

MiniBrass: Soft constraints for MiniZinc.

[BibT_eX]

[DOI]

Constraints An Int. J., 2018

Self-Organized Resource Allocation for Reconfigurable Robot Ensembles.

[BibT_eX]

[DOI]

Julian Hanke

Oliver Kosak

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.

[BibT_eX]

[DOI]

Hella Ponsar

Gerald Siegert

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Hella Ponsar

Dominik Klumpp

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.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Test suite reduction for self-organizing systems: a mutation-based approach.

[BibT_eX]

[DOI]

André Reichstaller

Hella Ponsar

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.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Informatics in Control, 2018

Towards a Tool-based Methodology for Developing Software for Dynamic Robot Teams.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Informatics in Control, 2018

2017

Code Abstractions for Automatic Information Flow Control in a Model-Driven Approach.

[BibT_eX]

[DOI]

Kuzman Katkalov

Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2017

Towards Re-orchestration of Real-Time Component Systems in Robotics.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

Consistent World Models for Cooperating Robots: Separating Logical Relationships, Sensor Interpretation and Estimation.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

Modular Verification of Order-Preserving Write-Back Caches.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Toward Adaptive, Self-Aware Test Automation.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

2016

Secure Integration of Third Party Components in a Model-Driven Approach.

[BibT_eX]

[DOI]

Trans. Large Scale Data Knowl. Centered Syst., 2016

Modular, crash-safe refinement for ASMs with submachines.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Risk-Based Interoperability Testing Using Reinforcement Learning.

[BibT_eX]

[DOI]

André Reichstaller

Marcel Gehlen

Proceedings of the Testing Software and Systems, 2016

Back-to-Back Testing of Self-organization Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2016

Environment-aware proximity detection with capacitive sensors for human-robot-interaction.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016

Declassification of Information with Complex Filter Functions.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Information Systems Security and Privacy, 2016

Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with.

[BibT_eX]

[DOI]

Johannes Leupolz

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis.

[BibT_eX]

[DOI]

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

A Relational Encoding for a Clash-Free Subset of ASMs.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Specification and Design of Trust-Based Open Self-Organising Systems.

[BibT_eX]

[DOI]

Oliver Kosak

Proceedings of the Trustworthy Open Self-Organising Systems, 2016

The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems.

[BibT_eX]

[DOI]

Elisabeth André

Jörg Hähner

Theo Ungerer

Proceedings of the Trustworthy Open Self-Organising Systems, 2016

2015

Abstraction of Heterogeneous Supplier Models in Hierarchical Resource Allocation.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2015

Cooperative Resource Allocation in Open Systems of Systems.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., 2015

KIV: overview and VerifyThis competition.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

A Framework for Testing Selforganisation Algorithms.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2015

Formal verification of QVT transformations for code generation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Verification of B<sup>+</sup> trees by integration of shape analysis and interactive theorem proving.

[BibT_eX]

[DOI]

Gidon Ernst

Softw. Syst. Model., 2015

Combining PosoMAS Method Content with Scrum: Agile Software Engineering for Open Self-Organising Systems.

[BibT_eX]

[DOI]

Michael Huebschmann

Scalable Comput. Pract. Exp., 2015

Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

Inside a Verified Flash File System: Transactions and Garbage Collection.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Active Learning for Efficient Sampling of Control Models of Collectives.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

An Approach to Robust Resource Allocation in Large-Scale Systems of Systems.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing Systems, 2015

Runtime Model-Based Safety Analysis of Self-Organizing Systems with S#.

[BibT_eX]

[DOI]

Johannes Leupolz

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Modeling information flow properties with UML.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on New Technologies, Mobility and Security, 2015

On Structure and Distribution of Software for Mobile Manipulators.

[BibT_eX]

[DOI]

Proceedings of the Informatics in Control, 2015

A Taxonomy of Distribution for Cooperative Mobile Manipulators.

[BibT_eX]

[DOI]

Proceedings of the ICINCO 2015, 2015

Towards Multi-functional Robot-based Automation Systems.

[BibT_eX]

[DOI]

Proceedings of the ICINCO 2015, 2015

A backward-oriented approach for offline programming of complex manufacturing tasks.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Automation, Robotics and Applications, 2015

Modeling Hierarchical Resources Within a Unified Ontology - A Position Paper.

[BibT_eX]

Yves Wautelet

Proceedings of the ICAART 2015, 2015

A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2015

Partial Valuation Structures for Qualitative Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications.

[BibT_eX]

[DOI]

Proceedings of the Correct Software in Web Applications and Web Services, 2015

2014

A Model-Driven Approach to Noninterference.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014

Flexible and continuous execution of real-time critical robotic tasks.

[BibT_eX]

[DOI]

Int. J. Mechatronics Autom., 2014

Modeling test cases for security protocols with SecureMDD.

[BibT_eX]

[DOI]

Comput. Networks, 2014

RGITL: A temporal logic framework for compositional reasoning about interleaved programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2014

An Effective Implementation of Norms in Trust-Aware Open Self-Organising Systems.

[BibT_eX]

[DOI]

Jan Kantert

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).

[BibT_eX]

[DOI]

Franz Wotawa

Tom Holvoet

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.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2014

Towards Testing Self-organizing, Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2014

PosoMAS: An Extensible, Modular SE Process for Open Self-organising Systems.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset.

[BibT_eX]

[DOI]

Bogdan Tofan

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Quality over Quantity in Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Formalizing Information Flow Control in a Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Information and Communication Technology, 2014

Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

Synthesised Constraint Models for Distributed Energy Management.

[BibT_eX]

[DOI]

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

Development of a Verified Flash File System.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Modular Refinement for Submachines of ASMs.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Engineering and Mastering Interwoven Systems.

[BibT_eX]

[DOI]

Proceedings of the ARCS 2014, 2014

Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual Power Plants.

[BibT_eX]

[DOI]

Proceedings of the ARCS 2014, 2014

2013

Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures.

[BibT_eX]

[DOI]

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Compositional Verification of a Lock-Free Stack with RGITL.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

A Graphical Language for Real-Time Critical Robot Commands

[BibT_eX]

[DOI]

CoRR, 2013

Verification of a Virtual Filesystem Switch.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Model-Driven Development of Information Flow-Secure Systems with IFlow.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

Constraint Relationships for Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XXX, 2013

Model Checking of Security-Critical Applications in a Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

A Trust- and Cooperation-Based Solution of a Dynamic Resource Allocation Problem.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

Security requirements formalized with OCL in a model-driven approach.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Model-Driven Requirements Engineering, 2013

Trust-Based Scenarios - Predicting Future Agent Behavior in Open Self-organizing Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Synthesis of observers for autonomic evolutionary systems from requirements models.

[BibT_eX]

[DOI]

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

Managing extensibility and maintainability of industrial robotics software.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Advanced Robotics, 2013

Trusted Community - A Trust-based Multi-Agent Organisation for Open Systems.

[BibT_eX]

Lukas Klejnowski

Yvonne Bernard

Proceedings of the ICAART 2013, 2013

Formal Specification of an Erase Block Management Layer for Flash Memory.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2013

A System of Systems Approach to the Evolutionary Transformation of Power Management Systems.

[BibT_eX]

[DOI]

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

An Approach for Isolated Testing of Self-Organization Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

Die Guten, die Bösen und die Vertrauenswürdigen - Vertrauen im Organic Computing.

[BibT_eX]

[DOI]

Inform. Spektrum, 2012

On the combination of top-down and bottom-up methodologies for the design of coordination mechanisms in self-organising systems.

[BibT_eX]

[DOI]

Jan Sudeikat

Inf. Softw. Technol., 2012

A Formal Model of a Virtual Filesystem Switch

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Confidence as a Means to Assess the Accuracy of Trust Values.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Trust, 2012

Model-Driven Development of Secure Service Applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

3rd edition of the workshop on trustworthy self-organizing systems (TSOS 2012).

[BibT_eX]

[DOI]

Proceedings of the Tenth Annual International Conference on Privacy, Security and Trust, 2012

A Decentralized Multi-agent Algorithm for the Set Partitioning Problem.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2012: Principles and Practice of Multi-Agent Systems, 2012

Model-Driven Testing of Security Protocols with SecureMDD.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on New Technologies, 2012

Incremental development of large, secure smart card applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2012

2011

Developing Self-Organizing Robotic Cells Using Organic Computing Principles.

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Self-Organizing Robotic Systems, 2011

Mondex: Engineering a Provable Secure Electronic Purse.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2011

Proving linearizability with temporal logic.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2011

Interleaved Programs and Rely-Guarantee Reasoning with ITL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Gidon Ernst

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Workshop Message.

[BibT_eX]

[DOI]

Audun Jøsang

Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Patterns to Measure and Utilize Trust in Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems, 2011

Formal Verification of a Lock-Free Stack with Hazard Pointers.

[BibT_eX]

[DOI]

Bogdan Tofan

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.

[BibT_eX]

[DOI]

Proceedings of the 2011 workshop on Organic computing, 2011

Simulating a Flash File System with CoreASM and Eclipse.

[BibT_eX]

[DOI]

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

A genetic algorithm for self-optimization in safety-critical resource-flow systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Workshop on Evolving and Adaptive Intelligent Systems, 2011

Design of an automation system for preforming processes in aerospace industries.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

OC-Trust: Towards Trustworthy Organic Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

How to Design and Implement Self-organising Resource-Flow Systems.

[BibT_eX]

[DOI]

Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

Constraining Self-organisation Through Corridors of Correct Behaviour: The Restore Invariant Approach.

[BibT_eX]

[DOI]

Proceedings of the Organic Computing - A Paradigm Shift for Complex Systems, 2011

2010

Automated Flaw Detection in Algebraic Specifications.

[BibT_eX]

[DOI]

Andriy Dunets

J. Autom. Reason., 2010

On reverse-engineering the KUKA Robot Language

[BibT_eX]

[DOI]

CoRR, 2010

Interactive verification of concurrent systems using symbolic execution.

[BibT_eX]

[DOI]

AI Commun., 2010

Engineering self-coordinating software intensive systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Formal Specification and Analysis of Trusted Communities.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

A Software Engineering Guideline for Self-Organizing Resource-Flow Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Temporal Logic Verification of Lock-Freedom.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jan Sudeikat

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the ICINCO 2010, 2010

Software Metrics in Static Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2010

Formal Verification of Application-Specific Security Properties in a Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

Automated cutting and handling of carbon fiber fabrics in aerospace industries.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

Trustworthy Organic Computing Systems: Challenges and Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

Designing Self-healing in Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

A Formal Framework for Compositional Verification of Organic Computing Systems.

[BibT_eX]

[DOI]

Simon Bäumler

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

On Deadlocks and Fairness in Self-organizing Resource-Flow Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems, 2010

Pitfalls in Formal Reasoning about Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the ARES 2010, 2010

2009

An Abstract Specification Language for Static Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Hiding real-time: A new approach for the software development of industrial robots.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

A generic software framework for role-based Organic Computing systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Software Engineering for Secure Systems, 2009

Abstract Specification of the UBIFS File System for Flash Memory.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

Model-Driven Code Generation for Secure Smart Card Applications.

[BibT_eX]

[DOI]

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications.

[BibT_eX]

[DOI]

Proceedings of the The Forth International Conference on Availability, 2009

2008

Verification of Mondex electronic purses with KIV: from transactions to a security protocol.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

Bounded Relational Analysis of Free Data Types.

[BibT_eX]

[DOI]

Andriy Dunets

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

A Specification and Construction Paradigm for Organic Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Interactive Verification of Concurrent Systems using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2008 Workshops, 2008

Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.

[BibT_eX]

[DOI]

Proceedings of the FM 2008: Formal Methods, 2008

Implementing Organic Computing Systems with AgentService.

[BibT_eX]

Proceedings of the ENASE 2008, 2008

Compositional Proofs with Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

Organic Computing for Health Care Systems - Possible Benefits and Challenges.

[BibT_eX]

Proceedings of the First International Conference on Health Informatics, 2008

Automating Algebraic Specifications of Non-freely Generated Data Types.

[BibT_eX]

[DOI]

Andriy Dunets

Proceedings of the Automated Technology for Verification and Analysis, 2008

Verification of Java Programs with Generics.

[BibT_eX]

[DOI]

Holger Grandy

Proceedings of the Algebraic Methodology and Software Technology, 2008

Verification of Medical Guidelines in KIV.

[BibT_eX]

[DOI]

Jonathan Schmitt

Michael Balser

Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

2007

ASN1-light: A Verified Message Encoding for Security Protocols.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

WG2: Software engineering for organic computing applications (SE4OC).

[BibT_eX]

Giovanna Di Marzo Serugendo

Hartmut Schmeck

Proceedings of the Software Engineering 2007, 2007

Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.

[BibT_eX]

[DOI]

Matthias Güdemann

Proceedings of the Computer Safety, 2007

Modeling of self-adaptive systems with SCADE.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

Verifying Smart Card Applications: An ASM Approach.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

A Modeling Framework for the Development of Provably Secure E-Commerce Applications.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

A Refinement Method for Java Programs.

[BibT_eX]

[DOI]

Holger Grandy

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Design and construction of organic computing systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

2006

Improving medical protocols by formal methods.

[BibT_eX]

[DOI]

Annette ten Teije

Mar Marcos

Michael Balser

Joyce van Croonenborg

Artif. Intell. Medicine, 2006

Verification of Medical Guidelines by Model Checking - A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Safety and Dependability Analysis of Self-Adaptive Systems.

[BibT_eX]

[DOI]

Matthias Güdemann

Proceedings of the Leveraging Applications of Formal Methods, 2006

Towards Safe and Secure Organic Computing Applications.

[BibT_eX]

[DOI]

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Interactive Verification of Medical Guidelines.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

The Mondex Challenge: Machine Checked Proofs for an Electronic Purse.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

Developing Provable Secure M-Commerce Applications.

[BibT_eX]

[DOI]

Proceedings of the Emerging Trends in Information and Communication Security, 2006

Formal Modeling and Verification of Systems with Self-x Properties.

[BibT_eX]

[DOI]

Matthias Güdemann

Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

2005

Object Oriented Verification Kernels for Secure Java Applications.

[BibT_eX]

[DOI]

Holger Grandy

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).

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2005

Verifying Security Protocols: An ASM Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dominik Haneberg

Proceedings of the Mobile Economy, 2004

Integrated formal methods for safety analysis of train systems.

[BibT_eX]

[DOI]

Proceedings of the Building the Information Society, 2004

Interactive Verification of UML State Machines.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

A Construction Kit for Modeling the Security of M-commerce Applications.

[BibT_eX]

[DOI]

Dominik Haneberg

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Interactive Verification of Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Combining Formal Methods and Safety Analysis - The ForMoSA Approach.

[BibT_eX]

[DOI]

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Introduction to Subject Area "Verification".

[BibT_eX]

[DOI]

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Protocure: Supporting the Development of Medical Protocols through Formal Methods.

[BibT_eX]

[DOI]

Michael Balser

Óscar Coltell

Joyce van Croonenborg

Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

2003

Safety analysis of the height control system for the Elbtunnel.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2003

Special Issue on Tools for System Design and Verification.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2003

Design for Trust: Security im M-Commerce.

[BibT_eX]

[DOI]

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

2002

Verifying Concurrent Systems with Symbolic Execution.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Verified Formal Security Models for Multiapplicative Smart Cards.

[BibT_eX]

[DOI]

J. Comput. Secur., 2002

A Method for Secure Smartcard Applications.

[BibT_eX]

[DOI]

Dominik Haneberg

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

Correctness of Efficient Real-Time Model Checking.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2001

J.UCS Special Issue on Tools for System Design and Verification - Part 2.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2001

J.UCS Special Issue on Tools for System Design and Verification - Part 1.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2001

Flaw Detection in Formal Specifications.

[BibT_eX]

[DOI]

Andreas Thums

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Workshop über Rigorose Entwicklung software-intensiver Systeme.

[BibT_eX]

[DOI]

Proceedings of the Informatik 2000, 2000

Do You Trust Your Model Checker?

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Formal System Development with KIV.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

Verification of a Formal Security Model for Multiapplicative Smart Cards.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2000

1999

J.UCS Special Issue on Integration of Deduction Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 1999

Formale Methoden für sicherheitskritische Software - Der KIV-Ansatz.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 1999

1998

Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik.

[BibT_eX]

Künstliche Intell., 1998

Formal Methods and Tools: Introduction and Overview.

[BibT_eX]

[DOI]

Rudolf Berghammer

Yassine Lakhnech

Proceedings of the International Workshop Tool Support for System Specification, 1998

VSE: Controlling the Complexity in Formal Software Developments.

[BibT_eX]

[DOI]

Proceedings of the Applied Formal Methods, 1998

KIV 3.0 for Provably Correct Systems.

[BibT_eX]

[DOI]

Proceedings of the Applied Formal Methods, 1998

1997

Software-Verifikation und ihre Anwendungen.

[BibT_eX]

[DOI]

Informationstechnik Tech. Inform., 1997

Proving System Correctness with KIV.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Proving System Correctness with KIV 3.0.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1995

The KIV-Approach to Software Verification.

[BibT_eX]

[DOI]

Proceedings of the KORSO, 1995

Three Selected Case Studies in Verification.

[BibT_eX]

[DOI]

Proceedings of the KORSO, 1995

1994

Tactics in KIV.

[BibT_eX]

J. Inf. Process. Cybern., 1994

Formal Specification and Verification Using KIV.

[BibT_eX]

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.

[BibT_eX]

Proceedings of the Verläßliche Informationssysteme, 1993

The KIV System: A Tool for Formal Program Development.

[BibT_eX]

[DOI]

Proceedings of the STACS 93, 1993

KORSO: Das Verbundprojekt "Korrekte Software".

[BibT_eX]

[DOI]

Heinrich Hußmann

Jacques Loeckx

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Reuse of Proofs in Software Verification.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

Correctness of Full First-Order Specifications.

[BibT_eX]

[DOI]

Proceedings of the SEKE'92, 1992

Correctness of Generic Modules.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, 1992

Verification of Large Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

The KIV System: Systematic Construction of Verified Software.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

1991

Korrektheit von Spezifikationen und generischen Moduln.

[BibT_eX]

[DOI]

PhD thesis, 1991

1990

Tactical Theorem Proving in Program Verification.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Machine-Assisted Program Construction and Modification.

[BibT_eX]

[DOI]

Proceedings of the GWAI-89, 1989

A Dynamic Logic for Program Verification.

[BibT_eX]

[DOI]

Proceedings of the Logic at Botik '89, 1989

1988

Bericht über den Workshop "Logik und Wissensrepräsentation".

[BibT_eX]

Künstliche Intell., 1988

Implementing Verification Strategies in the KIV-System.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Program Verification by Symbolic Execution and Induction.

[BibT_eX]

[DOI]

Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

Program Verification Using Dynamic Logic.

[BibT_eX]

[DOI]