Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wolfgang Reif
@inproceedings{DBLP:conf/icara/EymullerHPR23,
author = {Christian Eym{\"{u}}ller and
Julian Hanke and
Alexander Poeppel and
Wolfgang Reif},
title = {Towards Self-Configuring Plug {\&} Produce Robot Systems Based
on Ontologies},
booktitle = {9th International Conference on Automation, Robotics and Applications,
{ICARA} 2023, Abu Dhabi, United Arab Emirates, February 10-12, 2023},
pages = {23--27},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICARA56516.2023.10126075},
doi = {10.1109/ICARA56516.2023.10126075},
timestamp = {Fri, 02 Jun 2023 14:12:16 +0200},
biburl = {https://dblp.org/rec/conf/icara/EymullerHPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icara/PoeppelER23,
author = {Alexander Poeppel and
Christian Eym{\"{u}}ller and
Wolfgang Reif},
title = {SensorClouds: {A} Framework for Real-Time Processing of Multi-modal
Sensor Data for Human-Robot-Collaboration},
booktitle = {9th International Conference on Automation, Robotics and Applications,
{ICARA} 2023, Abu Dhabi, United Arab Emirates, February 10-12, 2023},
pages = {294--298},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICARA56516.2023.10125740},
doi = {10.1109/ICARA56516.2023.10125740},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icara/PoeppelER23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/HankeSEMPR23,
author = {Julian Hanke and
Matthias Stueben and
Christian Eym{\"{u}}ller and
Maximilian Enrico M{\"{u}}ller and
Alexander Poeppel and
Wolfgang Reif},
editor = {Giuseppina Gini and
Henk Nijmeijer and
Dimitar P. Filev},
title = {{CASP:} Computer Aided Specimen Placement for Robot-Based Component
Testing},
booktitle = {Proceedings of the 20th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2023, Rome, Italy, November
13-15, 2023, Volume 1},
pages = {374--382},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0012155000003543},
doi = {10.5220/0012155000003543},
timestamp = {Fri, 26 Jan 2024 13:44:38 +0100},
biburl = {https://dblp.org/rec/conf/icinco/HankeSEMPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/StieberHOR23,
author = {Simon Stieber and
Leonard Heber and
Christof Obertscheider and
Wolfgang Reif},
title = {Control of Composite Manufacturing Processes Through Deep Reinforcement
Learning},
booktitle = {International Conference on Machine Learning and Applications, {ICMLA}
2023, Jacksonville, FL, USA, December 15-17, 2023},
pages = {17--22},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICMLA58977.2023.00011},
doi = {10.1109/ICMLA58977.2023.00011},
timestamp = {Tue, 02 Apr 2024 21:06:13 +0200},
biburl = {https://dblp.org/rec/conf/icmla/StieberHOR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SchellhornBR23,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
Wolfgang Reif},
editor = {Paula Herber and
Anton Wijs},
title = {Refinement and Separation: Modular Verification of Wandering Trees},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {214--234},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_12},
doi = {10.1007/978-3-031-47705-8\_12},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/SchellhornBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/EymullerHPWR23,
author = {Christian Eym{\"{u}}ller and
Julian Hanke and
Alexander Poeppel and
Constantin Wanninger and
Wolfgang Reif},
title = {RealCaPP: Real-Time Capable Plug {\&} Produce Service Architecture
for Distributed Robot Control},
booktitle = {Seventh {IEEE} International Conference on Robotic Computing, {IRC}
2023, Laguna Hills, CA, USA, December 11-13, 2023},
pages = {352--355},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IRC59093.2023.00063},
doi = {10.1109/IRC59093.2023.00063},
timestamp = {Wed, 17 Apr 2024 17:17:12 +0200},
biburl = {https://dblp.org/rec/conf/irc/EymullerHPWR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/MullerMSHEBRA023,
author = {Dominik M{\"{u}}ller and
Silvan Mertes and
Niklas Schr{\"{o}}ter and
Fabio Hellmann and
Miriam Elia and
Bernhard Bauer and
Wolfgang Reif and
Elisabeth Andr{\'{e}} and
Frank Kramer},
editor = {Maria H{\"{a}}gglund and
Madeleine Blusi and
Stefano Bonacina and
Lina Nilsson and
Inge Cort Madsen and
Sylvia Pelayo and
Anne Moen and
Arriel Benis and
Lars Lindsk{\"{o}}ld and
Parisis Gallos},
title = {Towards Automated {COVID-19} Presence and Severity Classification},
booktitle = {Caring is Sharing - Exploiting the Value in Data for Health and Innovation
- Proceedings of {MIE} 2023, Gothenburg, Sweden, 22 - 25 May 2023},
series = {Studies in Health Technology and Informatics},
volume = {302},
pages = {917--921},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/SHTI230309},
doi = {10.3233/SHTI230309},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mie/MullerMSHEBRA023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rose-ws/SchornerWKHEPR23,
author = {Martin Sch{\"{o}}rner and
Constantin Wanninger and
Raphael Katschinsky and
Simon Hornung and
Christian Eym{\"{u}}ller and
Alexander Poeppel and
Wolfgang Reif},
title = {{UAV} Inspection of Large Components: Determination of Alternative
Inspection Points and Online Route Optimization},
booktitle = {5th {IEEE/ACM} International Workshop on Robotics Software Engineering,
RoSE@ICSE 2023, Melbourne, Australia, May 15, 2023},
pages = {45--52},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RoSE59155.2023.00012},
doi = {10.1109/ROSE59155.2023.00012},
timestamp = {Wed, 02 Aug 2023 15:23:47 +0200},
biburl = {https://dblp.org/rec/conf/rose-ws/SchornerWKHEPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/SchellhornBR23,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
Wolfgang Reif},
editor = {Uwe Gl{\"{a}}sser and
Jos{\'{e}} Creissac Campos and
Dominique M{\'{e}}ry and
Philippe A. Palanque},
title = {Thread-Local, Step-Local Proof Obligations for Refinement of State-Based
Concurrent Systems},
booktitle = {Rigorous State-Based Methods - 9th International Conference, {ABZ}
2023, Nancy, France, May 30 - June 2, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14010},
pages = {70--87},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33163-3\_6},
doi = {10.1007/978-3-031-33163-3\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/SchellhornBR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08660,
author = {Dominik M{\"{u}}ller and
Niklas Schr{\"{o}}ter and
Silvan Mertes and
Fabio Hellmann and
Miriam Elia and
Wolfgang Reif and
Bernhard Bauer and
Elisabeth Andr{\'{e}} and
Frank Kramer},
title = {Towards Automated {COVID-19} Presence and Severity Classification},
journal = {CoRR},
volume = {abs/2305.08660},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.08660},
doi = {10.48550/ARXIV.2305.08660},
eprinttype = {arXiv},
eprint = {2305.08660},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-08660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BodenmullerSR22,
author = {Stefan Bodenm{\"{u}}ller and
Gerhard Schellhorn and
Wolfgang Reif},
title = {Verification of Crashsafe Caching in a Virtual File System Switch},
journal = {Formal Aspects Comput.},
volume = {34},
number = {1},
pages = {1--33},
year = {2022},
url = {https://doi.org/10.1145/3523737},
doi = {10.1145/3523737},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/BodenmullerSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchellhornBBR20,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
Martin Bitterlich and
Wolfgang Reif},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Software {\&} System Verification with {KIV}},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {408--436},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_20},
doi = {10.1007/978-3-031-08166-8\_20},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/SchellhornBBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/HankeERTSR22,
author = {Julian Hanke and
Christian Eym{\"{u}}ller and
Julia Reichmann and
Anna Trauth and
Markus G. R. Sause and
Wolfgang Reif},
title = {Software-defined testing facility for component testing with industrial
robots},
booktitle = {27th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2022, Stuttgart, Germany, September 6-9,
2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ETFA52439.2022.9921625},
doi = {10.1109/ETFA52439.2022.9921625},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/HankeERTSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hri/BermuthPR22,
author = {Daniel Bermuth and
Alexander Poeppel and
Wolfgang Reif},
editor = {Daisuke Sakamoto and
Astrid Weiss and
Laura M. Hiatt and
Masahiro Shiomi},
title = {Jaco: An Offline Running Privacy-aware Voice Assistant},
booktitle = {{ACM/IEEE} International Conference on Human-Robot Interaction, {HRI}
2022, Sapporo, Hokkaido, Japan, March 7 - 10, 2022},
pages = {618--622},
publisher = {{IEEE} / {ACM}},
year = {2022},
url = {https://doi.org/10.1109/HRI53351.2022.9889574},
doi = {10.1109/HRI53351.2022.9889574},
timestamp = {Fri, 07 Oct 2022 14:19:05 +0200},
biburl = {https://dblp.org/rec/conf/hri/BermuthPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/HankeEPRTSR22,
author = {Julian Hanke and
Christian Eym{\"{u}}ller and
Alexander Poeppel and
Julia Reichmann and
Anna Trauth and
Markus G. R. Sause and
Wolfgang Reif},
title = {Sensor-guided motions for robot-based component testing},
booktitle = {Sixth {IEEE} International Conference on Robotic Computing, {IRC}
2022, Naples, Italy, December 5-7, 2022},
pages = {81--84},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IRC55401.2022.00021},
doi = {10.1109/IRC55401.2022.00021},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irc/HankeEPRTSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/StuebenPR22,
author = {Matthias Stueben and
Alexander Poeppel and
Wolfgang Reif},
title = {External Torque Estimation for Mobile Manipulators: {A} Comparison
of Model-based and {LSTM} Methods},
booktitle = {Sixth {IEEE} International Conference on Robotic Computing, {IRC}
2022, Naples, Italy, December 5-7, 2022},
pages = {95--102},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IRC55401.2022.00026},
doi = {10.1109/IRC55401.2022.00026},
timestamp = {Mon, 06 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/StuebenPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/GajekSR22,
author = {Carola Gajek and
Alexander Schiendorfer and
Wolfgang Reif},
editor = {Massih{-}Reza Amini and
St{\'{e}}phane Canu and
Asja Fischer and
Tias Guns and
Petra Kralj Novak and
Grigorios Tsoumakas},
title = {A Recommendation System for {CAD} Assembly Modeling Based on Graph
Neural Networks},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2022, Grenoble, France, September 19-23, 2022, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13713},
pages = {457--473},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26387-3\_28},
doi = {10.1007/978-3-031-26387-3\_28},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pkdd/GajekSR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/SchellhornBBR22,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
Martin Bitterlich and
Wolfgang Reif},
editor = {Akash Lal and
Stefano Tonetta},
title = {Separating Separation Logic - Modular Verification of Red-Black Trees},
booktitle = {Verified Software. Theories, Tools and Experiments - 14th International
Conference, {VSTTE} 2022, Trento, Italy, October 17-18, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13800},
pages = {129--147},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-25803-9\_8},
doi = {10.1007/978-3-031-25803-9\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/SchellhornBBR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-14589,
author = {Daniel Bermuth and
Alexander Poeppel and
Wolfgang Reif},
title = {Finstreder: Simple and fast Spoken Language Understanding with Finite
State Transducers using modern Speech-to-Text models},
journal = {CoRR},
volume = {abs/2206.14589},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.14589},
doi = {10.48550/ARXIV.2206.14589},
eprinttype = {arXiv},
eprint = {2206.14589},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-14589.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07775,
author = {Daniel Bermuth and
Alexander Poeppel and
Wolfgang Reif},
title = {Jaco: An Offline Running Privacy-aware Voice Assistant},
journal = {CoRR},
volume = {abs/2209.07775},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.07775},
doi = {10.48550/ARXIV.2209.07775},
eprinttype = {arXiv},
eprint = {2209.07775},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-07775.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/HirschNPKR21,
author = {Joseph Hirsch and
Martin Neumayer and
Hella Ponsar and
Oliver Kosak and
Wolfgang Reif},
editor = {Esam El{-}Araby and
Vana Kalogeraki and
Danilo Pianini and
Fr{\'{e}}d{\'{e}}ric Lassabe and
Barry Porter and
Sona Ghahremani and
Ingrid Nunes and
Mohamed Bakhouya and
Sven Tomforde},
title = {Distributed Constraint Optimization for Task Allocation in Self-Adaptive
Manufacturing Systems},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September
27 - Oct. 1, 2021},
pages = {62--67},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ACSOS-C52956.2021.00034},
doi = {10.1109/ACSOS-C52956.2021.00034},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/HirschNPKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/WilfertPKSSR21,
author = {Jonas Wilfert and
Niklas Paprotta and
Oliver Kosak and
Simon Stieber and
Alexander Schiendorfer and
Wolfgang Reif},
editor = {Esam El{-}Araby and
Vana Kalogeraki and
Danilo Pianini and
Fr{\'{e}}d{\'{e}}ric Lassabe and
Barry Porter and
Sona Ghahremani and
Ingrid Nunes and
Mohamed Bakhouya and
Sven Tomforde},
title = {A Real-Word Realization of the AntNet Routing Algorithm with ActivityBots},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2021, Companion Volume, Washington, DC, USA, September
27 - Oct. 1, 2021},
pages = {289--290},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ACSOS-C52956.2021.00072},
doi = {10.1109/ACSOS-C52956.2021.00072},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/WilfertPKSSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BodenmullerSBR21,
author = {Stefan Bodenm{\"{u}}ller and
Gerhard Schellhorn and
Martin Bitterlich and
Wolfgang Reif},
editor = {Alexander Raschke and
Elvinia Riccobene and
Klaus{-}Dieter Schewe},
title = {Flashix: Modular Verification of a Concurrent and Crash-Safe Flash
File System},
booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon
B{\"{o}}rger on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12750},
pages = {239--265},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76020-5\_14},
doi = {10.1007/978-3-030-76020-5\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BodenmullerSBR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/EymullerHHRKG21,
author = {Christian Eym{\"{u}}ller and
Julian Hanke and
Alwin Hoffmann and
Wolfgang Reif and
Markus Kugelmann and
Florian Gr{\"{a}}tz},
title = {RealCaPP: Real-time capable Plug {\&} Produce communication platform
with {OPC} {UA} over {TSN} for distributed industrial robot control},
booktitle = {17th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2021, Lyon, France, August 23-27, 2021},
pages = {585--590},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CASE49439.2021.9551484},
doi = {10.1109/CASE49439.2021.9551484},
timestamp = {Fri, 08 Oct 2021 19:47:37 +0200},
biburl = {https://dblp.org/rec/conf/case/EymullerHHRKG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/EymullerHHPWR21,
author = {Christian Eym{\"{u}}ller and
Julian Hanke and
Alwin Hoffmann and
Alexander Poeppel and
Constantin Wanninger and
Wolfgang Reif},
title = {Towards a Real-Time Capable Plug {\&} Produce Environment for
Adaptable Factories},
booktitle = {26th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10,
2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ETFA45728.2021.9613729},
doi = {10.1109/ETFA45728.2021.9613729},
timestamp = {Tue, 07 Dec 2021 09:17:59 +0100},
biburl = {https://dblp.org/rec/conf/etfa/EymullerHHPWR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/StuebenHR21,
author = {Matthias Stueben and
Alwin Hoffmann and
Wolfgang Reif},
title = {Constraint-based Whole-Body-Control of Mobile Manipulators in Human-Centered
Environments},
booktitle = {26th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10,
2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ETFA45728.2021.9613281},
doi = {10.1109/ETFA45728.2021.9613281},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/StuebenHR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/WilfertSWR21,
author = {Jonas Wilfert and
Simon Stieber and
Frederik Wilhelm and
Wolfgang Reif},
title = {Genetic Programming for Fiber-Threading for Fiber-Reinforced Plastics},
booktitle = {26th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2021, Vasteras, Sweden, September 7-10,
2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ETFA45728.2021.9613726},
doi = {10.1109/ETFA45728.2021.9613726},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/WilfertSWR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SchornerBWHR21,
author = {Martin Sch{\"{o}}rner and
Michelle Bettendorf and
Constantin Wanninger and
Alwin Hoffmann and
Wolfgang Reif},
editor = {Oleg Gusikhin and
Henk Nijmeijer and
Kurosh Madani},
title = {{UAV} Inspection of Large Components: Indoor Navigation Relative to
Structures},
booktitle = {Proceedings of the 18th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2021, Online Streaming,
July 6-8, 2021},
pages = {179--186},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010556301790186},
doi = {10.5220/0010556301790186},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icinco/SchornerBWHR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/StieberSFSR21,
author = {Simon Stieber and
Niklas Schr{\"{o}}ter and
Ewald Fauster and
Alexander Schiendorfer and
Wolfgang Reif},
editor = {M. Arif Wani and
Ishwar K. Sethi and
Weisong Shi and
Guangzhi Qu and
Daniela Stan Raicu and
Ruoming Jin},
title = {PermeabilityNets: Comparing Neural Network Architectures on a Sequence-to-Instance
Task in {CFRP} Manufacturing},
booktitle = {20th {IEEE} International Conference on Machine Learning and Applications,
{ICMLA} 2021, Pasadena, CA, USA, December 13-16, 2021},
pages = {694--697},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICMLA52953.2021.00116},
doi = {10.1109/ICMLA52953.2021.00116},
timestamp = {Tue, 01 Feb 2022 17:24:07 +0100},
biburl = {https://dblp.org/rec/conf/icmla/StieberSFSR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rose-ws/SchornerWHKR21,
author = {Martin Sch{\"{o}}rner and
Constantin Wanninger and
Alwin Hoffmann and
Oliver Kosak and
Wolfgang Reif},
title = {Architecture for Emergency Control of Autonomous {UAV} Ensembles**This
work is partly funded by the German Research Foundation {(DFG)} under
the {COMBO} grant},
booktitle = {3rd {IEEE/ACM} International Workshop on Robotics Software Engineering,
RoSE@ICSE 2021, Madrid, Spain, June 2, 2021},
pages = {41--46},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/RoSE52553.2021.00014},
doi = {10.1109/ROSE52553.2021.00014},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rose-ws/SchornerWHKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semco/WanningerASHKR21,
author = {Constantin Wanninger and
Luca Alfano and
Martin Sch{\"{o}}rner and
Alwin Hoffmann and
Oliver Kosak and
Wolfgang Reif},
title = {Semantic Plug and Play: An Architecture Combining Linked Data and
Reconfigurable Hardware},
booktitle = {15th {IEEE} International Conference on Semantic Computing, {ICSC}
2021, Laguna Hills, CA, USA, January 27-29, 2021},
pages = {203--206},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSC50631.2021.00043},
doi = {10.1109/ICSC50631.2021.00043},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semco/WanningerASHKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-07982,
author = {Daniel Bermuth and
Alexander Poeppel and
Wolfgang Reif},
title = {Scribosermo: Fast Speech-to-Text models for German and other Languages},
journal = {CoRR},
volume = {abs/2110.07982},
year = {2021},
url = {https://arxiv.org/abs/2110.07982},
eprinttype = {arXiv},
eprint = {2110.07982},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-07982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/HirschNPKR20,
author = {Joseph Hirsch and
Martin Neumayer and
Hella Ponsar and
Oliver Kosak and
Wolfgang Reif},
title = {Deadlock Avoidance for Multiple Tasks in a Self-Organizing Production
Cell},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Washington, DC, USA, August 17-21, 2020},
pages = {178--187},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS49614.2020.00040},
doi = {10.1109/ACSOS49614.2020.00040},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsos/HirschNPKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornBPR20,
author = {Gerhard Schellhorn and
Stefan Bodenm{\"{u}}ller and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
editor = {Alexander Raschke and
Dominique M{\'{e}}ry and
Frank Houdek},
title = {Adding Concurrency to a Sequential Refinement Tower},
booktitle = {Rigorous State-Based Methods - 7th International Conference, {ABZ}
2020, Ulm, Germany, May 27-29, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12071},
pages = {6--23},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48077-6\_2},
doi = {10.1007/978-3-030-48077-6\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/SchellhornBPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/EymullerHHKR20,
author = {Christian Eym{\"{u}}ller and
Julian Hanke and
Alwin Hoffmann and
Markus Kugelmann and
Wolfgang Reif},
title = {Real-time capable {OPC-UA} Programs over {TSN} for distributed industrial
control},
booktitle = {25th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11,
2020},
pages = {278--285},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ETFA46521.2020.9212171},
doi = {10.1109/ETFA46521.2020.9212171},
timestamp = {Thu, 15 Oct 2020 10:17:48 +0200},
biburl = {https://dblp.org/rec/conf/etfa/EymullerHHKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/StieberHSRBFRS20,
author = {Simon Stieber and
Alwin Hoffmann and
Alexander Schiendorfer and
Wolfgang Reif and
Matthias Beyrle and
Jan Faber and
Michaela Richter and
Markus G. R. Sause},
title = {Towards Real-time Process Monitoring and Machine Learning for Manufacturing
Composite Structures},
booktitle = {25th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11,
2020},
pages = {1455--1458},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ETFA46521.2020.9212097},
doi = {10.1109/ETFA46521.2020.9212097},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/StieberHSRBFRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/WanningerKHSR20,
author = {Constantin Wanninger and
Raphael Katschinsky and
Alwin Hoffmann and
Martin Sch{\"{o}}rner and
Wolfgang Reif},
editor = {Oleg Gusikhin and
Kurosh Madani and
Janan Zaytoon},
title = {Towards Fully Automated Inspection of Large Components with UAVs:
Offline Path Planning},
booktitle = {Proceedings of the 17th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2020, Lieusaint, Paris,
France, July 7-9, 2020},
pages = {71--80},
publisher = {ScitePress},
year = {2020},
url = {https://doi.org/10.5220/0009887900710080},
doi = {10.5220/0009887900710080},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icinco/WanningerKHSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SchornerKWHR20,
author = {Martin Sch{\"{o}}rner and
Raphael Katschinsky and
Constantin Wanninger and
Alwin Hoffmann and
Wolfgang Reif},
editor = {Oleg Gusikhin and
Kurosh Madani and
Janan Zaytoon},
title = {Towards Fully Automated Inspection of Large Components with UAVs:
Offline Path Planning and View Angle Dependent Optimization Strategies},
booktitle = {Informatics in Control, Automation and Robotics - 17th International
Conference, {ICINCO} 2020 Lieusaint - Paris, France, July 7-9, 2020,
Revised Selected Papers},
series = {Lecture Notes in Electrical Engineering},
volume = {793},
pages = {105--123},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-92442-3\_7},
doi = {10.1007/978-3-030-92442-3\_7},
timestamp = {Thu, 06 Jan 2022 12:33:30 +0100},
biburl = {https://dblp.org/rec/conf/icinco/SchornerKWHR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BodenmullerSR20,
author = {Stefan Bodenm{\"{u}}ller and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Modular Integration of Crashsafe Caching into a Verified Virtual File
System Switch},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {218--236},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_12},
doi = {10.1007/978-3-030-63461-2\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BodenmullerSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/HoffmannNR20,
author = {Alwin Hoffmann and
Ludwig N{\"{a}}gele and
Wolfgang Reif},
title = {How to find assembly plans (fast): Hierarchical state space partitioning
for efficient multi-robot assembly},
booktitle = {Fourth {IEEE} International Conference on Robotic Computing, {IRC}
2020, Taichung, Taiwan, November 9-11, 2020},
pages = {172--177},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IRC.2020.00034},
doi = {10.1109/IRC.2020.00034},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/HoffmannNR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/SchornerWHKPR20,
author = {Martin Sch{\"{o}}rner and
Constantin Wanninger and
Alwin Hoffmann and
Oliver Kosak and
Hella Ponsar and
Wolfgang Reif},
title = {Modeling and Execution of Coordinated Missions in Reconfigurable Robot
Ensembles},
booktitle = {Fourth {IEEE} International Conference on Robotic Computing, {IRC}
2020, Taichung, Taiwan, November 9-11, 2020},
pages = {290--293},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IRC.2020.00053},
doi = {10.1109/IRC.2020.00053},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/irc/SchornerWHKPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/PoeppelHSR20,
author = {Alexander Poeppel and
Alwin Hoffmann and
Martin Siehler and
Wolfgang Reif},
title = {Robust Distance Estimation of Capacitive Proximity Sensors in {HRI}
using Neural Networks},
booktitle = {Fourth {IEEE} International Conference on Robotic Computing, {IRC}
2020, Taichung, Taiwan, November 9-11, 2020},
pages = {344--351},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IRC.2020.00061},
doi = {10.1109/IRC.2020.00061},
timestamp = {Thu, 14 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/PoeppelHSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/NageleHSR20,
author = {Ludwig N{\"{a}}gele and
Alwin Hoffmann and
Andreas Schierl and
Wolfgang Reif},
title = {LegoBot: Automated Planning for Coordinated Multi-Robot Assembly of
{LEGO} structures},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021},
pages = {9088--9095},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IROS45743.2020.9341428},
doi = {10.1109/IROS45743.2020.9341428},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/NageleHSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KosakHBWHR20,
author = {Oliver Kosak and
Lukas Huhn and
Felix Bohn and
Constantin Wanninger and
Alwin Hoffmann and
Wolfgang Reif},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Maple-Swarm: Programming Collective Behavior for Ensembles by Extending
HTN-Planning},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {507--524},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_30},
doi = {10.1007/978-3-030-61470-6\_30},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KosakHBWHR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KosakBERWHR20,
author = {Oliver Kosak and
Felix Bohn and
Lennart Eing and
Dennis Rall and
Constantin Wanninger and
Alwin Hoffmann and
Wolfgang Reif},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Swarm and Collective Capabilities for Multipotent Robot Ensembles},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October
20-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12477},
pages = {525--540},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61470-6\_31},
doi = {10.1007/978-3-030-61470-6\_31},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/KosakBERWHR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mod/KrutzmannSBMRH20,
author = {Julia Kr{\"{u}}tzmann and
Alexander Schiendorfer and
Sergej Beratz and
Judith Moosburger{-}Will and
Wolfgang Reif and
Siegfried Horn},
editor = {Giuseppe Nicosia and
Varun Ojha and
Emanuele La Malfa and
Giorgio Jansen and
Vincenzo Sciacca and
Panos M. Pardalos and
Giovanni Giuffrida and
Renato Umeton},
title = {Learning Controllers for Adaptive Spreading of Carbon Fiber Tows},
booktitle = {Machine Learning, Optimization, and Data Science - 6th International
Conference, {LOD} 2020, Siena, Italy, July 19-23, 2020, Revised Selected
Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12566},
pages = {65--77},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64580-9\_6},
doi = {10.1007/978-3-030-64580-9\_6},
timestamp = {Mon, 07 Feb 2022 17:57:40 +0100},
biburl = {https://dblp.org/rec/conf/mod/KrutzmannSBMRH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/StieberSSHR20,
author = {Simon Stieber and
Niklas Schr{\"{o}}ter and
Alexander Schiendorfer and
Alwin Hoffmann and
Wolfgang Reif},
editor = {Yuxiao Dong and
Dunja Mladenic and
Craig Saunders},
title = {FlowFrontNet: Improving Carbon Composite Manufacturing with CNNs},
booktitle = {Machine Learning and Knowledge Discovery in Databases: Applied Data
Science Track - European Conference, {ECML} {PKDD} 2020, Ghent, Belgium,
September 14-18, 2020, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12460},
pages = {411--426},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67667-4\_25},
doi = {10.1007/978-3-030-67667-4\_25},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/StieberSSHR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/teachml/EliaGSR20,
author = {Miriam Elia and
Carola Gajek and
Alexander Schiendorfer and
Wolfgang Reif},
editor = {Bernd Bischl and
Oliver Guhr and
Heidi Seibold and
Peter Steinbach},
title = {An Interactive Web Application for Decision Tree Learning},
booktitle = {Proceedings of the First Teaching Machine Learning and Artificial
Intelligence Workshop, September 8+14, 2020, Virtual Conference},
series = {Proceedings of Machine Learning Research},
volume = {141},
pages = {11--16},
publisher = {{PMLR}},
year = {2020},
url = {https://proceedings.mlr.press/v141/elia21a.html},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/teachml/EliaGSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/teachml/SchiendorferGR20,
author = {Alexander Schiendorfer and
Carola Gajek and
Wolfgang Reif},
editor = {Bernd Bischl and
Oliver Guhr and
Heidi Seibold and
Peter Steinbach},
title = {Turning Software Engineers into Machine Learning Engineers},
booktitle = {Proceedings of the First Teaching Machine Learning and Artificial
Intelligence Workshop, September 8+14, 2020, Virtual Conference},
series = {Proceedings of Machine Learning Research},
volume = {141},
pages = {36--41},
publisher = {{PMLR}},
year = {2020},
url = {https://proceedings.mlr.press/v141/schiendorfer21a.html},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/teachml/SchiendorferGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-08166,
author = {Michael Filipenko and
Andreas Angerer and
Alwin Hoffmann and
Wolfgang Reif},
title = {Opportunities and Limitations of Mixed Reality Holograms in Industrial
Robotics},
journal = {CoRR},
volume = {abs/2001.08166},
year = {2020},
url = {https://arxiv.org/abs/2001.08166},
eprinttype = {arXiv},
eprint = {2001.08166},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-08166.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/KosakWHPR19,
author = {Oliver Kosak and
Constantin Wanninger and
Alwin Hoffmann and
Hella Ponsar and
Wolfgang Reif},
title = {Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration
in Modular Robot Ensembles},
journal = {Sensors},
volume = {19},
number = {1},
pages = {17},
year = {2019},
url = {https://doi.org/10.3390/s19010017},
doi = {10.3390/S19010017},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/KosakWHPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchiendorferR19,
author = {Alexander Schiendorfer and
Wolfgang Reif},
editor = {Thomas Schiex and
Simon de Givry},
title = {Reducing Bias in Preference Aggregation for Multiagent Soft Constraint
Problems},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {510--526},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_30},
doi = {10.1007/978-3-030-30048-7\_30},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SchiendorferR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/NageleSHR19,
author = {Ludwig N{\"{a}}gele and
Andreas Schierl and
Alwin Hoffmann and
Wolfgang Reif},
editor = {Oleg Gusikhin and
Kurosh Madani and
Janan Zaytoon},
title = {Modular and Domain-guided Multi-robot Planning for Assembly Processes},
booktitle = {Proceedings of the 16th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2019 - Volume 2, Prague,
Czech Republic, July 29-31, 2019},
pages = {595--604},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007977205950604},
doi = {10.5220/0007977205950604},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icinco/NageleSHR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mod/GajekSR19,
author = {Carola Gajek and
Alexander Schiendorfer and
Wolfgang Reif},
editor = {Giuseppe Nicosia and
Panos M. Pardalos and
Renato Umeton and
Giovanni Giuffrida and
Vincenzo Sciacca},
title = {A Chained Neural Network Model for Photovoltaic Power Forecast},
booktitle = {Machine Learning, Optimization, and Data Science - 5th International
Conference, {LOD} 2019, Siena, Italy, September 10-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11943},
pages = {566--578},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37599-7\_47},
doi = {10.1007/978-3-030-37599-7\_47},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mod/GajekSR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/KosakBKPR19,
author = {Oliver Kosak and
Felix Bohn and
Felix Keller and
Hella Ponsar and
Wolfgang Reif},
title = {Ensemble Programming for Multipotent Systems},
booktitle = {{IEEE} 4th International Workshops on Foundations and Applications
of Self* Systems, FAS*W@SASO/ICCAC 2019, Umea, Sweden, June 16-20,
2019},
pages = {104--109},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FAS-W.2019.00037},
doi = {10.1109/FAS-W.2019.00037},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saso/KosakBKPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/SchiendorferKAR18,
author = {Alexander Schiendorfer and
Alexander Knapp and
Gerrit Anders and
Wolfgang Reif},
title = {MiniBrass: Soft constraints for MiniZinc},
journal = {Constraints An Int. J.},
volume = {23},
number = {4},
pages = {403--450},
year = {2018},
url = {https://doi.org/10.1007/s10601-018-9289-2},
doi = {10.1007/S10601-018-9289-2},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/SchiendorferKAR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/escri/SchierlHNR18,
author = {Andreas Schierl and
Alwin Hoffmann and
Ludwig N{\"{a}}gele and
Wolfgang Reif},
title = {Integrating planning and reactive behavior by using semantically annotated
robot tasks},
journal = {Encycl. Semantic Comput. Robotic Intell.},
volume = {2},
number = {1},
pages = {1850005:1--1850005:10},
year = {2018},
url = {https://doi.org/10.1142/S2529737618500053},
doi = {10.1142/S2529737618500053},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/escri/SchierlHNR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsc/EymullerWHR18,
author = {Christian Eym{\"{u}}ller and
Constantin Wanninger and
Alwin Hoffmann and
Wolfgang Reif},
title = {Semantic Plug and Play - Self-Descriptive Modular Hardware for Robotic
Applications},
journal = {Int. J. Semantic Comput.},
volume = {12},
number = {4},
pages = {559--577},
year = {2018},
url = {https://doi.org/10.1142/S1793351X18500058},
doi = {10.1142/S1793351X18500058},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsc/EymullerWHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchellhornEPBR18,
author = {Gerhard Schellhorn and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Stefan Bodenm{\"{u}}ller and
Wolfgang Reif},
title = {Symbolic execution for a clash-free subset of ASMs},
journal = {Sci. Comput. Program.},
volume = {158},
pages = {21--40},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.08.014},
doi = {10.1016/J.SCICO.2017.08.014},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SchellhornEPBR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/LeupolzHR18,
author = {Johannes Leupolz and
Axel Habermaier and
Wolfgang Reif},
title = {Quantitative and qualitative safety analysis of a hemodialysis machine
with S{\#}},
journal = {J. Softw. Evol. Process.},
volume = {30},
number = {5},
year = {2018},
url = {https://doi.org/10.1002/smr.1942},
doi = {10.1002/SMR.1942},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/LeupolzHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/ReichstallerESK18,
author = {Andr{\'{e}} Reichstaller and
Benedikt Eberhardinger and
Hella Seebach and
Alexander Knapp and
Wolfgang Reif},
title = {Applying Deep Learning For Imitating Adaptive Agent Behavior in Statistical
Software Testing},
journal = {Softwaretechnik-Trends},
volume = {38},
number = {1},
pages = {57--60},
year = {2018},
url = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_38\_Heft\_1/4\_41\_GI-TAV\_paper\_1.pdf},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stt/ReichstallerESK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/EberhardingerSR18,
author = {Benedikt Eberhardinger and
Hella Seebach and
Andr{\'{e}} Reichstaller and
Alexander Knapp and
Wolfgang Reif},
title = {Adaptive Tests for Adaptive Systems: The Need for New Concepts in
Testing for Future Software Systems},
journal = {Softwaretechnik-Trends},
volume = {38},
number = {1},
pages = {61--64},
year = {2018},
url = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_38\_Heft\_1/2\_41\_GI-TAV\_paper\_2.pdf},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stt/EberhardingerSR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LeupolzKHR18,
author = {Johannes Leupolz and
Alexander Knapp and
Axel Habermaier and
Wolfgang Reif},
title = {Qualitative and quantitative analysis of safety-critical systems with
s{\#}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {4},
pages = {359--377},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0464-3},
doi = {10.1007/S10009-017-0464-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/LeupolzKHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/NageleSHR18,
author = {Ludwig N{\"{a}}gele and
Andreas Schierl and
Alwin Hoffmann and
Wolfgang Reif},
editor = {Kurosh Madani and
Oleg Gusikhin},
title = {Automatic Planning of Manufacturing Processes using Spatial Construction
Plan Analysis and Extensible Heuristic Search},
booktitle = {Proceedings of the 15th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2018 - Volume 2, Porto,
Portugal, July 29-31, 2018},
pages = {586--593},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006861705860593},
doi = {10.5220/0006861705860593},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icinco/NageleSHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/GluckHNSRV18,
author = {Roland Gl{\"{u}}ck and
Alwin Hoffmann and
Ludwig N{\"{a}}gele and
Andreas Schierl and
Wolfgang Reif and
Heinz Voggenreiter},
editor = {Kurosh Madani and
Oleg Gusikhin},
title = {Towards a Tool-based Methodology for Developing Software for Dynamic
Robot Teams},
booktitle = {Proceedings of the 15th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2018 - Volume 2, Porto,
Portugal, July 29-31, 2018},
pages = {615--622},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006884806150622},
doi = {10.5220/0006884806150622},
timestamp = {Wed, 29 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icinco/GluckHNSRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ReichstallerEPK18,
author = {Andr{\'{e}} Reichstaller and
Benedikt Eberhardinger and
Hella Ponsar and
Alexander Knapp and
Wolfgang Reif},
editor = {Xiaoying Bai and
J. Jenny Li and
Andreas Ulrich},
title = {Test suite reduction for self-organizing systems: a mutation-based
approach},
booktitle = {Proceedings of the 13th International Workshop on Automation of Software
Test, AST@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018},
pages = {64--70},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194733.3194739},
doi = {10.1145/3194733.3194739},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ReichstallerEPK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/SchierlHNR18,
author = {Andreas Schierl and
Alwin Hoffmann and
Ludwig N{\"{a}}gele and
Wolfgang Reif},
title = {Integrating Reactive Behavior and Planning: Optimizing Execution Time
Through Predictive Preparation of State Machine Tasks},
booktitle = {Second {IEEE} International Conference on Robotic Computing, {IRC}
2018, Laguna Hills, CA, USA, January 31 - February 2, 2018},
pages = {95--101},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/IRC.2018.00022},
doi = {10.1109/IRC.2018.00022},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/SchierlHNR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WanningerEHKR18,
author = {Constantin Wanninger and
Christian Eym{\"{u}}ller and
Alwin Hoffmann and
Oliver Kosak and
Wolfgang Reif},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Synthesizing Capabilities for Collective Adaptive Systems from Self-descriptive
Hardware Devices Bridging the Reality Gap},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {94--108},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_7},
doi = {10.1007/978-3-030-03424-5\_7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WanningerEHKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/EberhardingerPK18,
author = {Benedikt Eberhardinger and
Hella Ponsar and
Dominik Klumpp and
Wolfgang Reif},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Measuring and Evaluating the Performance of Self-Organization Mechanisms
Within Collective Adaptive Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11246},
pages = {202--220},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03424-5\_14},
doi = {10.1007/978-3-030-03424-5\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/EberhardingerPK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/EberhardingerPS18,
author = {Benedikt Eberhardinger and
Hella Ponsar and
Gerald Siegert and
Wolfgang Reif},
title = {Case Study: Adaptive Test Automation for Testing an Adaptive Hadoop
Resource Manager},
booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2018, Lisbon, Portugal, July
16-20, 2018},
pages = {513--518},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/QRS-C.2018.00092},
doi = {10.1109/QRS-C.2018.00092},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/EberhardingerPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/HankeKSR18,
author = {Julian Hanke and
Oliver Kosak and
Alexander Schiendorfer and
Wolfgang Reif},
title = {Self-Organized Resource Allocation for Reconfigurable Robot Ensembles},
booktitle = {12th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2018, Trento, Italy, September 3-7, 2018},
pages = {110--119},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SASO.2018.00022},
doi = {10.1109/SASO.2018.00022},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saso/HankeKSR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/EberhardingerHR17,
author = {Benedikt Eberhardinger and
Axel Habermaier and
Wolfgang Reif},
title = {Toward Adaptive, Self-Aware Test Automation},
booktitle = {12th {IEEE/ACM} International Workshop on Automation of Software Testing,
AST@ICSE 2017, Buenos Aires, Argentina, May 20-21, 2017},
pages = {34--37},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/AST.2017.1},
doi = {10.1109/AST.2017.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/EberhardingerHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PfahlerEBSR17,
author = {J{\"{o}}rg Pf{\"{a}}hler and
Gidon Ernst and
Stefan Bodenm{\"{u}}ller and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Modular Verification of Order-Preserving Write-Back Caches},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {375--390},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_25},
doi = {10.1007/978-3-319-66845-1\_25},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/PfahlerEBSR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/VisteinHASR17,
author = {Michael Vistein and
Alwin Hoffmann and
Andreas Angerer and
Andreas Schierl and
Wolfgang Reif},
title = {Towards Re-orchestration of Real-Time Component Systems in Robotics},
booktitle = {First {IEEE} International Conference on Robotic Computing, {IRC}
2017, Taichung, Taiwan, April 10-12, 2017},
pages = {60--68},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IRC.2017.61},
doi = {10.1109/IRC.2017.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/VisteinHASR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/SchierlAHR17,
author = {Andreas Schierl and
Andreas Angerer and
Alwin Hoffmann and
Wolfgang Reif},
title = {Consistent World Models for Cooperating Robots: Separating Logical
Relationships, Sensor Interpretation and Estimation},
booktitle = {First {IEEE} International Conference on Robotic Computing, {IRC}
2017, Taichung, Taiwan, April 10-12, 2017},
pages = {101--108},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IRC.2017.62},
doi = {10.1109/IRC.2017.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/SchierlAHR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaccs/KatkalovSR17,
author = {Kuzman Katkalov and
Kurt Stenzel and
Wolfgang Reif},
editor = {Guojun Wang and
Mohammed Atiquzzaman and
Zheng Yan and
Kim{-}Kwang Raymond Choo},
title = {Code Abstractions for Automatic Information Flow Control in a Model-Driven
Approach},
booktitle = {Security, Privacy, and Anonymity in Computation, Communication, and
Storage - SpaCCS 2017 International Workshops, Guangzhou, China, December
12-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10658},
pages = {209--218},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72395-2\_20},
doi = {10.1007/978-3-319-72395-2\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaccs/KatkalovSR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ErnstPSR16,
author = {Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Gerhard Schellhorn and
Wolfgang Reif},
title = {Modular, crash-safe refinement for ASMs with submachines},
journal = {Sci. Comput. Program.},
volume = {131},
pages = {3--21},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.04.009},
doi = {10.1016/J.SCICO.2016.04.009},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ErnstPSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/BorekSKR16,
author = {Marian Borek and
Kurt Stenzel and
Kuzman Katkalov and
Wolfgang Reif},
title = {Secure Integration of Third Party Components in a Model-Driven Approach},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
volume = {30},
pages = {66--86},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-54054-1\_3},
doi = {10.1007/978-3-662-54054-1\_3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tlsdkcs/BorekSKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornEPR16,
author = {Gerhard Schellhorn and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
editor = {Michael J. Butler and
Klaus{-}Dieter Schewe and
Atif Mashkoor and
Mikl{\'{o}}s Bir{\'{o}}},
title = {A Relational Encoding for a Clash-Free Subset of ASMs},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9675},
pages = {237--243},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33600-8\_15},
doi = {10.1007/978-3-319-33600-8\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/SchellhornEPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HabermaierKLR16,
author = {Axel Habermaier and
Alexander Knapp and
Johannes Leupolz and
Wolfgang Reif},
editor = {Maurice H. ter Beek and
Stefania Gnesi and
Alexander Knapp},
title = {Fault-Aware Modeling and Specification for Efficient Formal Safety
Analysis},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
21st International Workshop on Formal Methods for Industrial Critical
Systems and 16th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9933},
pages = {97--114},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_7},
doi = {10.1007/978-3-319-45943-1\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HabermaierKLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HabermaierLR16,
author = {Axel Habermaier and
Johannes Leupolz and
Wolfgang Reif},
editor = {Maurice H. ter Beek and
Stefania Gnesi and
Alexander Knapp},
title = {Unified Simulation, Visualization, and Formal Analysis of Safety-Critical
Systems with},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
21st International Workshop on Formal Methods for Industrial Critical
Systems and 16th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9933},
pages = {150--167},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_11},
doi = {10.1007/978-3-319-45943-1\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HabermaierLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/StenzelKBR16,
author = {Kurt Stenzel and
Kuzman Katkalov and
Marian Borek and
Wolfgang Reif},
editor = {Olivier Camp and
Steven Furnell and
Paolo Mori},
title = {Declassification of Information with Complex Filter Functions},
booktitle = {Proceedings of the 2nd International Conference on Information Systems
Security and Privacy, {ICISSP} 2016, Rome, Italy, February 19-21,
2016},
pages = {490--497},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005782904900497},
doi = {10.5220/0005782904900497},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/StenzelKBR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/HoffmannPSR16,
author = {Alwin Hoffmann and
Alexander Poeppel and
Andreas Schierl and
Wolfgang Reif},
title = {Environment-aware proximity detection with capacitive sensors for
human-robot-interaction},
booktitle = {2016 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, {IROS} 2016, Daejeon, South Korea, October 9-14, 2016},
pages = {145--150},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IROS.2016.7759047},
doi = {10.1109/IROS.2016.7759047},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/HoffmannPSR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/EberhardingerHS16,
author = {Benedikt Eberhardinger and
Axel Habermaier and
Hella Seebach and
Wolfgang Reif},
editor = {Franz Wotawa and
Mihai Nica and
Natalia Kushik},
title = {Back-to-Back Testing of Self-organization Mechanisms},
booktitle = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9976},
pages = {18--35},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47443-4\_2},
doi = {10.1007/978-3-319-47443-4\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/EberhardingerHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ReichstallerEKR16,
author = {Andr{\'{e}} Reichstaller and
Benedikt Eberhardinger and
Alexander Knapp and
Wolfgang Reif and
Marcel Gehlen},
editor = {Franz Wotawa and
Mihai Nica and
Natalia Kushik},
title = {Risk-Based Interoperability Testing Using Reinforcement Learning},
booktitle = {Testing Software and Systems - 28th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2016, Graz, Austria, October 17-19, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9976},
pages = {52--69},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47443-4\_4},
doi = {10.1007/978-3-319-47443-4\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ReichstallerEKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/EberhardingerHH16,
author = {Benedikt Eberhardinger and
Axel Habermaier and
Alwin Hoffmann and
Alexander Poeppel and
Wolfgang Reif},
title = {Toward Integrated Analysis {\&} Testing of Component-Based, Adaptive
Robot Systems},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Companion, Vienna, Austria, August 1-3,
2016},
pages = {301--302},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS-C.2016.45},
doi = {10.1109/QRS-C.2016.45},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qrs/EberhardingerHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/AndersSSRAHMU15,
author = {Gerrit Anders and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif and
Elisabeth Andr{\'{e}} and
J{\"{o}}rg H{\"{a}}hner and
Christian M{\"{u}}ller{-}Schloer and
Theo Ungerer},
editor = {Wolfgang Reif and
Gerrit Anders and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Elisabeth Andr{\'{e}} and
J{\"{o}}rg H{\"{a}}hner and
Christian M{\"{u}}ller{-}Schloer and
Theo Ungerer},
title = {The Social Concept of Trust as Enabler for Robustness in Open Self-Organising
Systems},
booktitle = {Trustworthy Open Self-Organising Systems},
series = {Autonomic Systems},
pages = {1--16},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29201-4\_1},
doi = {10.1007/978-3-319-29201-4\_1},
timestamp = {Sat, 30 Sep 2023 09:32:34 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/AndersSSRAHMU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/AndersSSSSEKR15,
author = {Gerrit Anders and
Florian Siefert and
Alexander Schiendorfer and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Benedikt Eberhardinger and
Oliver Kosak and
Wolfgang Reif},
editor = {Wolfgang Reif and
Gerrit Anders and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Elisabeth Andr{\'{e}} and
J{\"{o}}rg H{\"{a}}hner and
Christian M{\"{u}}ller{-}Schloer and
Theo Ungerer},
title = {Specification and Design of Trust-Based Open Self-Organising Systems},
booktitle = {Trustworthy Open Self-Organising Systems},
series = {Autonomic Systems},
pages = {17--54},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29201-4\_2},
doi = {10.1007/978-3-319-29201-4\_2},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/AndersSSSSEKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0038860,
editor = {Wolfgang Reif and
Gerrit Anders and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Elisabeth Andr{\'{e}} and
J{\"{o}}rg H{\"{a}}hner and
Christian M{\"{u}}ller{-}Schloer and
Theo Ungerer},
title = {Trustworthy Open Self-Organising Systems},
series = {Autonomic Systems},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29201-4},
doi = {10.1007/978-3-319-29201-4},
isbn = {978-3-319-29199-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0038860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EberhardingerAS16,
author = {Benedikt Eberhardinger and
Gerrit Anders and
Hella Seebach and
Florian Siefert and
Alexander Knapp and
Wolfgang Reif},
title = {An Approach for Isolated Testing of Self-Organization Algorithms},
journal = {CoRR},
volume = {abs/1606.02442},
year = {2016},
url = {http://arxiv.org/abs/1606.02442},
eprinttype = {arXiv},
eprint = {1606.02442},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EberhardingerAS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/SteghoferSEHR15,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Hella Seebach and
Benedikt Eberhardinger and
Michael Huebschmann and
Wolfgang Reif},
title = {Combining PosoMAS Method Content with Scrum: Agile Software Engineering
for Open Self-Organising Systems},
journal = {Scalable Comput. Pract. Exp.},
volume = {16},
number = {4},
pages = {333--354},
year = {2015},
url = {https://doi.org/10.12694/scpe.v16i4.1127},
doi = {10.12694/SCPE.V16I4.1127},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/SteghoferSEHR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ErnstSR15,
author = {Gidon Ernst and
Gerhard Schellhorn and
Wolfgang Reif},
title = {Verification of B\({}^{\mbox{+}}\) trees by integration of shape analysis
and interactive theorem proving},
journal = {Softw. Syst. Model.},
volume = {14},
number = {1},
pages = {27--44},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0320-1},
doi = {10.1007/S10270-013-0320-1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/ErnstSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/StenzelMR15,
author = {Kurt Stenzel and
Nina Moebius and
Wolfgang Reif},
title = {Formal verification of {QVT} transformations for code generation},
journal = {Softw. Syst. Model.},
volume = {14},
number = {2},
pages = {981--1002},
year = {2015},
url = {https://doi.org/10.1007/s10270-013-0351-7},
doi = {10.1007/S10270-013-0351-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/StenzelMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/EberhardingerAS15,
author = {Benedikt Eberhardinger and
Gerrit Anders and
Hella Seebach and
Florian Siefert and
Wolfgang Reif},
title = {A Framework for Testing Selforganisation Algorithms},
journal = {Softwaretechnik-Trends},
volume = {35},
number = {1},
year = {2015},
url = {http://pi.informatik.uni-siegen.de/stt/35\_1/01\_Fachgruppenberichte/TAV/7\_Framework.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/EberhardingerAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ErnstPSHR15,
author = {Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Gerhard Schellhorn and
Dominik Haneberg and
Wolfgang Reif},
title = {{KIV:} overview and VerifyThis competition},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {6},
pages = {677--694},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0308-3},
doi = {10.1007/S10009-014-0308-3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/ErnstPSHR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/AndersSSSR15,
author = {Gerrit Anders and
Alexander Schiendorfer and
Florian Siefert and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
title = {Cooperative Resource Allocation in Open Systems of Systems},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {10},
number = {2},
pages = {11:1--11:44},
year = {2015},
url = {https://doi.org/10.1145/2700323},
doi = {10.1145/2700323},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taas/AndersSSSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcci/SchiendorferASR15,
author = {Alexander Schiendorfer and
Gerrit Anders and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
title = {Abstraction of Heterogeneous Supplier Models in Hierarchical Resource
Allocation},
journal = {Trans. Comput. Collect. Intell.},
volume = {20},
pages = {23--53},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27543-7\_2},
doi = {10.1007/978-3-319-27543-7\_2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcci/SchiendorferASR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchiendorferKSA15,
author = {Alexander Schiendorfer and
Alexander Knapp and
Jan{-}Philipp Stegh{\"{o}}fer and
Gerrit Anders and
Florian Siefert and
Wolfgang Reif},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Partial Valuation Structures for Qualitative Soft Constraints},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {115--133},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_10},
doi = {10.1007/978-3-319-15545-6\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchiendorferKSA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/BorekSKR15,
author = {Marian Borek and
Kurt Stenzel and
Kuzman Katkalov and
Wolfgang Reif},
editor = {Manfred A. Jeusfeld and
Kamalakar Karlapalem},
title = {Integration and Exchangeability of External Security-Critical Web
Services in a Model-Driven Approach},
booktitle = {Advances in Conceptual Modeling - {ER} 2015 Workshops, AHA, CMS, EMoV,
MoBiD, MORE-BI, MReBA, QMMQ, and {SCME} Stockholm, Sweden, October
19-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9382},
pages = {63--73},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25747-1\_7},
doi = {10.1007/978-3-319-25747-1\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/er/BorekSKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/AndersSR15,
author = {Gerrit Anders and
Florian Siefert and
Wolfgang Reif},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {A Particle Swarm Optimizer for Solving the Set Partitioning Problem
in the Presence of Partitioning Constraints},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {151--163},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:53:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/AndersSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/AndersSR15a,
author = {Gerrit Anders and
Florian Siefert and
Wolfgang Reif},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous
Objectives},
booktitle = {Agents and Artificial Intelligence - 7th International Conference,
{ICAART} 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9494},
pages = {223--244},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27947-3\_12},
doi = {10.1007/978-3-319-27947-3\_12},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icaart/AndersSR15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SchiendorferWR15,
author = {Alexander Schiendorfer and
Yves Wautelet and
Wolfgang Reif},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Modeling Hierarchical Resources Within a Unified Ontology - {A} Position
Paper},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {614--619},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SchiendorferWR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icara/NageleMAHVSR15,
author = {Ludwig N{\"{a}}gele and
Miroslav Macho and
Andreas Angerer and
Alwin Hoffmann and
Michael Vistein and
Manfred Sch{\"{o}}nheits and
Wolfgang Reif},
editor = {Donald G. Bailey and
Gourab Sen Gupta and
Serge N. Demidenko},
title = {A backward-oriented approach for offline programming of complex manufacturing
tasks},
booktitle = {6th International Conference on Automation, Robotics and Applications,
{ICARA} 2015, Queenstown, New Zealand, February 17-19, 2015},
pages = {124--130},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICARA.2015.7081135},
doi = {10.1109/ICARA.2015.7081135},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icara/NageleMAHVSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SchierlAHVR15,
author = {Andreas Schierl and
Andreas Angerer and
Alwin Hoffmann and
Michael Vistein and
Wolfgang Reif},
editor = {Joaquim Filipe and
Kurosh Madani and
Oleg Yu. Gusikhin and
Jurek Z. Sasiadek},
title = {A Taxonomy of Distribution for Cooperative Mobile Manipulators},
booktitle = {{ICINCO} 2015 - Proceedings of the 12th International Conference on
Informatics in Control, Automation and Robotics, Volume 2, Colmar,
Alsace, France, 21-23 July, 2015},
pages = {74--83},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005541700740083},
doi = {10.5220/0005541700740083},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/icinco/SchierlAHVR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SchierlAHVR15a,
author = {Andreas Schierl and
Andreas Angerer and
Alwin Hoffmann and
Michael Vistein and
Wolfgang Reif},
editor = {Joaquim Filipe and
Kurosh Madani and
Oleg Yu. Gusikhin and
Jurek Z. Sasiadek},
title = {On Structure and Distribution of Software for Mobile Manipulators},
booktitle = {Informatics in Control, Automation and Robotics 12th International
Conference, {ICINCO} 2015 Colmar, France, July 21-23, 2015 Revised
Selected Papers},
series = {Lecture Notes in Electrical Engineering},
volume = {383},
pages = {209--227},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31898-1\_12},
doi = {10.1007/978-3-319-31898-1\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icinco/SchierlAHVR15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/AngererVHRKS15,
author = {Andreas Angerer and
Michael Vistein and
Alwin Hoffmann and
Wolfgang Reif and
Florian Krebs and
Manfred Sch{\"{o}}nheits},
editor = {Joaquim Filipe and
Kurosh Madani and
Oleg Yu. Gusikhin and
Jurek Z. Sasiadek},
title = {Towards Multi-functional Robot-based Automation Systems},
booktitle = {{ICINCO} 2015 - Proceedings of the 12th International Conference on
Informatics in Control, Automation and Robotics, Volume 2, Colmar,
Alsace, France, 21-23 July, 2015},
pages = {438--443},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005573804380443},
doi = {10.5220/0005573804380443},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icinco/AngererVHRKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/KatkalovSBR15,
author = {Kuzman Katkalov and
Kurt Stenzel and
Marian Borek and
Wolfgang Reif},
editor = {Mohamad Badra and
Azzedine Boukerche and
Pascal Urien},
title = {Modeling information flow properties with {UML}},
booktitle = {7th International Conference on New Technologies, Mobility and Security,
{NTMS} 2015, Paris, France, July 27-29, 2015},
pages = {1--5},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/NTMS.2015.7266507},
doi = {10.1109/NTMS.2015.7266507},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ntms/KatkalovSBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/KosakASR15,
author = {Oliver Kosak and
Gerrit Anders and
Florian Siefert and
Wolfgang Reif},
title = {An Approach to Robust Resource Allocation in Large-Scale Systems of
Systems},
booktitle = {2015 {IEEE} 9th International Conference on Self-Adaptive and Self-Organizing
Systems, Cambridge, MA, USA, September 21-25, 2015},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASO.2015.8},
doi = {10.1109/SASO.2015.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/KosakASR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/SchiendorferLAR15,
author = {Alexander Schiendorfer and
Christoph Lassner and
Gerrit Anders and
Wolfgang Reif and
Rainer Lienhart},
title = {Active Learning for Efficient Sampling of Control Models of Collectives},
booktitle = {2015 {IEEE} 9th International Conference on Self-Adaptive and Self-Organizing
Systems, Cambridge, MA, USA, September 21-25, 2015},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASO.2015.13},
doi = {10.1109/SASO.2015.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/SchiendorferLAR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/EberhardingerAS15,
author = {Benedikt Eberhardinger and
Gerrit Anders and
Hella Seebach and
Florian Siefert and
Wolfgang Reif},
title = {A Research Overview and Evaluation of Performance Metrics for Self-Organization
Algorithms},
booktitle = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASO} Workshops 2015, Cambridge, MA, USA, September
21-25, 2015},
pages = {122--127},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASOW.2015.25},
doi = {10.1109/SASOW.2015.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/EberhardingerAS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/HabermaierESLR15,
author = {Axel Habermaier and
Benedikt Eberhardinger and
Hella Seebach and
Johannes Leupolz and
Wolfgang Reif},
title = {Runtime Model-Based Safety Analysis of Self-Organizing Systems with
S{\#}},
booktitle = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASO} Workshops 2015, Cambridge, MA, USA, September
21-25, 2015},
pages = {128--133},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASOW.2015.26},
doi = {10.1109/SASOW.2015.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/HabermaierESLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ErnstPSR15,
author = {Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Arie Gurfinkel and
Sanjit A. Seshia},
title = {Inside a Verified Flash File System: Transactions and Garbage Collection},
booktitle = {Verified Software: Theories, Tools, and Experiments - 7th International
Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9593},
pages = {73--93},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-29613-5\_5},
doi = {10.1007/978-3-319-29613-5\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ErnstPSR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/BorekKMRSS15,
author = {Marian Borek and
Kuzman Katkalov and
Nina Moebius and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Bernhard Thalheim and
Klaus{-}Dieter Schewe and
Andreas Prinz and
Bruno Buchberger},
title = {Integrating a Model-Driven Approach and Formal Verification for the
Development of Secure Service Applications},
booktitle = {Correct Software in Web Applications and Web Services},
series = {Texts and monographs in symbolic computation},
pages = {45--81},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17112-8\_3},
doi = {10.1007/978-3-319-17112-8\_3},
timestamp = {Wed, 25 Sep 2019 17:41:11 +0200},
biburl = {https://dblp.org/rec/books/sp/15/BorekKMRSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/Diaconescu0PRS15,
author = {Ada Diaconescu and
Stephen Marsh and
Jeremy Pitt and
Wolfgang Reif and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482)},
journal = {Dagstuhl Reports},
volume = {5},
number = {11},
pages = {127--150},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.11.127},
doi = {10.4230/DAGREP.5.11.127},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/Diaconescu0PRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SchellhornTEPR14,
author = {Gerhard Schellhorn and
Bogdan Tofan and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
title = {{RGITL:} {A} temporal logic framework for compositional reasoning
about interleaved programs},
journal = {Ann. Math. Artif. Intell.},
volume = {71},
number = {1-3},
pages = {131--174},
year = {2014},
url = {https://doi.org/10.1007/s10472-013-9389-z},
doi = {10.1007/S10472-013-9389-Z},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/SchellhornTEPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/KatkalovMSBR14,
author = {Kuzman Katkalov and
Nina Moebius and
Kurt Stenzel and
Marian Borek and
Wolfgang Reif},
title = {Modeling test cases for security protocols with SecureMDD},
journal = {Comput. Networks},
volume = {58},
pages = {99--111},
year = {2014},
url = {https://doi.org/10.1016/j.comnet.2013.08.024},
doi = {10.1016/J.COMNET.2013.08.024},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/KatkalovMSBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijma/VisteinAHSR14,
author = {Michael Vistein and
Andreas Angerer and
Alwin Hoffmann and
Andreas Schierl and
Wolfgang Reif},
title = {Flexible and continuous execution of real-time critical robotic tasks},
journal = {Int. J. Mechatronics Autom.},
volume = {4},
number = {1},
pages = {27--38},
year = {2014},
url = {https://doi.org/10.1504/IJMA.2014.059773},
doi = {10.1504/IJMA.2014.059773},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijma/VisteinAHSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/StenzelKBR14,
author = {Kurt Stenzel and
Kuzman Katkalov and
Marian Borek and
Wolfgang Reif},
title = {A Model-Driven Approach to Noninterference},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {5},
number = {3},
pages = {30--43},
year = {2014},
url = {https://doi.org/10.22667/JOWUA.2014.09.31.030},
doi = {10.22667/JOWUA.2014.09.31.030},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jowua/StenzelKBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/AndersSSR14,
author = {Gerrit Anders and
Alexander Schiendorfer and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
editor = {Walter Stechele and
Thomas Wild},
title = {Robust Scheduling in a Self-Organizing Hierarchy of Autonomous Virtual
Power Plants},
booktitle = {{ARCS} 2014 - 27th International Conference on Architecture of Computing
Systems, Workshop Proceedings, February 25-28, 2014, Luebeck, Germany,
University of Luebeck, Institute of Computer Engineering},
pages = {1--8},
publisher = {{VDE} Verlag / {IEEE} Xplore},
year = {2014},
url = {https://ieeexplore.ieee.org/document/6775090/},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arcs/AndersSSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/TomfordeHSRSWS14,
author = {Sven Tomforde and
J{\"{o}}rg H{\"{a}}hner and
Hella Seebach and
Wolfgang Reif and
Bernhard Sick and
Arno Wacker and
Ingo Scholtes},
editor = {Walter Stechele and
Thomas Wild},
title = {Engineering and Mastering Interwoven Systems},
booktitle = {{ARCS} 2014 - 27th International Conference on Architecture of Computing
Systems, Workshop Proceedings, February 25-28, 2014, Luebeck, Germany,
University of Luebeck, Institute of Computer Engineering},
pages = {1--8},
publisher = {{VDE} Verlag / {IEEE} Xplore},
year = {2014},
url = {https://ieeexplore.ieee.org/document/6775093/},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arcs/TomfordeHSRSWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornEPHR14,
author = {Gerhard Schellhorn and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Dominik Haneberg and
Wolfgang Reif},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Development of a Verified Flash File System},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {9--24},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_2},
doi = {10.1007/978-3-662-43652-3\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/SchellhornEPHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/ErnstPSR14,
author = {Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Yamine A{\"{\i}}t Ameur and
Klaus{-}Dieter Schewe},
title = {Modular Refinement for Submachines of ASMs},
booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8477},
pages = {188--203},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43652-3\_16},
doi = {10.1007/978-3-662-43652-3\_16},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asm/ErnstPSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/SchiendorferSR14,
author = {Alexander Schiendorfer and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki},
title = {Synthesised Constraint Models for Distributed Energy Management},
booktitle = {Proceedings of the 2014 Federated Conference on Computer Science and
Information Systems, Warsaw, Poland, September 7-10, 2014},
series = {Annals of Computer Science and Information Systems},
volume = {2},
pages = {1529--1538},
year = {2014},
url = {https://doi.org/10.15439/2014F49},
doi = {10.15439/2014F49},
timestamp = {Tue, 23 Apr 2024 09:55:03 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/SchiendorferSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SchiendorferSR14,
author = {Alexander Schiendorfer and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {Synthesis and Abstraction of Constraint Models for Hierarchical Resource
Allocation Problems},
booktitle = {{ICAART} 2014 - Proceedings of the 6th International Conference on
Agents and Artificial Intelligence, Volume 2, ESEO, Angers, Loire
Valley, France, 6-8 March, 2014},
pages = {15--27},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004757700150027},
doi = {10.5220/0004757700150027},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SchiendorferSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ict-eurasia/StenzelKBR14,
author = {Kurt Stenzel and
Kuzman Katkalov and
Marian Borek and
Wolfgang Reif},
editor = {Linawati and
Made Sudiana Mahendra and
Erich J. Neuhold and
A Min Tjoa and
Ilsun You},
title = {Formalizing Information Flow Control in a Model-Driven Approach},
booktitle = {Information and Communication Technology - Second {IFIP} {TC5/8} International
Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8407},
pages = {456--461},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-55032-4\_46},
doi = {10.1007/978-3-642-55032-4\_46},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ict-eurasia/StenzelKBR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/KnappSR14,
author = {Alexander Knapp and
Alexander Schiendorfer and
Wolfgang Reif},
title = {Quality over Quantity in Soft Constraints},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {453--460},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.75},
doi = {10.1109/ICTAI.2014.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/KnappSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/TofanSR14,
author = {Bogdan Tofan and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Elvira Albert and
Emil Sekerinski},
title = {A Compositional Proof Method for Linearizability Applied to a Wait-Free
Multiset},
booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
Bertinoro, Italy, September 9-11, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8739},
pages = {357--372},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10181-1\_22},
doi = {10.1007/978-3-319-10181-1\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/TofanSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/SteghoferSER14,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Hella Seebach and
Benedikt Eberhardinger and
Wolfgang Reif},
editor = {Hoa Khanh Dam and
Jeremy V. Pitt and
Yang Xu and
Guido Governatori and
Takayuki Ito},
title = {PosoMAS: An Extensible, Modular {SE} Process for Open Self-organising
Systems},
booktitle = {{PRIMA} 2014: Principles and Practice of Multi-Agent Systems - 17th
International Conference, Gold Coast, QLD, Australia, December 1-5,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8861},
pages = {1--17},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13191-7\_1},
doi = {10.1007/978-3-319-13191-7\_1},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/SteghoferSER14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/EberhardingerSKR14,
author = {Benedikt Eberhardinger and
Hella Seebach and
Alexander Knapp and
Wolfgang Reif},
editor = {Mercedes G. Merayo and
Edgardo Montes de Oca},
title = {Towards Testing Self-organizing, Adaptive Systems},
booktitle = {Testing Software and Systems - 26th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2014, Madrid, Spain, September 23-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8763},
pages = {180--185},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44857-1\_13},
doi = {10.1007/978-3-662-44857-1\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/EberhardingerSKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/AndersSMR14,
author = {Gerrit Anders and
Florian Siefert and
Michael Mair and
Wolfgang Reif},
title = {Proactive Guidance for Dynamic and Cooperative Resource Allocation
under Uncertainties},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2014, London, United Kingdom, September 8-12, 2014},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASO.2014.14},
doi = {10.1109/SASO.2014.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/AndersSMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/SteghoferAKMR14,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Gerrit Anders and
Jan Kantert and
Christian M{\"{u}}ller{-}Schloer and
Wolfgang Reif},
title = {An Effective Implementation of Norms in Trust-Aware Open Self-Organising
Systems},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2014, London, United Kingdom, September
8-12, 2014},
pages = {76--77},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASOW.2014.34},
doi = {10.1109/SASOW.2014.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/SteghoferAKMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/EberhardingerRW14,
author = {Benedikt Eberhardinger and
Wolfgang Reif and
Franz Wotawa and
Tom Holvoet},
title = {Quality Assurance for Self-Adaptive, Self-Organising Systems (Message
from the Workshop Organisers)},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2014, London, United Kingdom, September
8-12, 2014},
pages = {108--109},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASOW.2014.30},
doi = {10.1109/SASOW.2014.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/EberhardingerRW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/TofanSEPR13,
author = {Bogdan Tofan and
Gerhard Schellhorn and
Gidon Ernst and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
title = {Compositional Verification of a Lock-Free Stack with {RGITL}},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {66},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.66.885},
doi = {10.14279/TUJ.ECEASST.66.885},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/TofanSEPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EberhardingerAS13,
author = {Benedikt Eberhardinger and
Gerrit Anders and
Hella Seebach and
Florian Siefert and
Alexander Knapp and
Wolfgang Reif},
editor = {Rog{\'{e}}rio de Lemos and
David Garlan and
Carlo Ghezzi and
Holger Giese},
title = {An Approach for Isolated Testing of Self-Organization Algorithms},
booktitle = {Software Engineering for Self-Adaptive Systems {III.} Assurances -
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013,
Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {9640},
pages = {188--222},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-74183-3\_7},
doi = {10.1007/978-3-319-74183-3\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EberhardingerAS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SteghoferASR13,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Gerrit Anders and
Florian Siefert and
Wolfgang Reif},
editor = {Matthias Horbach},
title = {A System of Systems Approach to the Evolutionary Transformation of
Power Management Systems},
booktitle = {43. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
angepasst an Mensch, Organisation und Umwelt, {INFORMATIK} 2013, Koblenz,
Germany, September 16-20, 2013},
series = {{LNI}},
volume = {{P-220}},
pages = {1500--1515},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/20584},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/SteghoferASR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/PfahlerESHR13,
author = {J{\"{o}}rg Pf{\"{a}}hler and
Gidon Ernst and
Gerhard Schellhorn and
Dominik Haneberg and
Wolfgang Reif},
editor = {Valeria Bertacco and
Axel Legay},
title = {Formal Specification of an Erase Block Management Layer for Flash
Memory},
booktitle = {Hardware and Software: Verification and Testing - 9th International
Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
5-7, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8244},
pages = {214--229},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03077-7\_15},
doi = {10.1007/978-3-319-03077-7\_15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/PfahlerESHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KlejnowskiBAMR13,
author = {Lukas Klejnowski and
Yvonne Bernard and
Gerrit Anders and
Christian M{\"{u}}ller{-}Schloer and
Wolfgang Reif},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Trusted Community - {A} Trust-based Multi-Agent Organisation for Open
Systems},
booktitle = {{ICAART} 2013 - Proceedings of the 5th International Conference on
Agents and Artificial Intelligence, Volume 1, Barcelona, Spain, 15-18
February, 2013},
pages = {312--317},
publisher = {SciTePress},
year = {2013},
timestamp = {Tue, 01 Oct 2013 15:40:25 +0200},
biburl = {https://dblp.org/rec/conf/icaart/KlejnowskiBAMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icar/HoffmannASVR13,
author = {Alwin Hoffmann and
Andreas Angerer and
Andreas Schierl and
Michael Vistein and
Wolfgang Reif},
title = {Managing extensibility and maintainability of industrial robotics
software},
booktitle = {16th International Conference on Advanced Robotics, {ICAR} 2013, 25-29
November 2013, Montevideo, Uruguay},
pages = {1--7},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICAR.2013.6766561},
doi = {10.1109/ICAR.2013.6766561},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icar/HoffmannASVR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/SteghoferENR13,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Benedikt Eberhardinger and
Florian Nafz and
Wolfgang Reif},
editor = {Filip De Turck and
Yixin Diao and
Choong Seon Hong and
Deep Medhi and
Ramin Sadre},
title = {Synthesis of observers for autonomic evolutionary systems from requirements
models},
booktitle = {2013 {IFIP/IEEE} International Symposium on Integrated Network Management
{(IM} 2013), Ghent, Belgium, May 27-31, 2013},
pages = {1405--1408},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6573200/},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/SteghoferENR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/EberhardingerSNR13,
author = {Benedikt Eberhardinger and
Jan{-}Philipp Stegh{\"{o}}fer and
Florian Nafz and
Wolfgang Reif},
title = {Model-driven synthesis of monitoring infrastructure for reliable adaptive
multi-agent systems},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {21--30},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698901},
doi = {10.1109/ISSRE.2013.6698901},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/EberhardingerSNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsos/AndersSSR13,
author = {Gerrit Anders and
Florian Siefert and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
editor = {Wilfried Elmenreich and
Falko Dressler and
Vittorio Loreto},
title = {Trust-Based Scenarios - Predicting Future Agent Behavior in Open Self-organizing
Systems},
booktitle = {Self-Organizing Systems - 7th {IFIP} {TC} 6 International Workshop,
{IWSOS} 2013, Palma de Mallorca, Spain, May 9-10, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8221},
pages = {90--102},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54140-7\_8},
doi = {10.1007/978-3-642-54140-7\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwsos/AndersSSR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BorekMSR13,
author = {Marian Borek and
Nina Moebius and
Kurt Stenzel and
Wolfgang Reif},
editor = {Ana Moreira and
Gunter Mussbacher and
Jo{\~{a}}o Ara{\'{u}}jo and
Nelly Bencomo and
Pablo S{\'{a}}nchez},
title = {Security requirements formalized with {OCL} in a model-driven approach},
booktitle = {International Workshop on Model-Driven Requirements Engineering, MoDRE
2013, Rio de Janeiro, Brasil, July 15, 2013},
pages = {65--73},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/MoDRE.2013.6597265},
doi = {10.1109/MODRE.2013.6597265},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BorekMSR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/AndersSSR13,
author = {Gerrit Anders and
Jan{-}Philipp Stegh{\"{o}}fer and
Florian Siefert and
Wolfgang Reif},
title = {A Trust- and Cooperation-Based Solution of a Dynamic Resource Allocation
Problem},
booktitle = {7th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2013, Philadelphia, PA, USA, September 9-13, 2013},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SASO.2013.33},
doi = {10.1109/SASO.2013.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/AndersSSR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BorekMSR13,
author = {Marian Borek and
Nina Moebius and
Kurt Stenzel and
Wolfgang Reif},
editor = {Robert M. Hierons and
Mercedes G. Merayo and
Mario Bravetti},
title = {Model Checking of Security-Critical Applications in a Model-Driven
Approach},
booktitle = {Software Engineering and Formal Methods - 11th International Conference,
{SEFM} 2013, Madrid, Spain, September 25-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8137},
pages = {76--90},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40561-7\_6},
doi = {10.1007/978-3-642-40561-7\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BorekMSR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sgai/SchiendorferSKNR13,
author = {Alexander Schiendorfer and
Jan{-}Philipp Stegh{\"{o}}fer and
Alexander Knapp and
Florian Nafz and
Wolfgang Reif},
editor = {Max Bramer and
Miltos Petridis},
title = {Constraint Relationships for Soft Constraints},
booktitle = {Research and Development in Intelligent Systems XXX, Incorporating
Applications and Innovations in Intelligent Systems {XXI} Proceedings
of AI-2013, The Thirty-third {SGAI} International Conference on Innovative
Techniques and Applications of Artificial Intelligence, Cambridge,
England, UK, December 10-12, 2013},
pages = {241--255},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02621-3\_17},
doi = {10.1007/978-3-319-02621-3\_17},
timestamp = {Tue, 23 May 2017 01:10:42 +0200},
biburl = {https://dblp.org/rec/conf/sgai/SchiendorferSKNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socialcom/KatkalovSBR13,
author = {Kuzman Katkalov and
Kurt Stenzel and
Marian Borek and
Wolfgang Reif},
title = {Model-Driven Development of Information Flow-Secure Systems with IFlow},
booktitle = {International Conference on Social Computing, SocialCom 2013, SocialCom/PASSAT/BigData/EconCom/BioMedCom
2013, Washington, DC, USA, 8-14 September, 2013},
pages = {51--56},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SocialCom.2013.14},
doi = {10.1109/SOCIALCOM.2013.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socialcom/KatkalovSBR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/ErnstSHPR13,
author = {Gidon Ernst and
Gerhard Schellhorn and
Dominik Haneberg and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Verification of a Virtual Filesystem Switch},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {242--261},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_13},
doi = {10.1007/978-3-642-54108-7\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/ErnstSHPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/NafzSSR13,
author = {Florian Nafz and
Jan{-}Philipp Stegh{\"{o}}fer and
Hella Seebach and
Wolfgang Reif},
editor = {Javier C{\'{a}}mara and
Rog{\'{e}}rio de Lemos and
Carlo Ghezzi and
Ant{\'{o}}nia Lopes},
title = {Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures},
booktitle = {Assurances for Self-Adaptive Systems - Principles, Models, and Techniques},
series = {Lecture Notes in Computer Science},
volume = {7740},
pages = {80--111},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36249-1\_4},
doi = {10.1007/978-3-642-36249-1\_4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/NafzSSR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-6777,
author = {Andreas Angerer and
Remi Smirra and
Alwin Hoffmann and
Andreas Schierl and
Michael Vistein and
Wolfgang Reif},
title = {A Graphical Language for Real-Time Critical Robot Commands},
journal = {CoRR},
volume = {abs/1303.6777},
year = {2013},
url = {http://arxiv.org/abs/1303.6777},
eprinttype = {arXiv},
eprint = {1303.6777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-6777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/SudeikatSSRRPS12,
author = {Jan Sudeikat and
Jan{-}Philipp Stegh{\"{o}}fer and
Hella Seebach and
Wolfgang Reif and
Wolfgang Renz and
Thomas Preisler and
Peter Salchow},
title = {On the combination of top-down and bottom-up methodologies for the
design of coordination mechanisms in self-organising systems},
journal = {Inf. Softw. Technol.},
volume = {54},
number = {6},
pages = {593--607},
year = {2012},
url = {https://doi.org/10.1016/j.infsof.2011.08.005},
doi = {10.1016/J.INFSOF.2011.08.005},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/SudeikatSSRRPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/SteghoferR12,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
title = {Die Guten, die B{\"{o}}sen und die Vertrauensw{\"{u}}rdigen
- Vertrauen im Organic Computing},
journal = {Inform. Spektrum},
volume = {35},
number = {2},
pages = {119--131},
year = {2012},
url = {https://doi.org/10.1007/s00287-012-0600-0},
doi = {10.1007/S00287-012-0600-0},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/insk/SteghoferR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/KatkalovFSMR12,
author = {Kuzman Katkalov and
Peter Fischer and
Kurt Stenzel and
Nina Moebius and
Wolfgang Reif},
editor = {Roberto Di Pietro and
Javier Herranz and
Ernesto Damiani and
Radu State},
title = {Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven
Approach},
booktitle = {Data Privacy Management and Autonomous Spontaneous Security, 7th International
Workshop, {DPM} 2012, and 5th International Workshop, {SETOP} 2012,
Pisa, Italy, September 13-14, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7731},
pages = {174--186},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35890-6\_13},
doi = {10.1007/978-3-642-35890-6\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/KatkalovFSMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/SchierlAHVR12,
author = {Andreas Schierl and
Andreas Angerer and
Alwin Hoffmann and
Michael Vistein and
Wolfgang Reif},
editor = {Jean{-}Louis Ferrier and
Alain Bernard and
Oleg Yu. Gusikhin and
Kurosh Madani},
title = {From Robot Commands to Real-time Robot Control - Transforming High-level
Robot Commands into Real-time Dataflow Graphs},
booktitle = {{ICINCO} 2012 - Proceedings of the 9th International Conference on
Informatics in Control, Automation and Robotics, Volume 2, Rome, Italy,
28 - 31 July, 2012},
pages = {150--158},
publisher = {SciTePress},
year = {2012},
timestamp = {Sun, 02 Sep 2012 19:28:24 +0200},
biburl = {https://dblp.org/rec/conf/icinco/SchierlAHVR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/AngererBHSVR12,
author = {Andreas Angerer and
Andreas Bareth and
Alwin Hoffmann and
Andreas Schierl and
Michael Vistein and
Wolfgang Reif},
editor = {Jean{-}Louis Ferrier and
Alain Bernard and
Oleg Yu. Gusikhin and
Kurosh Madani},
title = {Two-arm Robot Teleoperation using a Multi-touch Tangible User Interface},
booktitle = {{ICINCO} 2012 - Proceedings of the 9th International Conference on
Informatics in Control, Automation and Robotics, Volume 2, Rome, Italy,
28 - 31 July, 2012},
pages = {327--332},
publisher = {SciTePress},
year = {2012},
timestamp = {Sun, 02 Sep 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icinco/AngererBHSVR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MoebiusSBR12,
author = {Nina Moebius and
Kurt Stenzel and
Marian Borek and
Wolfgang Reif},
title = {Incremental development of large, secure smart card applications},
booktitle = {Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS
2012, Innsbruck, Austria, October 1, 2012},
pages = {9},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2422498.2422507},
doi = {10.1145/2422498.2422507},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/MoebiusSBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/KatkalovMSBR12,
author = {Kuzman Katkalov and
Nina Moebius and
Kurt Stenzel and
Marian Borek and
Wolfgang Reif},
editor = {Albert Levi and
Mohamad Badra and
Matteo Cesana and
Mona Ghassemian and
{\"{O}}zg{\"{u}}r G{\"{u}}rb{\"{u}}z and
Nafa{\^{a}} Jabeur and
Marek Klonowski and
Antonio Ma{\~{n}}a and
Susana Sargento and
Sherali Zeadally},
title = {Model-Driven Testing of Security Protocols with SecureMDD},
booktitle = {5th International Conference on New Technologies, Mobility and Security,
Istanbul, Turkey, {NTMS} 2012, May 7-10, 2012},
pages = {1--5},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/NTMS.2012.6208678},
doi = {10.1109/NTMS.2012.6208678},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ntms/KatkalovMSBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/AndersSSR12,
author = {Gerrit Anders and
Florian Siefert and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
editor = {Iyad Rahwan and
Wayne Wobcke and
Sandip Sen and
Toshiharu Sugawara},
title = {A Decentralized Multi-agent Algorithm for the Set Partitioning Problem},
booktitle = {{PRIMA} 2012: Principles and Practice of Multi-Agent Systems - 15th
International Conference, Kuching, Sarawak, Malaysia, September 3-7,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7455},
pages = {107--121},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32729-2\_8},
doi = {10.1007/978-3-642-32729-2\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/AndersSSR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pst/Muller-SchloerRS12,
author = {Christian M{\"{u}}ller{-}Schloer and
Wolfgang Reif and
Jan{-}Philipp Stegh{\"{o}}fer},
editor = {Nora Cuppens{-}Boulahia and
Philip Fong and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Stephen Marsh and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {3rd edition of the workshop on trustworthy self-organizing systems
{(TSOS} 2012)},
booktitle = {Tenth Annual International Conference on Privacy, Security and Trust,
{PST} 2012, Paris, France, July 16-18, 2012},
pages = {235},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/PST.2012.6297949},
doi = {10.1109/PST.2012.6297949},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pst/Muller-SchloerRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/AndersHSBRS12,
author = {Gerrit Anders and
Christian Hinrichs and
Florian Siefert and
Pascal Behrmann and
Wolfgang Reif and
Michael Sonnenschein},
title = {On the Influence of Inter-Agent Variation on Multi-Agent Algorithms
Solving a Dynamic Task Allocation Problem under Uncertainty},
booktitle = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2012, Lyon, France, September 10-14, 2012},
pages = {29--38},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SASO.2012.16},
doi = {10.1109/SASO.2012.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/AndersHSBRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/BorekMSR12,
author = {Marian Borek and
Nina Moebius and
Kurt Stenzel and
Wolfgang Reif},
editor = {Jonathan P. Bowen and
Huibiao Zhu and
Mike Hinchey},
title = {Model-Driven Development of Secure Service Applications},
booktitle = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion,
Crete, Greece, October 12-13, 2012},
pages = {62--71},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEW.2012.13},
doi = {10.1109/SEW.2012.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/BorekMSR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/KiefhaberASUR12,
author = {Rolf Kiefhaber and
Gerrit Anders and
Florian Siefert and
Theo Ungerer and
Wolfgang Reif},
editor = {Geyong Min and
Yulei Wu and
Lei (Chris) Liu and
Xiaolong Jin and
Stephen A. Jarvis and
Ahmed Yassin Al{-}Dubai},
title = {Confidence as a Means to Assess the Accuracy of Trust Values},
booktitle = {11th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2012, Liverpool, United
Kingdom, June 25-27, 2012},
pages = {690--697},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TrustCom.2012.111},
doi = {10.1109/TRUSTCOM.2012.111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/KiefhaberASUR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-6187,
author = {Gidon Ernst and
Gerhard Schellhorn and
Dominik Haneberg and
J{\"{o}}rg Pf{\"{a}}hler and
Wolfgang Reif},
editor = {Franck Cassez and
Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {A Formal Model of a Virtual Filesystem Switch},
booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
2012, Sydney, Australia, 28-30 November 2012},
series = {{EPTCS}},
volume = {102},
pages = {33--45},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.102.5},
doi = {10.4204/EPTCS.102.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaumlerSTR11,
author = {Simon B{\"{a}}umler and
Gerhard Schellhorn and
Bogdan Tofan and
Wolfgang Reif},
title = {Proving linearizability with temporal logic},
journal = {Formal Aspects Comput.},
volume = {23},
number = {1},
pages = {91--112},
year = {2011},
url = {https://doi.org/10.1007/s00165-009-0130-y},
doi = {10.1007/S00165-009-0130-Y},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaumlerSTR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/HanebergMRSS11,
author = {Dominik Haneberg and
Nina Moebius and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
title = {Mondex: Engineering a Provable Secure Electronic Purse},
journal = {Int. J. Softw. Informatics},
volume = {5},
number = {1-2},
pages = {159--184},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i80},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/HanebergMRSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/AngererEHRR11,
author = {Andreas Angerer and
Claudia Ehinger and
Alwin Hoffmann and
Wolfgang Reif and
Gunther Reinhart},
title = {Design of an automation system for preforming processes in aerospace
industries},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2011,
Trieste, Italy, Aug. 24-27, 2011},
pages = {557--562},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CASE.2011.6042411},
doi = {10.1109/CASE.2011.6042411},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/AngererEHRR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eais/SiefertNSR11,
author = {Florian Siefert and
Florian Nafz and
Hella Seebach and
Wolfgang Reif},
title = {A genetic algorithm for self-optimization in safety-critical resource-flow
systems},
booktitle = {2011 {IEEE} Workshop on Evolving and Adaptive Intelligent Systems,
{EAIS} 2011, Paris, France, April 14-15, 2011},
pages = {77--84},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/EAIS.2011.5945915},
doi = {10.1109/EAIS.2011.5945915},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eais/SiefertNSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HanebergJSRE11,
author = {Dominik Haneberg and
Maximilian Junker and
Gerhard Schellhorn and
Wolfgang Reif and
Gidon Ernst},
editor = {Hans{-}Ulrich Hei{\ss} and
Peter Pepper and
Holger Schlingloff and
J{\"{o}}rg Schneider},
title = {Simulating a Flash File System with CoreASM and Eclipse},
booktitle = {41. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
schafft Communities, {INFORMATIK} 2011, Berlin, Germany, October 4-7,
2011, Abstract Proceedings},
series = {{LNI}},
volume = {{P-192}},
pages = {355},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/18697},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/HanebergJSRE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/FischerNSR11,
author = {Peter Fischer and
Florian Nafz and
Hella Seebach and
Wolfgang Reif},
editor = {Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Theo Ungerer},
title = {Ensuring correct self-reconfiguration in safety-critical applications
by verified result checking},
booktitle = {Proceedings of the 2011 workshop on Organic computing, OC@ICAC 2011,
Karlsruhe, Germany, June 18, 2011},
pages = {3--12},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1998642.1998646},
doi = {10.1145/1998642.1998646},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icac/FischerNSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/TofanSR11,
author = {Bogdan Tofan and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Antonio Cerone and
Pekka Pihlajasaari},
title = {Formal Verification of a Lock-Free Stack with Hazard Pointers},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6916},
pages = {239--255},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23283-1\_16},
doi = {10.1007/978-3-642-23283-1\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/TofanSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/StenzelMR11,
author = {Kurt Stenzel and
Nina Moebius and
Wolfgang Reif},
editor = {Jon Whittle and
Tony Clark and
Thomas K{\"{u}}hne},
title = {Formal Verification of {QVT} Transformations for Code Generation},
booktitle = {Model Driven Engineering Languages and Systems, 14th International
Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6981},
pages = {533--547},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24485-8\_39},
doi = {10.1007/978-3-642-24485-8\_39},
timestamp = {Sat, 30 Sep 2023 09:53:36 +0200},
biburl = {https://dblp.org/rec/conf/models/StenzelMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/Muller-SchloerRJS11,
author = {Christian M{\"{u}}ller{-}Schloer and
Wolfgang Reif and
Audun J{\o}sang and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Workshop Message},
booktitle = {Fifth {IEEE} Conference on Self-Adaptive and Self-Organizing Systems,
{SASOW} 2011, Ann Arbor, MI, USA, October 3-7, 2011, Workshops Proceedings},
pages = {17},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SASOW.2011.22},
doi = {10.1109/SASOW.2011.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/Muller-SchloerRJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/AndersSSR11,
author = {Gerrit Anders and
Jan{-}Philipp Stegh{\"{o}}fer and
Florian Siefert and
Wolfgang Reif},
title = {Patterns to Measure and Utilize Trust in Multi-agent Systems},
booktitle = {Fifth {IEEE} Conference on Self-Adaptive and Self-Organizing Systems,
{SASOW} 2011, Ann Arbor, MI, USA, October 3-7, 2011, Workshops Proceedings},
pages = {35--40},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SASOW.2011.21},
doi = {10.1109/SASOW.2011.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/AndersSSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ErnstSR11,
author = {Gidon Ernst and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Verification of {B} + Trees: An Experiment Combining Shape Analysis
and Interactive Theorem Proving},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {188--203},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_14},
doi = {10.1007/978-3-642-24690-6\_14},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ErnstSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SchellhornTER11,
author = {Gerhard Schellhorn and
Bogdan Tofan and
Gidon Ernst and
Wolfgang Reif},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Interleaved Programs and Rely-Guarantee Reasoning with {ITL}},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {99--106},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.12},
doi = {10.1109/TIME.2011.12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/SchellhornTER11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/Muller2011/NafzSSAR11,
author = {Florian Nafz and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Gerrit Anders and
Wolfgang Reif},
editor = {Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Theo Ungerer},
title = {Constraining Self-organisation Through Corridors of Correct Behaviour:
The Restore Invariant Approach},
booktitle = {Organic Computing - {A} Paradigm Shift for Complex Systems},
pages = {79--93},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-0348-0130-0\_5},
doi = {10.1007/978-3-0348-0130-0\_5},
timestamp = {Tue, 16 May 2017 14:01:44 +0200},
biburl = {https://dblp.org/rec/books/sp/Muller2011/NafzSSAR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/Muller2011/SeebachNSR11,
author = {Hella Seebach and
Florian Nafz and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
editor = {Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Theo Ungerer},
title = {How to Design and Implement Self-organising Resource-Flow Systems},
booktitle = {Organic Computing - {A} Paradigm Shift for Complex Systems},
pages = {145--161},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-0348-0130-0\_9},
doi = {10.1007/978-3-0348-0130-0\_9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Muller2011/SeebachNSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/Muller2011/SteghoferR11,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
editor = {Christian M{\"{u}}ller{-}Schloer and
Hartmut Schmeck and
Theo Ungerer},
title = {OC-Trust: Towards Trustworthy Organic Computing Systems},
booktitle = {Organic Computing - {A} Paradigm Shift for Complex Systems},
pages = {593--595},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-0348-0130-0\_43},
doi = {10.1007/978-3-0348-0130-0\_43},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Muller2011/SteghoferR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/HoffmannNSSR11,
author = {Alwin Hoffmann and
Florian Nafz and
Andreas Schierl and
Hella Seebach and
Wolfgang Reif},
editor = {Yan Meng and
Yaochu Jin},
title = {Developing Self-Organizing Robotic Cells Using Organic Computing Principles},
booktitle = {Bio-Inspired Self-Organizing Robotic Systems},
series = {Studies in Computational Intelligence},
volume = {355},
pages = {253--273},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20760-0\_11},
doi = {10.1007/978-3-642-20760-0\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/HoffmannNSSR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BaumlerBNRS10,
author = {Simon B{\"{a}}umler and
Michael Balser and
Florian Nafz and
Wolfgang Reif and
Gerhard Schellhorn},
title = {Interactive verification of concurrent systems using symbolic execution},
journal = {{AI} Commun.},
volume = {23},
number = {2-3},
pages = {285--307},
year = {2010},
url = {https://doi.org/10.3233/AIC-2010-0458},
doi = {10.3233/AIC-2010-0458},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/BaumlerBNRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DunetsSR10,
author = {Andriy Dunets and
Gerhard Schellhorn and
Wolfgang Reif},
title = {Automated Flaw Detection in Algebraic Specifications},
journal = {J. Autom. Reason.},
volume = {45},
number = {4},
pages = {359--395},
year = {2010},
url = {https://doi.org/10.1007/s10817-010-9166-1},
doi = {10.1007/S10817-010-9166-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/DunetsSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MoebiusSR10,
author = {Nina Moebius and
Kurt Stenzel and
Wolfgang Reif},
title = {Pitfalls in Formal Reasoning about Security Protocols},
booktitle = {{ARES} 2010, Fifth International Conference on Availability, Reliability
and Security, 15-18 February 2010, Krakow, Poland},
pages = {248--253},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ARES.2010.36},
doi = {10.1109/ARES.2010.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/MoebiusSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/SteghoferMNSR10,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Pratik Mandrekar and
Florian Nafz and
Hella Seebach and
Wolfgang Reif},
editor = {Christian M{\"{u}}ller{-}Schloer and
Wolfgang Karl and
Sami Yehia},
title = {On Deadlocks and Fairness in Self-organizing Resource-Flow Systems},
booktitle = {Architecture of Computing Systems - {ARCS} 2010, 23rd International
Conference, Hannover, Germany, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5974},
pages = {87--100},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11950-7\_9},
doi = {10.1007/978-3-642-11950-7\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arcs/SteghoferMNSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/NafzSSBR10,
author = {Florian Nafz and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Simon B{\"{a}}umler and
Wolfgang Reif},
editor = {Bing Xie and
J{\"{u}}rgen Branke and
Seyed Masoud Sadjadi and
Daqing Zhang and
Xingshe Zhou},
title = {A Formal Framework for Compositional Verification of Organic Computing
Systems},
booktitle = {Autonomic and Trusted Computing - 7th International Conference, {ATC}
2010, Xi'an, China, October 26-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6407},
pages = {17--31},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16576-4\_2},
doi = {10.1007/978-3-642-16576-4\_2},
timestamp = {Wed, 11 Nov 2020 16:58:37 +0100},
biburl = {https://dblp.org/rec/conf/atc/NafzSSBR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/SeebachNHMTRS10,
author = {Hella Seebach and
Florian Nafz and
J{\"{o}}rg Holtmann and
Jan Meyer and
Matthias Tichy and
Wolfgang Reif and
Wilhelm Sch{\"{a}}fer},
editor = {Bing Xie and
J{\"{u}}rgen Branke and
Seyed Masoud Sadjadi and
Daqing Zhang and
Xingshe Zhou},
title = {Designing Self-healing in Automotive Systems},
booktitle = {Autonomic and Trusted Computing - 7th International Conference, {ATC}
2010, Xi'an, China, October 26-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6407},
pages = {47--61},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16576-4\_4},
doi = {10.1007/978-3-642-16576-4\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atc/SeebachNHMTRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/SteghoferKLBKRUAHM10,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Rolf Kiefhaber and
Karin Leichtenstern and
Yvonne Bernard and
Lukas Klejnowski and
Wolfgang Reif and
Theo Ungerer and
Elisabeth Andr{\'{e}} and
J{\"{o}}rg H{\"{a}}hner and
Christian M{\"{u}}ller{-}Schloer},
editor = {Bing Xie and
J{\"{u}}rgen Branke and
Seyed Masoud Sadjadi and
Daqing Zhang and
Xingshe Zhou},
title = {Trustworthy Organic Computing Systems: Challenges and Perspectives},
booktitle = {Autonomic and Trusted Computing - 7th International Conference, {ATC}
2010, Xi'an, China, October 26-29, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6407},
pages = {62--76},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16576-4\_5},
doi = {10.1007/978-3-642-16576-4\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atc/SteghoferKLBKRUAHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/AngererEHRRS10,
author = {Andreas Angerer and
Claudia Ehinger and
Alwin Hoffmann and
Wolfgang Reif and
Gunther Reinhart and
Gerhard Strasser},
title = {Automated cutting and handling of carbon fiber fabrics in aerospace
industries},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2010,
Toronto, ON, Canada, 21-24 August, 2010},
pages = {861--866},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/COASE.2010.5584262},
doi = {10.1109/COASE.2010.5584262},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/AngererEHRRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/MoebiusSR10,
author = {Nina Moebius and
Kurt Stenzel and
Wolfgang Reif},
editor = {Fabio Massacci and
Dan S. Wallach and
Nicola Zannone},
title = {Formal Verification of Application-Specific Security Properties in
a Model-Driven Approach},
booktitle = {Engineering Secure Software and Systems, Second International Symposium,
ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5965},
pages = {166--181},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11747-3\_13},
doi = {10.1007/978-3-642-11747-3\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/MoebiusSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VogelsangFHR10,
author = {Andreas Vogelsang and
Ansgar Fehnker and
Ralf Huuck and
Wolfgang Reif},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Software Metrics in Static Program Analysis},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {485--500},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_32},
doi = {10.1007/978-3-642-16901-4\_32},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/VogelsangFHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/HoffmannASVR10,
author = {Alwin Hoffmann and
Andreas Angerer and
Andreas Schierl and
Michael Vistein and
Wolfgang Reif},
editor = {Joaquim Filipe and
Juan Andrade{-}Cetto and
Jean{-}Louis Ferrier},
title = {Towards Object-oriented Software Development for Industrial Robots
- Facilitating the Use of Industrial Robots by Modern Software Engineering},
booktitle = {{ICINCO} 2010, Proceedings of the 7th International Conference on
Informatics in Control, Automation and Robotics, Volume 2, Funchal,
Madeira, Portugal, June 15-18, 2010},
pages = {437--440},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Tue, 04 Jan 2011 14:48:58 +0100},
biburl = {https://dblp.org/rec/conf/icinco/HoffmannASVR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/AngererHSVR10,
author = {Andreas Angerer and
Alwin Hoffmann and
Andreas Schierl and
Michael Vistein and
Wolfgang Reif},
title = {The Robotics {API:} An object-oriented framework for modeling industrial
robotics applications},
booktitle = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, October 18-22, 2010, Taipei, Taiwan},
pages = {4036--4041},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IROS.2010.5649098},
doi = {10.1109/IROS.2010.5649098},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/AngererHSVR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mallow/SudeikatSSRRPS10,
author = {Jan Sudeikat and
Jan{-}Philipp Stegh{\"{o}}fer and
Hella Seebach and
Wolfgang Reif and
Wolfgang Renz and
Thomas Preisler and
Peter Salchow},
editor = {Olivier Boissier and
Amal El Fallah Seghrouchni and
Salima Hassas and
Nicolas Maudet},
title = {Design and Simulation of a Wave-like Self-Organization Strategy for
Resource-Flow Systems},
booktitle = {Proceedings of The Multi-Agent Logics, Languages, and Organisations
Federated Workshops {(MALLOW} 2010), Lyon, France, August 30 - September
2, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {627},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-627/mass\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:29 +0100},
biburl = {https://dblp.org/rec/conf/mallow/SudeikatSSRRPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/TofanBSR10,
author = {Bogdan Tofan and
Simon B{\"{a}}umler and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Temporal Logic Verification of Lock-Freedom},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {377--396},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_21},
doi = {10.1007/978-3-642-13321-3\_21},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/TofanBSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/SteghoferNRBKHM10,
author = {Jan{-}Philipp Stegh{\"{o}}fer and
Florian Nafz and
Wolfgang Reif and
Yvonne Bernard and
Lukas Klejnowski and
J{\"{o}}rg H{\"{a}}hner and
Christian M{\"{u}}ller{-}Schloer},
title = {Formal Specification and Analysis of Trusted Communities},
booktitle = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2010, Budapest, Hungary, 27-28 September 2010, Workshops
Proceedings},
pages = {190--195},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SASOW.2010.39},
doi = {10.1109/SASOW.2010.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/SteghoferNRBKHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/SeebachNSR10,
author = {Hella Seebach and
Florian Nafz and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
title = {A Software Engineering Guideline for Self-Organizing Resource-Flow
Systems},
booktitle = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2010, Budapest, Hungary, 27 September - 1 October
2010},
pages = {194--203},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SASO.2010.26},
doi = {10.1109/SASO.2010.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/SeebachNSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SchaferBBDEOPRRT10,
author = {Wilhelm Sch{\"{a}}fer and
Mauro Birattari and
Johannes Bl{\"{o}}mer and
Marco Dorigo and
Gregor Engels and
Rehan O'Grady and
Marco Platzner and
Franz{-}Josef Rammig and
Wolfgang Reif and
Ansgar Tr{\"{a}}chtler},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Engineering self-coordinating software intensive systems},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {321--324},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882428},
doi = {10.1145/1882362.1882428},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SchaferBBDEOPRRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-5004,
author = {Henrik M{\"{u}}he and
Andreas Angerer and
Alwin Hoffmann and
Wolfgang Reif},
title = {On reverse-engineering the {KUKA} Robot Language},
journal = {CoRR},
volume = {abs/1009.5004},
year = {2010},
url = {http://arxiv.org/abs/1009.5004},
eprinttype = {arXiv},
eprint = {1009.5004},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-5004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MoebiusSGR09,
author = {Nina Moebius and
Kurt Stenzel and
Holger Grandy and
Wolfgang Reif},
title = {SecureMDD: {A} Model-Driven Development Method for Secure Smart Card
Applications},
booktitle = {Proceedings of the The Forth International Conference on Availability,
Reliability and Security, {ARES} 2009, March 16-19, 2009, Fukuoka,
Japan},
pages = {841--846},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ARES.2009.22},
doi = {10.1109/ARES.2009.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/MoebiusSGR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/MoebiusSGR09,
author = {Nina Moebius and
Kurt Stenzel and
Holger Grandy and
Wolfgang Reif},
title = {Model-Driven Code Generation for Secure Smart Card Applications},
booktitle = {20th Australian Software Engineering Conference {(ASWEC} 2009), 14-17
April 2009, Gold Cost, Australia},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASWEC.2009.15},
doi = {10.1109/ASWEC.2009.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/MoebiusSGR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/NafzOSSR09,
author = {Florian Nafz and
Frank Ortmeier and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
editor = {Wolfgang Reif and
Guojun Wang and
Jadwiga Indulska},
title = {A Universal Self-Organization Mechanism for Role-Based Organic Computing
Systems},
booktitle = {Autonomic and Trusted Computing, 6th International Conference, {ATC}
2009, Brisbane, Australia, July 7-9, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5586},
pages = {17--31},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02704-8\_3},
doi = {10.1007/978-3-642-02704-8\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atc/NafzOSSR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SchellhornGHMR09,
author = {Gerhard Schellhorn and
Holger Grandy and
Dominik Haneberg and
Nina Moebius and
Wolfgang Reif},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {A Systematic Verification Approach for Mondex Electronic Purses Using
ASMs},
booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
pages = {93--110},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2\_7},
doi = {10.1007/978-3-642-11447-2\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SchellhornGHMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchierlSHR09,
author = {Andreas Schierl and
Gerhard Schellhorn and
Dominik Haneberg and
Wolfgang Reif},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Abstract Specification of the {UBIFS} File System for Flash Memory},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {190--206},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_13},
doi = {10.1007/978-3-642-05089-3\_13},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/SchierlSHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MoebiusSR09,
author = {Nina Moebius and
Kurt Stenzel and
Wolfgang Reif},
title = {Generating formal specifications for security-critical applications
- {A} model-driven approach},
booktitle = {{ICSE} Workshop on Software Engineering for Secure Systems, {SESS}
2009, Vancouver, BC, Canada, May 19, 2009},
pages = {68--74},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/IWSESS.2009.5068461},
doi = {10.1109/IWSESS.2009.5068461},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/MoebiusSR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NafzOSSR09,
author = {Florian Nafz and
Frank Ortmeier and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
title = {A generic software framework for role-based Organic Computing systems},
booktitle = {2009 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2009, Vancouver, BC, Canada, May 18-19, 2009},
pages = {96--105},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEAMS.2009.5069078},
doi = {10.1109/SEAMS.2009.5069078},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NafzOSSR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/HoffmannAOVR09,
author = {Alwin Hoffmann and
Andreas Angerer and
Frank Ortmeier and
Michael Vistein and
Wolfgang Reif},
title = {Hiding real-time: {A} new approach for the software development of
industrial robots},
booktitle = {2009 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, October 11-15, 2009, St. Louis, MO, {USA}},
pages = {2108--2113},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IROS.2009.5354589},
doi = {10.1109/IROS.2009.5354589},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/HoffmannAOVR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VisteinORHF09,
author = {Michael Vistein and
Frank Ortmeier and
Wolfgang Reif and
Ralf Huuck and
Ansgar Fehnker},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {An Abstract Specification Language for Static Program Analysis},
booktitle = {Proceedings of the 4th International Workshop on Systems Software
Verification, {SSV} 2009, Aachen, Germany, June 22-24, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {181--197},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.066},
doi = {10.1016/J.ENTCS.2009.09.066},
timestamp = {Fri, 17 Feb 2023 10:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VisteinORHF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atc/2009,
editor = {Wolfgang Reif and
Guojun Wang and
Jadwiga Indulska},
title = {Autonomic and Trusted Computing, 6th International Conference, {ATC}
2009, Brisbane, Australia, July 7-9, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5586},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02704-8},
doi = {10.1007/978-3-642-02704-8},
isbn = {978-3-642-02703-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atc/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HanebergSGR08,
author = {Dominik Haneberg and
Gerhard Schellhorn and
Holger Grandy and
Wolfgang Reif},
title = {Verification of Mondex electronic purses with {KIV:} from transactions
to a security protocol},
journal = {Formal Aspects Comput.},
volume = {20},
number = {1},
pages = {41--59},
year = {2008},
url = {https://doi.org/10.1007/s00165-007-0057-0},
doi = {10.1007/S00165-007-0057-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HanebergSGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/StenzelGR08,
author = {Kurt Stenzel and
Holger Grandy and
Wolfgang Reif},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Verification of Java Programs with Generics},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {315--329},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_24},
doi = {10.1007/978-3-540-79980-1\_24},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/StenzelGR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DunetsSR08,
author = {Andriy Dunets and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Automating Algebraic Specifications of Non-freely Generated Data Types},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {141--155},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_12},
doi = {10.1007/978-3-540-88387-6\_12},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/DunetsSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/NafzOSR08,
author = {Florian Nafz and
Frank Ortmeier and
Hella Seebach and
Wolfgang Reif},
editor = {Lu{\'{\i}}s Azevedo and
Ana Rita Londral},
title = {Organic Computing for Health Care Systems - Possible Benefits and
Challenges},
booktitle = {Proceedings of the First International Conference on Health Informatics,
{HEALTHINF} 2008, Funchal, Madeira, Portugal, January 28-31, 2008,
Volume 2},
pages = {286--290},
publisher = {{INSTICC} - Institute for Systems and Technologies of Information,
Control and Communication},
year = {2008},
timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
biburl = {https://dblp.org/rec/conf/biostec/NafzOSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BaumlerNBR08,
author = {Simon B{\"{a}}umler and
Florian Nafz and
Michael Balser and
Wolfgang Reif},
editor = {Bernhard Beckert and
Gerwin Klein},
title = {Compositional Proofs with Symbolic Execution},
booktitle = {Proceedings of the 5th International Verification Workshop in connection
with {IJCAR} 2008, Sydney, Australia, August 10-11, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {372},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-372/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/BaumlerNBR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/NafzOSSR08,
author = {Florian Nafz and
Frank Ortmeier and
Hella Seebach and
Jan{-}Philipp Stegh{\"{o}}fer and
Wolfgang Reif},
editor = {Cesar Gonzalez{-}Perez and
Stefan Jablonski},
title = {Implementing Organic Computing Systems with AgentService},
booktitle = {{ENASE} 2008 - Proceedings of the 3rd International Conference on
Evaluation of Novel Approaches to Software Engineering, Funchal, Madeira,
Portugal, May 4-7, 2008},
pages = {64--71},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Thu, 06 Jan 2011 10:44:17 +0100},
biburl = {https://dblp.org/rec/conf/enase/NafzOSSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GrandyBSSR08,
author = {Holger Grandy and
Markus Bischof and
Kurt Stenzel and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {Verification of Mondex Electronic Purses with {KIV:} From a Security
Protocol to Verified Code},
booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
pages = {165--180},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0\_13},
doi = {10.1007/978-3-540-68237-0\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GrandyBSSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BalserBRS08,
author = {Michael Balser and
Simon B{\"{a}}umler and
Wolfgang Reif and
Gerhard Schellhorn},
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {Interactive Verification of Concurrent Systems using Symbolic Execution},
booktitle = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BalserBRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/GudemannNOSR08,
author = {Matthias G{\"{u}}demann and
Florian Nafz and
Frank Ortmeier and
Hella Seebach and
Wolfgang Reif},
editor = {Sven A. Brueckner and
Paul Robertson and
Umesh Bellur},
title = {A Specification and Construction Paradigm for Organic Computing Systems},
booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2008, 20-24 October 2008, Venice, Italy},
pages = {233--242},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SASO.2008.66},
doi = {10.1109/SASO.2008.66},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/GudemannNOSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DunetsSR08,
author = {Andriy Dunets and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Bounded Relational Analysis of Free Data Types},
booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
Italy, April 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {99--115},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79124-9\_8},
doi = {10.1007/978-3-540-79124-9\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/DunetsSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ios/p/SchmittBR08,
author = {Jonathan Schmitt and
Michael Balser and
Wolfgang Reif},
editor = {Annette ten Teije and
Silvia Miksch and
Peter J. F. Lucas},
title = {Verification of Medical Guidelines in {KIV}},
booktitle = {Computer-based Medical Guidelines and Protocols: {A} Primer and Current
Trends},
series = {Studies in Health Technology and Informatics},
volume = {139},
pages = {253--262},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-873-1-253},
doi = {10.3233/978-1-58603-873-1-253},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ios/p/SchmittBR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/SeebachOR07,
author = {Hella Seebach and
Frank Ortmeier and
Wolfgang Reif},
title = {Design and construction of organic computing systems},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2007, 25-28 September 2007, Singapore},
pages = {4215--4221},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CEC.2007.4425021},
doi = {10.1109/CEC.2007.4425021},
timestamp = {Thu, 16 Dec 2021 14:01:04 +0100},
biburl = {https://dblp.org/rec/conf/cec/SeebachOR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/GrandySR07,
author = {Holger Grandy and
Kurt Stenzel and
Wolfgang Reif},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {A Refinement Method for Java Programs},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus,
June 6-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4468},
pages = {221--235},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72952-5\_14},
doi = {10.1007/978-3-540-72952-5\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/GrandySR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/MoebiusHRS07,
author = {Nina Moebius and
Dominik Haneberg and
Wolfgang Reif and
Gerhard Schellhorn},
title = {A Modeling Framework for the Development of Provably Secure E-Commerce
Applications},
booktitle = {Proceedings of the Second International Conference on Software Engineering
Advances {(ICSEA} 2007), August 25-31, 2007, Cap Esterel, French Riviera,
France},
pages = {8},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSEA.2007.7},
doi = {10.1109/ICSEA.2007.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/MoebiusHRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HanebergGRS07,
author = {Dominik Haneberg and
Holger Grandy and
Wolfgang Reif and
Gerhard Schellhorn},
editor = {Jim Davies and
Jeremy Gibbons},
title = {Verifying Smart Card Applications: An {ASM} Approach},
booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
Oxford, UK, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4591},
pages = {313--332},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73210-5\_17},
doi = {10.1007/978-3-540-73210-5\_17},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HanebergGRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/GudemannAOR07,
author = {Matthias G{\"{u}}demann and
Andreas Angerer and
Frank Ortmeier and
Wolfgang Reif},
title = {Modeling of self-adaptive systems with {SCADE}},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2007), 27-20
May 2007, New Orleans, Louisiana, {USA}},
pages = {2922--2925},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ISCAS.2007.377861},
doi = {10.1109/ISCAS.2007.377861},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/GudemannAOR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GudemannOR07,
author = {Matthias G{\"{u}}demann and
Frank Ortmeier and
Wolfgang Reif},
editor = {Francesca Saglietti and
Norbert Oster},
title = {Using Deductive Cause-Consequence Analysis {(DCCA)} with {SCADE}},
booktitle = {Computer Safety, Reliability, and Security, 26th International Conference,
{SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007},
series = {Lecture Notes in Computer Science},
volume = {4680},
pages = {465--478},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75101-4\_44},
doi = {10.1007/978-3-540-75101-4\_44},
timestamp = {Sat, 30 Sep 2023 09:55:40 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GudemannOR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/OrtmeierRSS07,
author = {Frank Ortmeier and
Wolfgang Reif and
Giovanna Di Marzo Serugendo and
Hartmut Schmeck},
editor = {Wolf{-}Gideon Bleek and
J{\"{o}}rg Raasch and
Heinz Z{\"{u}}llighoven},
title = {{WG2:} Software engineering for organic computing applications {(SE4OC)}},
booktitle = {Software Engineering 2007, Fachtagung des GI-Fachbereichs Softwaretechnik,
27.-30.3.2007 in Hamburg},
series = {{LNI}},
volume = {{P-105}},
pages = {275--276},
publisher = {{GI}},
year = {2007},
timestamp = {Wed, 13 Jan 2021 08:41:35 +0100},
biburl = {https://dblp.org/rec/conf/se/OrtmeierRSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GrandyBSR07,
author = {Holger Grandy and
Robert Bertossi and
Kurt Stenzel and
Wolfgang Reif},
title = {ASN1-light: {A} Verified Message Encoding for Security Protocols},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {195--204},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.8},
doi = {10.1109/SEFM.2007.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GrandyBSR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/TeijeMBCDHLMRRS06,
author = {Annette ten Teije and
Mar Marcos and
Michael Balser and
Joyce van Croonenborg and
Christoph Duelli and
Frank van Harmelen and
Peter J. F. Lucas and
Silvia Miksch and
Wolfgang Reif and
Kitty Rosenbrand and
Andreas Seyfang},
title = {Improving medical protocols by formal methods},
journal = {Artif. Intell. Medicine},
volume = {36},
number = {3},
pages = {193--209},
year = {2006},
url = {https://doi.org/10.1016/j.artmed.2005.10.006},
doi = {10.1016/J.ARTMED.2005.10.006},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/artmed/TeijeMBCDHLMRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atc/GudemannOR06,
author = {Matthias G{\"{u}}demann and
Frank Ortmeier and
Wolfgang Reif},
editor = {Laurence Tianruo Yang and
Hai Jin and
Jianhua Ma and
Theo Ungerer},
title = {Formal Modeling and Verification of Systems with Self-x Properties},
booktitle = {Autonomic and Trusted Computing, Third International Conference, {ATC}
2006, Wuhan, China, September 3-6, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4158},
pages = {38--47},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11839569\_4},
doi = {10.1007/11839569\_4},
timestamp = {Thu, 01 Feb 2024 20:40:31 +0100},
biburl = {https://dblp.org/rec/conf/atc/GudemannOR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etrics/GrandyHRS06,
author = {Holger Grandy and
Dominik Haneberg and
Wolfgang Reif and
Kurt Stenzel},
editor = {G{\"{u}}nter M{\"{u}}ller},
title = {Developing Provable Secure M-Commerce Applications},
booktitle = {Emerging Trends in Information and Communication Security, International
Conference, {ETRICS} 2006, Freiburg, Germany, June 6-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3995},
pages = {115--129},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11766155\_9},
doi = {10.1007/11766155\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etrics/GrandyHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchellhornGHR06,
author = {Gerhard Schellhorn and
Holger Grandy and
Dominik Haneberg and
Wolfgang Reif},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {The Mondex Challenge: Machine Checked Proofs for an Electronic Purse},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {16--31},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_2},
doi = {10.1007/11813040\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchellhornGHR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchmittHBRM06,
author = {Jonathan Schmitt and
Alwin Hoffmann and
Michael Balser and
Wolfgang Reif and
Mar Marcos},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Interactive Verification of Medical Guidelines},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {32--47},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_3},
doi = {10.1007/11813040\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchmittHBRM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GudemannNRS06,
author = {Matthias G{\"{u}}demann and
Florian Nafz and
Wolfgang Reif and
Hella Seebach},
editor = {Christian Hochberger and
R{\"{u}}diger Liskowsky},
title = {Towards Safe and Secure Organic Computing Applications},
booktitle = {36. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
f{\"{u}}r Menschen, {INFORMATIK} 2006, Dresden, Germany, October
2-6, 2006, Band 1},
series = {{LNI}},
volume = {{P-93}},
pages = {153--160},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/23669},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/GudemannNRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GudemannOR06,
author = {Matthias G{\"{u}}demann and
Frank Ortmeier and
Wolfgang Reif},
title = {Safety and Dependability Analysis of Self-Adaptive Systems},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {177--184},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.38},
doi = {10.1109/ISOLA.2006.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GudemannOR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BaumlerBDRS06,
author = {Simon B{\"{a}}umler and
Michael Balser and
Andriy Dunets and
Wolfgang Reif and
Jonathan Schmitt},
editor = {Antti Valmari},
title = {Verification of Medical Guidelines by Model Checking - {A} Case Study},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {219--233},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_13},
doi = {10.1007/11691617\_13},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BaumlerBDRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/HanebergGRS05,
author = {Dominik Haneberg and
Holger Grandy and
Wolfgang Reif and
Gerhard Schellhorn},
title = {Verifying Security Protocols: An {ASM} Approach},
booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
{ASM} 2005, March 8-11, 2005, Paris, France},
pages = {247--262},
year = {2005},
url = {http://www.univ-paris12.fr/lacl/dima/asm05/haneberg.ps},
timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
biburl = {https://dblp.org/rec/conf/asm/HanebergGRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/OrtmeierRS05,
author = {Frank Ortmeier and
Wolfgang Reif and
Gerhard Schellhorn},
editor = {Mario Dal Cin and
Mohamed Ka{\^{a}}niche and
Andr{\'{a}}s Pataricza},
title = {Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive
Cause-Consequence Analysis {(DCCA)}},
booktitle = {Dependable Computing - EDCC-5, 5th European Dependable Computing Conference,
Budapest, Hungary, April 20-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3463},
pages = {210--224},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11408901\_15},
doi = {10.1007/11408901\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/edcc/OrtmeierRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GrandySR05,
author = {Holger Grandy and
Kurt Stenzel and
Wolfgang Reif},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Object Oriented Verification Kernels for Secure Java Applications},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {170--179},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.28},
doi = {10.1109/SEFM.2005.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GrandySR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgp/BalserCCDHJLMMR04,
author = {Michael Balser and
{\'{O}}scar Coltell and
Joyce van Croonenborg and
Christoph Duelli and
Frank van Harmelen and
Albert Jovell and
Peter J. F. Lucas and
Mar Marcos and
Silvia Miksch and
Wolfgang Reif and
Kitty Rosenbrand and
Andreas Seyfang and
Annette ten Teije},
editor = {Katharina Kaiser and
Silvia Miksch and
Samson W. Tu},
title = {Protocure: Supporting the Development of Medical Protocols through
Formal Methods},
booktitle = {Computer-based Support for Clinical Guidelines and Protocols - Proceedings
of the Symposium on Computerized Guidelines and Protocols, {CGP} 2004,
Prague, Czech Republic, 12-14 April, 2004},
series = {Studies in Health Technology and Informatics},
volume = {101},
pages = {103--107},
publisher = {{IOS} Press},
year = {2004},
url = {https://doi.org/10.3233/978-1-60750-944-8-103},
doi = {10.3233/978-1-60750-944-8-103},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgp/BalserCCDHJLMMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/ThumsSOR04,
author = {Andreas Thums and
Gerhard Schellhorn and
Frank Ortmeier and
Wolfgang Reif},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Interactive Verification of Statecharts},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {355--373},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_20},
doi = {10.1007/978-3-540-27863-4\_20},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/ThumsSOR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/OrtmeierRS04,
author = {Frank Ortmeier and
Wolfgang Reif and
Gerhard Schellhorn},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Introduction to Subject Area "Verification"},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {419--422},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_23},
doi = {10.1007/978-3-540-27863-4\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/OrtmeierRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/OrtmeierTSR04,
author = {Frank Ortmeier and
Andreas Thums and
Gerhard Schellhorn and
Wolfgang Reif},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Combining Formal Methods and Safety Analysis - The ForMoSA Approach},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {474--493},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_26},
doi = {10.1007/978-3-540-27863-4\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/OrtmeierTSR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/OrtmeierR04,
author = {Frank Ortmeier and
Wolfgang Reif},
title = {Safety Optimization: {A} Combination of Fault Tree Analysis and Optimization
Techniques},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {651--658},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DSN.2004.1311935},
doi = {10.1109/DSN.2004.1311935},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/OrtmeierR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/HanebergRS04,
author = {Dominik Haneberg and
Wolfgang Reif and
Kurt Stenzel},
editor = {Manuel N{\'{u}}{\~{n}}ez and
Zakaria Maamar and
Fernando L. Pelayo and
Key Pousttchi and
Fernando Rubio},
title = {A Construction Kit for Modeling the Security of M-commerce Applications},
booktitle = {Applying Formal Methods: Testing, Performance and M/ECommerce, {FORTE}
2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2,
2004},
series = {Lecture Notes in Computer Science},
volume = {3236},
pages = {72--85},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30233-9\_6},
doi = {10.1007/978-3-540-30233-9\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/HanebergRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BalserBKRT04,
author = {Michael Balser and
Simon B{\"{a}}umler and
Alexander Knapp and
Wolfgang Reif and
Andreas Thums},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Interactive Verification of {UML} State Machines},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {434--448},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_36},
doi = {10.1007/978-3-540-30482-1\_36},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/BalserBKRT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/ReifOTS04,
author = {Wolfgang Reif and
Frank Ortmeier and
Andreas Thums and
Gerhard Schellhorn},
editor = {Ren{\'{e}} Jacquart},
title = {Integrated formal methods for safety analysis of train systems},
booktitle = {Building the Information Society, {IFIP} 18th World Computer Congress,
Topical Sessions, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {156},
pages = {637--642},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/978-1-4020-8157-6\_62},
doi = {10.1007/978-1-4020-8157-6\_62},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/ReifOTS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmc/HanebergsR04,
author = {Dominik Haneberg and
Kurt Stenzel and
Wolfgang Reif},
editor = {Key Pousttchi and
Klaus Turowski},
title = {Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art
M-Commerce Application},
booktitle = {Mobile Economy - Transaktionen, Prozesse, Anwendungen und Dienste,
Proceedings zum 4. Workshop Mobile Commerce, Universit{\"{a}}t
Augsburg, 2.-3. Februar 2004},
series = {{LNI}},
volume = {{P-42}},
pages = {103--113},
publisher = {{GI}},
year = {2004},
url = {https://dl.gi.de/handle/20.500.12116/29351},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wmc/HanebergsR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dfg/2004,
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100778},
doi = {10.1007/B100778},
isbn = {3-540-23135-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dfg/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BerghammerHRS03,
author = {Rudolf Berghammer and
Dominik Haneberg and
Wolfgang Reif and
Gerhard Schellhorn},
title = {Special Issue on Tools for System Design and Verification},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {2},
pages = {86--87},
year = {2003},
url = {http://www.jucs.org/jucs\_9\_2/tools\_for\_system\_design},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/BerghammerHRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/OrtmeierSTRHT03,
author = {Frank Ortmeier and
Gerhard Schellhorn and
Andreas Thums and
Wolfgang Reif and
Bernhard Hering and
Helmut Trappschuh},
title = {Safety analysis of the height control system for the Elbtunnel},
journal = {Reliab. Eng. Syst. Saf.},
volume = {81},
number = {3},
pages = {259--268},
year = {2003},
url = {https://doi.org/10.1016/S0951-8320(03)00090-5},
doi = {10.1016/S0951-8320(03)00090-5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/OrtmeierSTRHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HanebergKRS03,
author = {Dominik Haneberg and
Alexander Kreibich and
Wolfgang Reif and
Kurt Stenzel},
editor = {Klaus R. Dittrich and
Wolfgang K{\"{o}}nig and
Andreas Oberweis and
Kai Rannenberg and
Wolfgang Wahlster},
title = {Design for Trust: Security im M-Commerce},
booktitle = {33. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Innovative
Informatikanwendungen, {INFORMATIK} 2003, Frankfurt am Main, Germany,
September 29 - October 2, 2003, Band 1},
series = {{LNI}},
volume = {{P-34}},
pages = {91--94},
publisher = {{GI}},
year = {2003},
url = {https://dl.gi.de/handle/20.500.12116/29743},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/HanebergKRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/SchellhornRSKAT02,
author = {Gerhard Schellhorn and
Wolfgang Reif and
Axel Schairer and
Paul A. Karger and
Vernon Austel and
David C. Toll},
title = {Verified Formal Security Models for Multiapplicative Smart Cards},
journal = {J. Comput. Secur.},
volume = {10},
number = {4},
pages = {339--368},
year = {2002},
url = {https://doi.org/10.3233/jcs-2002-10403},
doi = {10.3233/JCS-2002-10403},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/SchellhornRSKAT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BalserDRS02,
author = {Michael Balser and
Christoph Duelli and
Wolfgang Reif and
Gerhard Schellhorn},
title = {Verifying Concurrent Systems with Symbolic Execution},
journal = {J. Log. Comput.},
volume = {12},
number = {4},
pages = {549--560},
year = {2002},
url = {https://doi.org/10.1093/logcom/12.4.549},
doi = {10.1093/LOGCOM/12.4.549},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BalserDRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/HanebergRS02,
author = {Dominik Haneberg and
Wolfgang Reif and
Kurt Stenzel},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {A Method for Secure Smartcard Applications},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {319--333},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_22},
doi = {10.1007/3-540-45719-4\_22},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/HanebergRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/OrtmeierSTRHT02,
author = {Frank Ortmeier and
Gerhard Schellhorn and
Andreas Thums and
Wolfgang Reif and
Bernhard Hering and
Helmut Trappschuh},
editor = {Stuart Anderson and
Sandro Bologna and
Massimo Felici},
title = {Safety Analysis of the Height Control System for the Elbtunnel},
booktitle = {Computer Safety, Reliability and Security, 21st International Conference,
{SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2434},
pages = {296--308},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45732-1\_29},
doi = {10.1007/3-540-45732-1\_29},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/OrtmeierSTRHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ReifS01,
author = {Wolfgang Reif and
Gerhard Schellhorn},
title = {{J.UCS} Special Issue on Tools for System Design and Verification
- Part 1},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {1},
pages = {1--2},
year = {2001},
url = {http://www.jucs.org/jucs\_7\_1/tools\_for\_system\_design},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/ReifS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ReifS01a,
author = {Wolfgang Reif and
Gerhard Schellhorn},
title = {{J.UCS} Special Issue on Tools for System Design and Verification
- Part 2},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {2},
pages = {105--106},
year = {2001},
url = {http://www.jucs.org/jucs\_7\_2/tools\_for\_system\_design},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/ReifS01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ReifSVR01,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Tobias Vollmer and
J{\"{u}}rgen Ruf},
title = {Correctness of Efficient Real-Time Model Checking},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {2},
pages = {194--209},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-02-0194},
doi = {10.3217/JUCS-007-02-0194},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ReifSVR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ReifST01,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Andreas Thums},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {Flaw Detection in Formal Specifications},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {642--657},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_52},
doi = {10.1007/3-540-45744-5\_52},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ReifST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/SchellhornRSKAT00,
author = {Gerhard Schellhorn and
Wolfgang Reif and
Axel Schairer and
Paul A. Karger and
Vernon Austel and
David C. Toll},
editor = {Fr{\'{e}}d{\'{e}}ric Cuppens and
Yves Deswarte and
Dieter Gollmann and
Michael Waidner},
title = {Verification of a Formal Security Model for Multiapplicative Smart
Cards},
booktitle = {Computer Security - {ESORICS} 2000, 6th European Symposium on Research
in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1895},
pages = {17--36},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722599\_2},
doi = {10.1007/10722599\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/SchellhornRSKAT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BalserRSST00,
author = {Michael Balser and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel and
Andreas Thums},
editor = {T. S. E. Maibaum},
title = {Formal System Development with {KIV}},
booktitle = {Fundamental Approaches to Software Engineering, Third Internationsl
Conference, {FASE} 2000, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany,
March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1783},
pages = {363--366},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46428-X\_25},
doi = {10.1007/3-540-46428-X\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/BalserRSST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ReifRSV00,
author = {Wolfgang Reif and
J{\"{u}}rgen Ruf and
Gerhard Schellhorn and
Tobias Vollmer},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {Do You Trust Your Model Checker?},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {179--196},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_12},
doi = {10.1007/3-540-40922-X\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ReifRSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WirsingGKNR00,
author = {Martin Wirsing and
Martin Gogolla and
Hans{-}J{\"{o}}rg Kreowski and
Tobias Nipkow and
Wolfgang Reif},
editor = {Kurt Mehlhorn and
Gregor Snelting},
title = {Workshop {\"{u}}ber Rigorose Entwicklung software-intensiver
Systeme},
booktitle = {Informatik 2000, Neue Horizonte im neuen Jahrhundert 30. Jahrestagung
der Gesellschaft f{\"{u}}r Informatik Berlin, 19.-22. September
2000},
series = {Informatik aktuell},
pages = {465--466},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-642-58322-3\_35},
doi = {10.1007/978-3-642-58322-3\_35},
timestamp = {Thu, 27 Jun 2019 11:28:34 +0200},
biburl = {https://dblp.org/rec/conf/gi/WirsingGKNR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/Reif99,
author = {Wolfgang Reif},
title = {Formale Methoden f{\"{u}}r sicherheitskritische Software - Der
KIV-Ansatz},
journal = {Inform. Forsch. Entwickl.},
volume = {14},
number = {4},
pages = {193--202},
year = {1999},
url = {https://doi.org/10.1007/s004500050137},
doi = {10.1007/S004500050137},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/Reif99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/HahnleMSR99,
author = {Reiner H{\"{a}}hnle and
Wolfram Menzel and
Peter H. Schmitt and
Wolfgang Reif},
title = {{J.UCS} Special Issue on Integration of Deduction Systems},
journal = {J. Univers. Comput. Sci.},
volume = {5},
number = {3},
year = {1999},
url = {http://www.jucs.org/jucs\_5\_3/j\_ucs\_special\_issue},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/HahnleMSR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Reif98,
author = {Wolfgang Reif},
title = {Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik},
journal = {K{\"{u}}nstliche Intell.},
volume = {12},
number = {4},
pages = {42--48},
year = {1998},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Reif98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BalserRSS98,
author = {Michael Balser and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {{KIV} 3.0 for Provably Correct Systems},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {330--337},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_23},
doi = {10.1007/3-540-48257-1\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BalserRSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HutterMRSWBRSS98,
author = {Dieter Hutter and
Heiko Mantel and
Georg Rock and
Werner Stephan and
Andreas Wolpers and
Michael Balser and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Dieter Hutter and
Werner Stephan and
Paolo Traverso and
Markus Ullmann},
title = {{VSE:} Controlling the Complexity in Formal Software Developments},
booktitle = {Applied Formal Methods - FM-Trends 98, International Workshop on Current
Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1641},
pages = {351--358},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-48257-1\_26},
doi = {10.1007/3-540-48257-1\_26},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HutterMRSWBRSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tssdv/BerghammerLR98,
author = {Rudolf Berghammer and
Yassine Lakhnech and
Wolfgang Reif},
editor = {Rudolf Berghammer and
Yassine Lakhnech},
title = {Formal Methods and Tools: Introduction and Overview},
booktitle = {Proceedings of the International Workshop Tool Support for System
Specification, Development and Verification, Malente, Germany, June
1-4, 1998},
series = {Advances in computing science},
pages = {1--17},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-7091-6355-9\_1},
doi = {10.1007/978-3-7091-6355-9\_1},
timestamp = {Mon, 04 May 2020 10:40:23 +0200},
biburl = {https://dblp.org/rec/conf/tssdv/BerghammerLR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/Reif97,
author = {Wolfgang Reif},
title = {Software-Verifikation und ihre Anwendungen},
journal = {Informationstechnik Tech. Inform.},
volume = {39},
number = {3},
pages = {34--40},
year = {1997},
url = {https://doi.org/10.1524/itit.1997.39.3.34},
doi = {10.1524/ITIT.1997.39.3.34},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/Reif97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ReifSS97,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {William McCune},
title = {Proving System Correctness with {KIV} 3.0},
booktitle = {Automated Deduction - CADE-14, 14th International Conference on Automated
Deduction, Townsville, North Queensland, Australia, July 13-17, 1997,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1249},
pages = {69--72},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63104-6\_10},
doi = {10.1007/3-540-63104-6\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ReifSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/ReifSS97,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Michel Bidoit and
Max Dauchet},
title = {Proving System Correctness with {KIV}},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {859--862},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030647},
doi = {10.1007/BFB0030647},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/ReifSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/Reif95,
author = {Wolfgang Reif},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {The KIV-Approach to Software Verification},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {339--370},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015471},
doi = {10.1007/BFB0015471},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/korso/Reif95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/korso/FuchssRSS95,
author = {Thomas Fuch{\ss} and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Manfred Broy and
Stefan J{\"{a}}hnichen},
title = {Three Selected Case Studies in Verification},
booktitle = {{KORSO} - Methods, Languages, and Tools for the Construction of Correct
Software},
series = {Lecture Notes in Computer Science},
volume = {1009},
pages = {371--387},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015472},
doi = {10.1007/BFB0015472},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/korso/FuchssRSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/ReifSS94,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
title = {Tactics in {KIV}},
journal = {J. Inf. Process. Cybern.},
volume = {30},
number = {5/6},
pages = {293--310},
year = {1994},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/ReifSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ReifSS94,
author = {Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Formal Specification and Verification Using {KIV}},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {787},
publisher = {Springer},
year = {1994},
timestamp = {Thu, 25 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftrtft/ReifSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Reif93,
author = {Wolfgang Reif},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {An Approach to Parameterized First-Order Specifications: Semantics,
Correctness, Parameter Passing},
booktitle = {Formal Methods in Programming and Their Applications, International
Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {735},
pages = {67--80},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0039701},
doi = {10.1007/BFB0039701},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Reif93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ReifS93,
author = {Wolfgang Reif and
Kurt Stenzel},
editor = {R. K. Shyamasundar},
title = {Reuse of Proofs in Software Verification},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {284--293},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_61},
doi = {10.1007/3-540-57529-4\_61},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/ReifS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/hussmannLR93,
author = {Heinrich Hu{\ss}mann and
Jacques Loeckx and
Wolfgang Reif},
editor = {Horst Reichel},
title = {{KORSO:} Das Verbundprojekt "Korrekte Software"},
booktitle = {Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden,
Germany, 27. September - 1. Oktober 1993},
series = {Informatik Aktuell},
pages = {266--271},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-78486-6\_42},
doi = {10.1007/978-3-642-78486-6\_42},
timestamp = {Tue, 23 May 2017 01:10:33 +0200},
biburl = {https://dblp.org/rec/conf/gi/hussmannLR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DrexlerRSSSW93,
author = {Rainer Drexler and
Wolfgang Reif and
Gerhard Schellhorn and
Kurt Stenzel and
Werner Stephan and
Andreas Wolpers},
editor = {Patrice Enjalbert and
Alain Finkel and
Klaus W. Wagner},
title = {The {KIV} System: {A} Tool for Formal Program Development},
booktitle = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {665},
pages = {704--705},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56503-5\_69},
doi = {10.1007/3-540-56503-5\_69},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DrexlerRSSSW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vis/UllmannHLKFBRSWCHSC93,
author = {Markus Ullmann and
H. Hauff and
D. Loevenich and
P. Kejwal and
R. F{\"{o}}rster and
P. Baur and
Wolfgang Reif and
Werner Stephan and
Andreas Wolpers and
J{\"{u}}rgen Cleve and
Dieter Hutter and
Claus Sengler and
E. Canver},
editor = {Gerhard Weck and
Patrick Horster},
title = {{VSE} Verification Support Environment: Ein Werkzeug zur Entwicklung
vertrauensw{\"{u}}rdiger und zuverl{\"{a}}ssiger Systeme
in Anlehnung an g{\"{u}}ltige Sicherheitskriterien},
booktitle = {Verl{\"{a}}{\ss}liche Informationssysteme, Proceedings der GI-Fachtagung
VIS'93, 11.-13.05.1993, M{\"{u}}nchen, Germany},
series = {DuD-Fachbeitr{\"{a}}ge},
volume = {16},
pages = {175--190},
publisher = {Vieweg},
year = {1993},
timestamp = {Tue, 15 Nov 2016 13:03:51 +0100},
biburl = {https://dblp.org/rec/conf/vis/UllmannHLKFBRSWCHSC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Reif92,
author = {Wolfgang Reif},
editor = {Deepak Kapur},
title = {The {KIV} System: Systematic Construction of Verified Software},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {753--757},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_218},
doi = {10.1007/3-540-55602-8\_218},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Reif92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Reif92,
author = {Wolfgang Reif},
editor = {R. K. Shyamasundar},
title = {Verification of Large Software Systems},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
12th Conference, New Delhi, India, December 18-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {652},
pages = {241--252},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56287-7\_109},
doi = {10.1007/3-540-56287-7\_109},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Reif92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Reif92,
author = {Wolfgang Reif},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Correctness of Generic Modules},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {406--417},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023893},
doi = {10.1007/BFB0023893},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Reif92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Reif92,
author = {Wolfgang Reif},
title = {Correctness of Full First-Order Specifications},
booktitle = {SEKE'92, The 4th International Conference on Software Engineering
and Knowledge Engineering, June, 15-20 1992, Capri, Italy},
pages = {276--283},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SEKE.1992.227918},
doi = {10.1109/SEKE.1992.227918},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/Reif92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Reif91,
author = {Wolfgang Reif},
title = {Korrektheit von Spezifikationen und generischen Moduln},
school = {Karlsruhe Institute of Technology, Germany},
year = {1991},
url = {https://d-nb.info/931877865},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Reif91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HeiselRS90,
author = {Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {Mark E. Stickel},
title = {Tactical Theorem Proving in Program Verification},
booktitle = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {449},
pages = {117--131},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52885-7\_83},
doi = {10.1007/3-540-52885-7\_83},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HeiselRS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HeiselRS89,
author = {Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Dynamic Logic for Program Verification},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {134--145},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_12},
doi = {10.1007/3-540-51237-3\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/HeiselRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HeiselRS89,
author = {Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {Dieter Metzing},
title = {Machine-Assisted Program Construction and Modification},
booktitle = {GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld,
Germany, 18.-22. September 1989, Proceedings},
series = {Informatik-Fachberichte},
volume = {216},
pages = {338--347},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/978-3-642-75100-4\_39},
doi = {10.1007/978-3-642-75100-4\_39},
timestamp = {Wed, 11 Jul 2018 09:53:03 +0200},
biburl = {https://dblp.org/rec/conf/ki/HeiselRS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/HeiselR88,
author = {Maritta Heisel and
Wolfgang Reif},
title = {Bericht {\"{u}}ber den Workshop "Logik und Wissensrepr{\"{a}}sentation"},
journal = {K{\"{u}}nstliche Intell.},
volume = {2},
number = {3},
pages = {15--17},
year = {1988},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/HeiselR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HeiselRS88,
author = {Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Implementing Verification Strategies in the KIV-System},
booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
USA, May 23-26, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {310},
pages = {131--140},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0012828},
doi = {10.1007/BFB0012828},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HeiselRS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HeiselRS87,
author = {Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {Egon B{\"{o}}rger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {Program Verification Using Dynamic Logic},
booktitle = {{CSL} '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany,
October 12-16, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {329},
pages = {102--117},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-50241-6\_32},
doi = {10.1007/3-540-50241-6\_32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HeiselRS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HeiselRS87,
author = {Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {Katharina Morik},
title = {Program Verification by Symbolic Execution and Induction},
booktitle = {GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke,
Germany, September 28 - October 2, 1987, Proceedings},
series = {Informatik-Fachberichte},
volume = {152},
pages = {201--210},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/978-3-642-73005-4\_22},
doi = {10.1007/978-3-642-73005-4\_22},
timestamp = {Wed, 11 Jul 2018 09:53:42 +0200},
biburl = {https://dblp.org/rec/conf/ki/HeiselRS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HahnleHRS86,
author = {Reiner H{\"{a}}hnle and
Maritta Heisel and
Wolfgang Reif and
Werner Stephan},
editor = {J{\"{o}}rg H. Siekmann},
title = {An Interactive Verification System Based on Dynamic Logic},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {306--315},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_99},
doi = {10.1007/3-540-16780-3\_99},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HahnleHRS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 23:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
