Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Kowalewski
@article{DBLP:journals/at/SchnakenbeckMVKF23,
author = {Aron Schnakenbeck and
Robin Mross and
Marcus V{\"{o}}lker and
Stefan Kowalewski and
Alexander Fay},
title = {Transformation von {GRAFCET} in {GAL} auf Basis eines ausf{\"{u}}hrlichen
Metamodells zur Verifikation von Entwurfsfehlern},
journal = {Autom.},
volume = {71},
number = {1},
pages = {56--68},
year = {2023},
url = {https://doi.org/10.1515/auto-2022-0094},
doi = {10.1515/AUTO-2022-0094},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/at/SchnakenbeckMVKF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/MrossSVFK23,
author = {Robin Mro{\ss} and
Aron Schnakenbeck and
Marcus V{\"{o}}lker and
Alexander Fay and
Stefan Kowalewski},
title = {Unambiguous Interpretation of {IEC} 60848 {GRAFCET} based on a Literature
Review},
booktitle = {28th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15,
2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ETFA54631.2023.10275504},
doi = {10.1109/ETFA54631.2023.10275504},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/MrossSVFK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SchnakenbeckMVKF23,
author = {Aron Schnakenbeck and
Robin Mro{\ss} and
Marcus V{\"{o}}lker and
Stefan Kowalewski and
Alexander Fay},
title = {Structural Analysis of {GRAFCET} Control Specifications},
booktitle = {28th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15,
2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ETFA54631.2023.10275713},
doi = {10.1109/ETFA54631.2023.10275713},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/SchnakenbeckMVKF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/WiartallaBOKBKS23,
author = {Marc Wiartalla and
Frederik Berg and
Florian Ottersbach and
Jan K{\"{u}}hn and
Mateusz Buglowski and
Stefan Kowalewski and
Andr{\'{e}} Stollenwerk},
editor = {Maria Ganzha and
Leszek A. Maciaszek and
Marcin Paprzycki and
Dominik Slezak},
title = {A modular and verifiable software architecture for interconnected
medical systems in intensive care},
booktitle = {Communication Papers of the 18th Conference on Computer Science and
Intelligence Systems, FedCSIS 2023, Warsaw, Poland, September 17-20,
2023},
series = {Annals of Computer Science and Information Systems},
volume = {37},
pages = {345--351},
year = {2023},
url = {https://doi.org/10.15439/2023F6208},
doi = {10.15439/2023F6208},
timestamp = {Wed, 24 Apr 2024 14:55:54 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/WiartallaBOKBKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/TrinhDBBHGCKNLGB23,
author = {Minh Trinh and
Hannah Dammers and
Mohamed Behery and
Ralph Baier and
Thomas Henn and
Daniel Gossen and
Burkhard Corves and
Stefan Kowalewski and
Verena Nitsch and
Gerhard Lakemeyer and
Thomas Gries and
Christian Brecher},
editor = {Fiona Nah and
Keng Siau},
title = {Safety of Human-Robot Collaboration within the Internet of Production},
booktitle = {{HCI} in Business, Government and Organizations - 10th International
Conference, {HCIBGO} 2023, Held as Part of the 25th {HCI} International
Conference, {HCII} 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14039},
pages = {86--103},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36049-7\_7},
doi = {10.1007/978-3-031-36049-7\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/TrinhDBBHGCKNLGB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/MrossSVFK23,
author = {Robin Mro{\ss} and
Aron Schnakenbeck and
Marcus V{\"{o}}lker and
Alexander Fay and
Stefan Kowalewski},
title = {{GRAFCET} Reduction Techniques for Model Checking},
booktitle = {21st {IEEE} International Conference on Industrial Informatics, {INDIN}
2023, Lemgo, Germany, July 18-20, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/INDIN51400.2023.10218247},
doi = {10.1109/INDIN51400.2023.10218247},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indin/MrossSVFK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/SchnakenbeckMVKF23,
author = {Aron Schnakenbeck and
Robin Mro{\ss} and
Marcus V{\"{o}}lker and
Stefan Kowalewski and
Alexander Fay},
title = {A Control Flow based Static Analysis of {GRAFCET} using Abstract Interpretation},
booktitle = {21st {IEEE} International Conference on Industrial Informatics, {INDIN}
2023, Lemgo, Germany, July 18-20, 2023},
pages = {1--7},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/INDIN51400.2023.10218176},
doi = {10.1109/INDIN51400.2023.10218176},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indin/SchnakenbeckMVKF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/SchaferSKA23,
author = {Simon Sch{\"{a}}fer and
Hendrik Steidl and
Stefan Kowalewski and
Bassam Alrifaee},
title = {Investigating a Pressure Sensitive Surface Layer for Vehicle Localization},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2023, Anchorage, AK, USA,
June 4-7, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IV55152.2023.10186582},
doi = {10.1109/IV55152.2023.10186582},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ivs/SchaferSKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-04584,
author = {Aron Schnakenbeck and
Robin Mro{\ss} and
Marcus V{\"{o}}lker and
Stefan Kowalewski and
Alexander Fay},
title = {A Control Flow based Static Analysis of {GRAFCET} using Abstract Interpretation},
journal = {CoRR},
volume = {abs/2306.04584},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.04584},
doi = {10.48550/ARXIV.2306.04584},
eprinttype = {arXiv},
eprint = {2306.04584},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-04584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11556,
author = {Robin Mro{\ss} and
Aron Schnakenbeck and
Marcus V{\"{o}}lker and
Alexander Fay and
Stefan Kowalewski},
title = {Unambiguous Interpretation of {IEC} 60848 {GRAFCET} based on a Literature
Review},
journal = {CoRR},
volume = {abs/2307.11556},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.11556},
doi = {10.48550/ARXIV.2307.11556},
eprinttype = {arXiv},
eprint = {2307.11556},
timestamp = {Wed, 26 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11556.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13703,
author = {Aron Schnakenbeck and
Robin Mro{\ss} and
Marcus V{\"{o}}lker and
Stefan Kowalewski and
Alexander Fay},
title = {Structural Analysis of {GRAFCET} Control Specifications},
journal = {CoRR},
volume = {abs/2307.13703},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13703},
doi = {10.48550/ARXIV.2307.13703},
eprinttype = {arXiv},
eprint = {2307.13703},
timestamp = {Wed, 02 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/MrossSVFK22,
author = {Robin Mross and
Aron Schnakenbeck and
Marcus V{\"{o}}lker and
Alexander Fay and
Stefan Kowalewski},
title = {Transformation of {GRAFCET} Into {GAL} for Verification Purposes Based
on a Detailed Meta-Model},
journal = {{IEEE} Access},
volume = {10},
pages = {125652--125665},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3225736},
doi = {10.1109/ACCESS.2022.3225736},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/MrossSVFK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GrochowskiVK22,
author = {Marco Grochowski and
Marcus V{\"{o}}lker and
Stefan Kowalewski},
title = {Automatic Test Suite Generation for {PLC} Software in the Internet
of Production},
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.9921726},
doi = {10.1109/ETFA52439.2022.9921726},
timestamp = {Wed, 02 Nov 2022 18:01:35 +0100},
biburl = {https://dblp.org/rec/conf/etfa/GrochowskiVK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GrochowskiVK22,
author = {Marco Grochowski and
Marcus V{\"{o}}lker and
Stefan Kowalewski},
editor = {Jan Friso Groote and
Marieke Huisman},
title = {Test Suite Augmentation for Reconfigurable {PLC} Software in the Internet
of Production},
booktitle = {Formal Methods for Industrial Critical Systems - 27th International
Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13487},
pages = {137--154},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15008-1\_10},
doi = {10.1007/978-3-031-15008-1\_10},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/GrochowskiVK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HennVKTPB22,
author = {Thomas Henn and
Marcus V{\"{o}}lker and
Stefan Kowalewski and
Minh Trinh and
Oliver Petrovic and
Christian Brecher},
editor = {Jan Friso Groote and
Marieke Huisman},
title = {Verification of Behavior Trees using Linear Constrained Horn Clauses},
booktitle = {Formal Methods for Industrial Critical Systems - 27th International
Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13487},
pages = {211--225},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15008-1\_14},
doi = {10.1007/978-3-031-15008-1\_14},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HennVKTPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/KloockDKA22,
author = {Maximilian Kloock and
Matthis Dirksen and
Stefan Kowalewski and
Bassam Alrifaee},
title = {Generation of Coupling Topologies for Multi-Agent Systems using Non-Cooperative
Games},
booktitle = {2022 {IEEE} Intelligent Vehicles Symposium, {IV} 2022, Aachen, Germany,
June 4-9, 2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IV51971.2022.9827431},
doi = {10.1109/IV51971.2022.9827431},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ivs/KloockDKA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/KampmannLKA22,
author = {Alexandru Kampmann and
Maximilian L{\"{u}}er and
Stefan Kowalewski and
Bassam Alrifaee},
title = {Optimization-based Resource Allocation for an Automotive Service-oriented
Software Architecture},
booktitle = {2022 {IEEE} Intelligent Vehicles Symposium, {IV} 2022, Aachen, Germany,
June 4-9, 2022},
pages = {678--687},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IV51971.2022.9827429},
doi = {10.1109/IV51971.2022.9827429},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ivs/KampmannLKA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/KampmannLPKA22,
author = {Alexandru Kampmann and
Michael Lamberti and
Nikola Petrovic and
Stefan Kowalewski and
Bassam Alrifaee},
title = {Investigating Outdoor Recognition Performance of Infrared Beacons
for Infrastructure-based Localization},
booktitle = {2022 {IEEE} Intelligent Vehicles Symposium, {IV} 2022, Aachen, Germany,
June 4-9, 2022},
pages = {1107--1113},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IV51971.2022.9827288},
doi = {10.1109/IV51971.2022.9827288},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ivs/KampmannLPKA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:tr/ac/50,
editor = {Helen Bolke{-}Hermanns and
Joost{-}Pieter Katoen and
Klaus Indermark and
Stefan Kowalewski and
Thomas Noll and
Wolfgang Thomas},
title = {50 Jahre Studiengang Informatik an der {RWTH}},
publisher = {{RWTH} Aachen, Fachgruppe Informatik in der Fakult{\"{a}}t f{\"{u}}r
Mathematik, Informatik und Naturwissenschaften, Germany},
year = {2022},
url = {https://www.informatik.rwth-aachen.de/cms/informatik/Fachgruppe/Profil/\%7Ewjosq/50-Jahre-Informatik/},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/tr/ac/50.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/KloockSMKMKA21,
author = {Maximilian Kloock and
Patrick Scheffe and
Janis Maczijewski and
Alexandru Kampmann and
Armin Mokhtarian and
Stefan Kowalewski and
Bassam Alrifaee},
title = {Cyber-Physical Mobility Lab: An Open-Source Platform for Networked
and Autonomous Vehicles},
booktitle = {2021 European Control Conference, {ECC} 2021, Virtual Event / Delft,
The Netherlands, June 29 - July 2, 2021},
pages = {1937--1944},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ECC54610.2021.9654986},
doi = {10.23919/ECC54610.2021.9654986},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eucc/KloockSMKMKA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/KloockHKA21,
author = {Maximilian Kloock and
Qingyun He and
Stefan Kowalewski and
Bassam Alrifaee},
title = {Trajectory Verification for Networked and Autonomous Vehicles using
Temporal Logic and Model Checking},
booktitle = {24th {IEEE} International Intelligent Transportation Systems Conference,
{ITSC} 2021, Indianapolis, IN, USA, September 19-22, 2021},
pages = {244--250},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ITSC48978.2021.9564414},
doi = {10.1109/ITSC48978.2021.9564414},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/KloockHKA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-09335,
author = {Alexandru Kampmann and
Michael Lamberti and
Nikola Petrovic and
Stefan Kowalewski and
Bassam Alrifaee},
title = {Infrared Beacons for Robust Localization},
journal = {CoRR},
volume = {abs/2104.09335},
year = {2021},
url = {https://arxiv.org/abs/2104.09335},
eprinttype = {arXiv},
eprint = {2104.09335},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-09335.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/GrochowskiSBKLM20,
author = {Marco Grochowski and
Hendrik Simon and
Dimitri Bohlender and
Stefan Kowalewski and
Andreas L{\"{o}}cklin and
Timo M{\"{u}}ller and
Nasser Jazdi and
Andreas Zeller and
Michael Weyrich},
title = {Formale Methoden f{\"{u}}r rekonfigurierbare cyber-physische
Systeme in der Produktion},
journal = {Autom.},
volume = {68},
number = {1},
pages = {3--14},
year = {2020},
url = {https://doi.org/10.1515/auto-2019-0115},
doi = {10.1515/AUTO-2019-0115},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/GrochowskiSBKLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/BohlenderK20,
author = {Dimitri Bohlender and
Stefan Kowalewski},
title = {Leveraging Horn clause solving for compositional verification of {PLC}
software},
journal = {Discret. Event Dyn. Syst.},
volume = {30},
number = {1},
pages = {1--24},
year = {2020},
url = {https://doi.org/10.1007/s10626-019-00296-8},
doi = {10.1007/S10626-019-00296-8},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/BohlenderK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MokhtarianKAKLE20,
author = {Armin Mokhtarian and
Alexandru Kampmann and
Bassam Alrifaee and
Stefan Kowalewski and
Bastian Lampe and
Lutz Eckstein},
editor = {Sebastian Steinhorst and
Jyotirmoy V. Deshmukh},
title = {Agile Requirement Engineering for a Cloud System for Automated and
Networked Vehicles},
booktitle = {2nd International Workshop on Autonomous Systems Design, {ASD} 2020,
March 13, 2020, Grenoble, France (Virtual Conference)},
series = {OASIcs},
volume = {79},
pages = {4:1--4:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.ASD.2020.4},
doi = {10.4230/OASICS.ASD.2020.4},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/date/MokhtarianKAKLE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-05755,
author = {Maximilian Kloock and
Patrick Scheffe and
Isabelle T{\"{u}}lleners and
Janis Maczijewski and
Bassam Alrifaee and
Stefan Kowalewski},
title = {Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles},
journal = {CoRR},
volume = {abs/2002.05755},
year = {2020},
url = {https://arxiv.org/abs/2002.05755},
eprinttype = {arXiv},
eprint = {2002.05755},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-05755.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-08364,
author = {Patrick Scheffe and
Janis Maczijewski and
Maximilian Kloock and
Alexandru Kampmann and
Andreas Derks and
Stefan Kowalewski and
Bassam Alrifaee},
title = {Networked and Autonomous Model-scale Vehicles for Experiments in Research
and Education},
journal = {CoRR},
volume = {abs/2004.08364},
year = {2020},
url = {https://arxiv.org/abs/2004.08364},
eprinttype = {arXiv},
eprint = {2004.08364},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-08364.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-10063,
author = {Maximilian Kloock and
Janis Maczijewski and
Patrick Scheffe and
Alexandru Kampmann and
Armin Mokhtarian and
Stefan Kowalewski and
Bassam Alrifaee},
title = {Cyber-Physical Mobility Lab An Open-Source Platform for Networked
and Autonomous Vehicles},
journal = {CoRR},
volume = {abs/2004.10063},
year = {2020},
url = {https://arxiv.org/abs/2004.10063},
eprinttype = {arXiv},
eprint = {2004.10063},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-10063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ThonnessenSFCK19,
author = {David Th{\"{o}}nnessen and
Nick Smallbone and
Martin Fabian and
Koen Claessen and
Stefan Kowalewski},
title = {Testing Safety PLCs Using QuickCheck},
booktitle = {15th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2019, Vancouver, BC, Canada, August 22-26, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COASE.2019.8843227},
doi = {10.1109/COASE.2019.8843227},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/ThonnessenSFCK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/SmieschekRTDSK19,
author = {Manfred Smieschek and
Stefan Rakel and
David Th{\"{o}}nnessen and
Andreas Derks and
Andr{\'{e}} Stollenwerk and
Stefan Kowalewski},
editor = {Roger D. Chamberlain and
Martin Edin Grimheden and
Walid Taha},
title = {A Remote Test Environment for a Large-Scale Microcontroller Laboratory
Course},
booktitle = {Cyber Physical Systems. Model-Based Design - 9th International Workshop,
CyPhy 2019, and 15th International Workshop, {WESE} 2019, New York
City, NY, USA, October 17-18, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11971},
pages = {231--246},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41131-2\_11},
doi = {10.1007/978-3-030-41131-2\_11},
timestamp = {Mon, 14 Dec 2020 08:24:12 +0100},
biburl = {https://dblp.org/rec/conf/cyphy/SmieschekRTDSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/SmieschekKSKOS19,
author = {Manfred Smieschek and
Gregor Kobsik and
Andr{\'{e}} Stollenwerk and
Stefan Kowalewski and
Thorsten Orlikowsky and
Mark Schoberer},
title = {Aided Hand Detection in Thermal Imaging Using {RGB} Stereo Vision},
booktitle = {41st Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2019, Berlin, Germany, July 23-27,
2019},
pages = {6314--6317},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EMBC.2019.8856990},
doi = {10.1109/EMBC.2019.8856990},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/SmieschekKSKOS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GrochowskiKBB19,
author = {Marco Grochowski and
Stefan Kowalewski and
Melanie Buchsbaum and
Christian Brecher},
title = {Applying Runtime Monitoring to the Industrial Internet of Things},
booktitle = {24th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2019, Zaragoza, Spain, September 10-13,
2019},
pages = {348--355},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ETFA.2019.8869447},
doi = {10.1109/ETFA.2019.8869447},
timestamp = {Thu, 24 Oct 2019 15:50:20 +0200},
biburl = {https://dblp.org/rec/conf/etfa/GrochowskiKBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/KampmannWAK19,
author = {Alexandru Kampmann and
Andreas W{\"{u}}stenberg and
Bassam Alrifaee and
Stefan Kowalewski},
title = {A Portable Implementation of the Real-Time Publish-Subscribe Protocol
for Microcontrollers in Distributed Robotic Applications},
booktitle = {2019 {IEEE} Intelligent Transportation Systems Conference, {ITSC}
2019, Auckland, New Zealand, October 27-30, 2019},
pages = {443--448},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ITSC.2019.8916835},
doi = {10.1109/ITSC.2019.8916835},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/KampmannWAK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/KloockSBMAK19,
author = {Maximilian Kloock and
Patrick Scheffe and
Lukas Botz and
Janis Maczijewski and
Bassam Alrifaee and
Stefan Kowalewski},
title = {Networked Model Predictive Vehicle Race Control},
booktitle = {2019 {IEEE} Intelligent Transportation Systems Conference, {ITSC}
2019, Auckland, New Zealand, October 27-30, 2019},
pages = {1552--1557},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ITSC.2019.8917222},
doi = {10.1109/ITSC.2019.8917222},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/KloockSBMAK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/KloockSMMAK19,
author = {Maximilian Kloock and
Patrick Scheffe and
Sascha Marquardt and
Janis Maczijewski and
Bassam Alrifaee and
Stefan Kowalewski},
title = {Distributed Model Predictive Intersection Control of Multiple Vehicles},
booktitle = {2019 {IEEE} Intelligent Transportation Systems Conference, {ITSC}
2019, Auckland, New Zealand, October 27-30, 2019},
pages = {1735--1740},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ITSC.2019.8917117},
doi = {10.1109/ITSC.2019.8917117},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/KloockSMMAK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/KampmannAKWWNEK19,
author = {Alexandru Kampmann and
Bassam Alrifaee and
Markus Kohout and
Andreas W{\"{u}}stenberg and
Timo Woopen and
Marcus Nolte and
Lutz Eckstein and
Stefan Kowalewski},
title = {A Dynamic Service-Oriented Software Architecture for Highly Automated
Vehicles},
booktitle = {2019 {IEEE} Intelligent Transportation Systems Conference, {ITSC}
2019, Auckland, New Zealand, October 27-30, 2019},
pages = {2101--2108},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ITSC.2019.8916841},
doi = {10.1109/ITSC.2019.8916841},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/KampmannAKWWNEK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/KloockKMAK19,
author = {Maximilian Kloock and
Ludwig Kragl and
Janis Maczijewski and
Bassam Alrifaee and
Stefan Kowalewski},
title = {Distributed Model Predictive Pose Control of Multiple Nonholonomic
Vehicles},
booktitle = {2019 {IEEE} Intelligent Vehicles Symposium, {IV} 2019, Paris, France,
June 9-12, 2019},
pages = {1620--1625},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IVS.2019.8813980},
doi = {10.1109/IVS.2019.8813980},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ivs/KloockKMAK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/VolkerK19,
author = {Marcus V{\"{o}}lker and
Stefan Kowalewski},
editor = {Bor{-}Yuh Evan Chang},
title = {A Change-Based Heuristic for Static Analysis with Policy Iteration},
booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11822},
pages = {73--95},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32304-2\_5},
doi = {10.1007/978-3-030-32304-2\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/VolkerK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DernehlKK18,
author = {Christian Dernehl and
Jan K{\"{u}}hn and
Stefan Kowalewski},
title = {Case studies on automated verification with slope boundaries for block
diagrams},
journal = {Comput. Lang. Syst. Struct.},
volume = {54},
pages = {528--543},
year = {2018},
url = {https://doi.org/10.1016/j.cl.2017.09.001},
doi = {10.1016/J.CL.2017.09.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/DernehlKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/SmieschekHSKP18,
author = {Manfred Smieschek and
Timo Hinrichs and
Andr{\'{e}} Stollenwerk and
Stefan Kowalewski and
Rudiger Preub},
title = {A New Condition Indicator for Slow-Rotating Roller Chains based on
the Angle and Torque of the Driving Motor},
booktitle = {14th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2018, Munich, Germany, August 20-24, 2018},
pages = {642--644},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/COASE.2018.8560542},
doi = {10.1109/COASE.2018.8560542},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/SmieschekHSKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ThonnessenRRSK18,
author = {David Th{\"{o}}nnessen and
Niklas Reinker and
Stefan Rakel and
Andrei Svetlakov and
Stefan Kowalewski},
title = {Correctness Properties and Exemplified Applicability of a Signal Matching
Algorithm with Multidimensional Tolerance Specifications},
booktitle = {14th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2018, Munich, Germany, August 20-24, 2018},
pages = {1197--1202},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/COASE.2018.8560407},
doi = {10.1109/COASE.2018.8560407},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/ThonnessenRRSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnl/ChomiczMWBK18,
author = {Paul Chomicz and
Armin M{\"{u}}ller{-}Lerwe and
G{\"{o}}tz{-}Philipp Wegner and
Rainer Busch and
Stefan Kowalewski},
editor = {Brian Davis and
C. Maria Keet and
Adam Wyner},
title = {Controlled Natural Languages for Hazard Analysis and Risk Assessment},
booktitle = {Controlled Natural Language - Proceedings of the Sixth International
Workshop, {CNL} 2018, Maynooth, Co. Kildare, Ireland, August 27-28,
2018},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {304},
pages = {41--51},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-904-1-41},
doi = {10.3233/978-1-61499-904-1-41},
timestamp = {Fri, 03 Feb 2023 21:39:19 +0100},
biburl = {https://dblp.org/rec/conf/cnl/ChomiczMWBK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BohlenderK18,
author = {Dimitri Bohlender and
Stefan Kowalewski},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Design and Verification of Restart-Robust Industrial Control Software},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {47--68},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_4},
doi = {10.1007/978-3-319-98938-9\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/BohlenderK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/SimonK18,
author = {Hendrik Simon and
Stefan Kowalewski},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Mode-Aware Concolic Testing for {PLC} Software - Special Session "Formal
Methods for the Design and Analysis of Automated Production Systems"},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {367--376},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_21},
doi = {10.1007/978-3-319-98938-9\_21},
timestamp = {Wed, 22 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/SimonK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BohlenderHK18,
author = {Dimitri Bohlender and
Daniel Hamm and
Stefan Kowalewski},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Cycle-bounded model checking of {PLC} software via dynamic large-block
encoding},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1891--1898},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167334},
doi = {10.1145/3167132.3167334},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/BohlenderHK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/agit/DzaficWSFK17,
author = {Dzenan Dzafic and
Nicolas Wagener and
Peter Schoonbrood and
Dominik Franke and
Stefan Kowalewski},
title = {Multimodales dynamisches Routen mit eNav},
journal = {{AGIT} Journal Angew. Geoinformatik},
volume = {3},
pages = {278--287},
year = {2017},
url = {https://doi.org/10.14627/537633030},
doi = {10.14627/537633030},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/agit/DzaficWSFK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bspc/BrendleHKWJKRSK17,
author = {Christian Brendle and
K.{-}F. Hackmack and
Jan K{\"{u}}hn and
Nabil Wardeh and
Thorsten Janisch and
R{\"{u}}diger Kopp and
Rolf Rossaint and
Andr{\'{e}} Stollenwerk and
Stefan Kowalewski and
Berno J. E. Misgeld and
Steffen Leonhardt and
Marian Walter},
title = {Continuous gas transfer monitoring during extracorporeal membrane
oxygenation},
journal = {Biomed. Signal Process. Control.},
volume = {31},
pages = {321--330},
year = {2017},
url = {https://doi.org/10.1016/j.bspc.2016.08.023},
doi = {10.1016/J.BSPC.2016.08.023},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bspc/BrendleHKWJKRSK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KalkovGK17,
author = {Igor Kalkov and
Alexandru Gurghian and
Stefan Kowalewski},
title = {Explicit prioritization of parallel Intent broadcasts in real-time
Android},
journal = {Concurr. Comput. Pract. Exp.},
volume = {29},
number = {22},
year = {2017},
url = {https://doi.org/10.1002/cpe.4122},
doi = {10.1002/CPE.4122},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/KalkovGK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automotiveSS/ChomiczMWBK17,
author = {Paul Chomicz and
Armin M{\"{u}}ller{-}Lerwe and
G{\"{o}}tz{-}Philipp Wegner and
Rainer Busch and
Stefan Kowalewski},
editor = {Peter Dencker and
Herbert Klenk and
Hubert B. Keller and
Erhard Pl{\"{o}}dereder},
title = {Towards the Use of Controlled Natural Languages in Hazard Analysis
and Risk Assessment},
booktitle = {Automotive - Safety {\&} Security 2017 - Sicherheit und Zuverl{\"{a}}ssigkeit
f{\"{u}}r automobile Informationstechnik, Stuttgart, Germany,
Mai 30-31, 2017},
series = {{LNI}},
volume = {{P-269}},
pages = {163},
publisher = {Gesellschaft f{\"{u}}r Informatik, Bonn},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/143},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/automotiveSS/ChomiczMWBK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bildmed/SmieschekSKOS17,
author = {Manfred Smieschek and
Andr{\'{e}} Stollenwerk and
Stefan Kowalewski and
Thorsten Orlikowsky and
Mark Schoberer},
editor = {Klaus Hermann Maier{-}Hein and
Thomas Martin Deserno and
Heinz Handels and
Thomas Tolxdorff},
title = {Unterst{\"{u}}tzte Handerkennung in Thermographiebildern zur
Validierung der hygienischen H{\"{a}}ndedesinfektion},
booktitle = {Bildverarbeitung f{\"{u}}r die Medizin 2017 - Algorithmen - Systeme
- Anwendungen. Proceedings des Workshops vom 12. bis 14. M{\"{a}}rz
2017 in Heidelberg},
series = {Informatik Aktuell},
pages = {147--152},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54345-0\_35},
doi = {10.1007/978-3-662-54345-0\_35},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bildmed/SmieschekSKOS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bsn/StollenwerkSMKJ17,
author = {Andr{\'{e}} Stollenwerk and
Florian Sehl and
Gernot Marx and
Stefan Kowalewski and
Thorsten Janisch},
title = {Enrichment of a diving computer with body sensor network data},
booktitle = {14th {IEEE} International Conference on Wearable and Implantable Body
Sensor Networks, {BSN} 2017, Eindhoven, The Netherlands, May 9-12,
2017},
pages = {169--172},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/BSN.2017.7936034},
doi = {10.1109/BSN.2017.7936034},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/bsn/StollenwerkSMKJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GobeAK17,
author = {Florian G{\"{o}}be and
Selin Aydin and
Stefan Kowalewski},
title = {Applicability of supervisory control theory for the supervision of
{PLC} programs},
booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ETFA.2017.8247575},
doi = {10.1109/ETFA.2017.8247575},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/GobeAK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ObsterK17,
author = {Mathias Obster and
Stefan Kowalewski},
title = {A live static code analysis architecture for {PLC} software},
booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ETFA.2017.8247707},
doi = {10.1109/ETFA.2017.8247707},
timestamp = {Tue, 16 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/ObsterK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ThonnessenRRK17,
author = {David Th{\"{o}}nnessen and
Niklas Reinker and
Stefan Rakel and
Stefan Kowalewski},
title = {A concept for {PLC} hardware-in-the-loop testing using an extension
of structured text},
booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ETFA.2017.8247580},
doi = {10.1109/ETFA.2017.8247580},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ThonnessenRRK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/UlewiczVSBOK17,
author = {Sebastian Ulewicz and
Birgit Vogel{-}Heuser and
Hendrik Simon and
Dimitri Bohlender and
Mathias Obster and
Stefan Kowalewski},
title = {A priori test coverage estimation for automated production systems:
Using generated behavior models for coverage calculation},
booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ETFA.2017.8247704},
doi = {10.1109/ETFA.2017.8247704},
timestamp = {Tue, 16 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/UlewiczVSBOK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HansenWKKRB17,
author = {Norman Hansen and
Norbert Wiechowski and
Alexander Kugler and
Stefan Kowalewski and
Thomas Rambow and
Rainer Busch},
editor = {Maximilian Eibl and
Martin Gaedke},
title = {Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop
Automotive Software with Arttest},
booktitle = {47. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Digitale
Kulturen, {INFORMATIK} 2017, Chemnitz, Germany, September 25-29, 2017},
series = {{LNI}},
volume = {{P-275}},
pages = {1537--1549},
publisher = {{GI}},
year = {2017},
url = {https://doi.org/10.18420/in2017\_154},
doi = {10.18420/IN2017\_154},
timestamp = {Wed, 13 Jan 2021 11:37:14 +0100},
biburl = {https://dblp.org/rec/conf/gi/HansenWKKRB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SchuppAMK17,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Ibtissem Ben Makhlouf and
Stefan Kowalewski},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {HyPro: {A} {C++} Library of State Set Representations for Hybrid Systems
Reachability Analysis},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {288--294},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_20},
doi = {10.1007/978-3-319-57288-8\_20},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/SchuppAMK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/agit/DzaficLSFK16,
author = {Dzenan Dzafic and
Florian Lahr and
Pierre Schoonbrood and
Dominik Franke and
Stefan Kowalewski},
title = {Das Barrierenerkennungssystem von eNav},
journal = {{AGIT} Journal Angew. Geoinformatik},
volume = {2},
pages = {298--307},
year = {2016},
url = {https://doi.org/10.14627/537622044},
doi = {10.14627/537622044},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/agit/DzaficLSFK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/agit/DzaficKSFK16,
author = {Dzenan Dzafic and
Daniel Klein{-}Ridder and
Pierre Schoonbrood and
Dominik Franke and
Stefan Kowalewski},
title = {Der Bodenbelag-Detektor des eNav-Systems},
journal = {{AGIT} Journal Angew. Geoinformatik},
volume = {2},
pages = {318--327},
year = {2016},
url = {https://doi.org/10.14627/537622046},
doi = {10.14627/537622046},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/agit/DzaficKSFK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/MakhloufHK16,
author = {Ibtissem Ben Makhlouf and
Norman Hansen and
Stefan Kowalewski},
editor = {Goran Frehse and
Matthias Althoff},
title = {HyReach: {A} Reachability Tool for Linear Hybrid Systems Based on
Support Functions},
booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
for Continuous and Hybrid Systems, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {43},
pages = {68--79},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/7ncn},
doi = {10.29007/7NCN},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/MakhloufHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GobeNK16,
author = {Florian G{\"{o}}be and
Oliver Ney and
Stefan Kowalewski},
title = {Reusability and modularity of safety specifications for supervisory
control},
booktitle = {21st {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ETFA.2016.7733498},
doi = {10.1109/ETFA.2016.7733498},
timestamp = {Tue, 17 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/GobeNK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SimonK16,
author = {Hendrik Simon and
Stefan Kowalewski},
title = {Static analysis of Sequential Function Charts using abstract interpretation},
booktitle = {21st {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
pages = {1--4},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ETFA.2016.7733648},
doi = {10.1109/ETFA.2016.7733648},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/SimonK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/DernehlHK16,
author = {Christian Dernehl and
Norman Hansen and
Stefan Kowalewski},
editor = {Maurice H. ter Beek and
Stefania Gnesi and
Alexander Knapp},
title = {Abstract Interpretation of {MATLAB} Code with Interval Sets},
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 = {25--38},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_2},
doi = {10.1007/978-3-319-45943-1\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/DernehlHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BohlenderSK16,
author = {Dimitri Bohlender and
Hendrik Simon and
Stefan Kowalewski},
editor = {Ralf Wimmer},
title = {Symbolic Verification of {PLC} Safety-Applications based on PLCopen
Automata},
booktitle = {19th {GI/ITG/GMM} Workshop Methoden und Beschreibungssprachen zur
Modellierung und Verifikation von Schaltungen und Systemen, {MBMV}
2016, Freiburg im Breisgau, Germany, March 1-2, 2016},
pages = {33--45},
publisher = {Albert-Ludwigs-Universit{\"{a}}t Freiburg},
year = {2016},
url = {https://doi.org/10.6094/UNIFR/10636},
doi = {10.6094/UNIFR/10636},
timestamp = {Fri, 26 Jun 2020 16:58:03 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BohlenderSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DernehlKK16,
author = {Christian Dernehl and
Jan K{\"{u}}hn and
Stefan Kowalewski},
editor = {Michalis Famelis and
Daniel Ratiu and
Gehan M. K. Selim},
title = {Abstract Interpretation for Block Diagrams - Two Case Studies},
booktitle = {Proceedings of the 13th Workshop on Model-Driven Engineering, Verification
and Validation co-located with {ACM/IEEE} 19th International Conference
on Model Driven Engineering Languages and Systems {(MODELS} 2016),
Saint-Malo, France, October 3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1713},
pages = {20--29},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1713/MoDeVVa\_2016\_paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/DernehlKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SmieschekSJKOS16,
author = {Manfred Smieschek and
Andr{\'{e}} Stollenwerk and
Patrick J{\"{u}}ptner and
Stefan Kowalewski and
Thorsten Orlikowsky and
Mark Schoberer},
editor = {Wolf Zimmermann and
Lukas Alperowitz and
Bernd Br{\"{u}}gge and
J{\"{o}}rn Fahsel and
Andrea Herrmann and
Anne Hoffmann and
Andreas Krall and
Dieter Landes and
Horst Lichter and
Dirk Riehle and
Ina Schaefer and
Constantin Scheuermann and
Alexander Schlaefer and
Sibylle Schupp and
Andreas Seitz and
Andreas Steffens and
Andr{\'{e}} Stollenwerk and
R{\"{u}}diger Wei{\ss}bach},
title = {Evaluating Hand Disinfection with Alcohol-Based Hand Sanitizers Using
Thermal Imaging},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {174--181},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper23.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/SmieschekSJKOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KuhnSBJWRLKK16,
author = {Jan K{\"{u}}hn and
Andr{\'{e}} Stollenwerk and
Christian Brendle and
Thorsten Janisch and
Marian Walter and
Rolf Rossaint and
Steffen Leonhardt and
Stefan Kowalewski and
R{\"{u}}diger Kopp},
editor = {Wolf Zimmermann and
Lukas Alperowitz and
Bernd Br{\"{u}}gge and
J{\"{o}}rn Fahsel and
Andrea Herrmann and
Anne Hoffmann and
Andreas Krall and
Dieter Landes and
Horst Lichter and
Dirk Riehle and
Ina Schaefer and
Constantin Scheuermann and
Alexander Schlaefer and
Sibylle Schupp and
Andreas Seitz and
Andreas Steffens and
Andr{\'{e}} Stollenwerk and
R{\"{u}}diger Wei{\ss}bach},
title = {Sensor Supervision and Control Value Limitations in Networked Intensive
Care},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {187--194},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper25.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/KuhnSBJWRLKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DernehlHK16,
author = {Christian Dernehl and
Norman Hansen and
Stefan Kowalewski},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Combining Abstract Interpretation with Symbolic Execution for a Static
Value Range Analysis of Block Diagrams},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {137--152},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_10},
doi = {10.1007/978-3-319-41591-8\_10},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/DernehlHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/GerlitzK16,
author = {Thomas Gerlitz and
Stefan Kowalewski},
title = {Flow Sensitive Slicing for MATLAB/Simulink Models},
booktitle = {13th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
2016, Venice, Italy, April 5-8, 2016},
pages = {81--90},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WICSA.2016.23},
doi = {10.1109/WICSA.2016.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/GerlitzK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/GerlitzK16a,
author = {Thomas Gerlitz and
Stefan Kowalewski},
title = {Architectural Analysis of MATLAB/Simulink Models with Artshop},
booktitle = {13th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
2016, Venice, Italy, April 5-8, 2016},
pages = {307--310},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WICSA.2016.54},
doi = {10.1109/WICSA.2016.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/GerlitzK16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/GobeTNK16,
author = {Florian G{\"{o}}be and
Thomas Timmermanns and
Oliver Ney and
Stefan Kowalewski},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Synthesis Tool for Automation Controller Supervision},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {424--431},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497883},
doi = {10.1109/WODES.2016.7497883},
timestamp = {Fri, 29 Apr 2022 15:37:30 +0200},
biburl = {https://dblp.org/rec/conf/wodes/GobeTNK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BohlenderSFKH16,
author = {Dimitri Bohlender and
Hendrik Simon and
Nico Friedrich and
Stefan Kowalewski and
Stefan Hauck{-}Stattelmann},
editor = {Christos G. Cassandras and
Alessandro Giua and
Zhiwu Li},
title = {Concolic test generation for {PLC} programs using coverage metrics},
booktitle = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
Xi'an, China, May 30 - June 1, 2016},
pages = {432--437},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WODES.2016.7497884},
doi = {10.1109/WODES.2016.7497884},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BohlenderSFKH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/agit/DzaficKFK15,
author = {Dzenan Dzafic and
Stefan Klug and
Dominik Franke and
Stefan Kowalewski},
title = {Routing {\"{u}}ber Fl{\"{a}}chen mit SpiderWebGraph},
journal = {{AGIT} Journal Angew. Geoinformatik},
volume = {1},
pages = {516--525},
year = {2015},
url = {https://doi.org/10.14627/537557071},
doi = {10.14627/537557071},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/agit/DzaficKFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/KowalewskiRR15,
author = {Stefan Kowalewski and
Jan Oliver Ringert and
Bernhard Rumpe},
title = {Editorial for the Software Engineering 2013 Conference},
journal = {Comput. Sci. Res. Dev.},
volume = {30},
number = {3-4},
pages = {229--230},
year = {2015},
url = {https://doi.org/10.1007/s00450-014-0274-8},
doi = {10.1007/S00450-014-0274-8},
timestamp = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ife/KowalewskiRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MakhloufGK15,
author = {Ibtissem Ben Makhlouf and
Jonathan Gan and
Stefan Kowalewski},
editor = {Magnus Egerstedt and
Yorai Wardi},
title = {A Study on Solving Guard and Invariant Set Intersection in Zonotope-based
Reachability of Linear Hybrid Systems},
booktitle = {5th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2015, Atlanta, GA, USA, October 14-16, 2015},
series = {IFAC-PapersOnLine},
volume = {48},
number = {27},
pages = {13--20},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.ifacol.2015.11.146},
doi = {10.1016/J.IFACOL.2015.11.146},
timestamp = {Tue, 09 Oct 2018 14:05:06 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MakhloufGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/SchuppA0MFSK15,
author = {Stefan Schupp and
Erika {\'{A}}brah{\'{a}}m and
Xin Chen and
Ibtissem Ben Makhlouf and
Goran Frehse and
Sriram Sankaranarayanan and
Stefan Kowalewski},
editor = {Christian Berger and
Mohammad Reza Mousavi},
title = {Current Challenges in the Verification of Hybrid Systems},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International
Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9361},
pages = {8--24},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25141-7\_2},
doi = {10.1007/978-3-319-25141-7\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cyphy/SchuppA0MFSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SimonFBHSK15,
author = {Hendrik Simon and
Nico Friedrich and
Sebastian Biallas and
Stefan Hauck{-}Stattelmann and
Bastian Schlich and
Stefan Kowalewski},
title = {Automatic test case generation for {PLC} programs using coverage metrics},
booktitle = {20th {IEEE} Conference on Emerging Technologies {\&} Factory Automation,
{ETFA} 2015, Luxembourg, September 8-11, 2015},
pages = {1--4},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ETFA.2015.7301602},
doi = {10.1109/ETFA.2015.7301602},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/SimonFBHSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Hauck-Stattelmann15,
author = {Stefan Hauck{-}Stattelmann and
Sebastian Biallas and
Bastian Schlich and
Stefan Kowalewski and
Raoul Jetley},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Analyzing the Restart Behavior of Industrial Control Applications},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {585--588},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_38},
doi = {10.1007/978-3-319-19249-9\_38},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/Hauck-Stattelmann15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/DernehlHGK15,
author = {Christian Dernehl and
Norman Hansen and
Thomas Gerlitz and
Stefan Kowalewski},
editor = {Douglas W. Cunningham and
Petra Hofstedt and
Klaus Meer and
Ingo Schmitt},
title = {Static Value Range Analysis for Matlab/Simulink-Models},
booktitle = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
28 - October 2, 2015},
series = {{LNI}},
volume = {{P-246}},
pages = {1649--1660},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/2150},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/DernehlHGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KalkovGK15,
author = {Igor Kalkov and
Alexandru Gurghian and
Stefan Kowalewski},
editor = {Lukasz Ziarek},
title = {Priority Inheritance during Remote Procedure Calls in Real-Time Android
using Extended Binder Framework},
booktitle = {Proceedings of the 13th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2015, Paris, France, October
7-8, 2015},
pages = {5:1--5:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2822304.2822311},
doi = {10.1145/2822304.2822311},
timestamp = {Tue, 06 Nov 2018 11:06:43 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KalkovGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/0002SMAFK15,
author = {Xin Chen and
Stefan Schupp and
Ibtissem Ben Makhlouf and
Erika {\'{A}}brah{\'{a}}m and
Goran Frehse and
Stefan Kowalewski},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {A Benchmark Suite for Hybrid Systems Reachability Analysis},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {408--414},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_29},
doi = {10.1007/978-3-319-17524-9\_29},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/0002SMAFK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/StollenwerkKWBW15,
author = {Andr{\'{e}} Stollenwerk and
Jan K{\"{u}}hn and
Marian Walter and
Christian Brendle and
Nabil Wardeh and
Rolf Rossaint and
Steffen Leonhardt and
Stefan Kowalewski and
R{\"{u}}diger Kopp},
editor = {Wolf Zimmermann and
Wolfgang B{\"{o}}hm and
Clemens Grelck and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Alexander Schlaefer and
Eric Schmieders and
Sibylle Schupp and
Baltasar Tranc{\'{o}}n y Widemann and
Thorsten Weyer},
title = {Software-based Prediction of Cannula Occlusion During Extracorporeal
Blood Circulation Through Networked Medical Data},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1337},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1337/preface.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/StollenwerkKWBW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KuhnSSBWWRLKK15,
author = {Jan K{\"{u}}hn and
Pierre Schoonbrood and
Andr{\'{e}} Stollenwerk and
Christian Brendle and
Nabil Wardeh and
Marian Walter and
Rolf Rossaint and
Steffen Leonhardt and
Stefan Kowalewski and
R{\"{u}}diger Kopp},
editor = {Wolf Zimmermann and
Wolfgang B{\"{o}}hm and
Clemens Grelck and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Alexander Schlaefer and
Eric Schmieders and
Sibylle Schupp and
Baltasar Tranc{\'{o}}n y Widemann and
Thorsten Weyer},
title = {Safety Conflict Analysis in Medical Cyber-Physical Systems Using an
SMT-Solver},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1337},
pages = {19--23},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1337/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/KuhnSSBWWRLKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ReinbacherBHSK14,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Martin Horauer and
Andreas Steininger and
Stefan Kowalewski},
title = {Runtime verification of microcontroller binary code},
journal = {Sci. Comput. Program.},
volume = {80},
pages = {109--129},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2012.10.015},
doi = {10.1016/J.SCICO.2012.10.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ReinbacherBHSK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/MakhloufK14,
author = {Ibtissem Ben Makhlouf and
Stefan Kowalewski},
editor = {Goran Frehse and
Matthias Althoff},
title = {Networked Cooperative Platoon of Vehicles for Testing Methods and
Verification Tools},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {37--42},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/zvkb},
doi = {10.29007/ZVKB},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/MakhloufK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/MakhloufK14a,
author = {Ibtissem Ben Makhlouf and
Stefan Kowalewski},
editor = {Goran Frehse and
Matthias Althoff},
title = {Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {169--179},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/kxk7},
doi = {10.29007/KXK7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/MakhloufK14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ObsterKK14,
author = {Mathias Obster and
Igor Kalkov and
Stefan Kowalewski},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Development and execution of {PLC} programs on real-time capable mobile
devices},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005218},
doi = {10.1109/ETFA.2014.7005218},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ObsterKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/StattelmannBSK14,
author = {Stefan Stattelmann and
Sebastian Biallas and
Bastian Schlich and
Stefan Kowalewski},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Applying static code analysis on industrial controller code},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--4},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005254},
doi = {10.1109/ETFA.2014.7005254},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/StattelmannBSK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KalkovGK14,
author = {Igor Kalkov and
Alexandru Gurghian and
Stefan Kowalewski},
editor = {Wolfgang Puffitsch},
title = {Predictable Broadcasting of Parallel Intents in Real-Time Android},
booktitle = {Proceedings of the 12th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2014, Niagara Falls, NY,
USA, October 13-14, 2014},
pages = {57},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661020.2661023},
doi = {10.1145/2661020.2661023},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KalkovGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BiallasKSS14,
author = {Sebastian Biallas and
Stefan Kowalewski and
Stefan Stattelmann and
Bastian Schlich},
editor = {Jean{-}Jacques Lesage and
Jean{-}Marc Faure and
Jos{\'{e}} E. R. Cury and
Bengt Lennartson},
title = {Efficient Handling of States in Abstract Interpretation of Industrial
Programmable Logic Controller Code},
booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014,
Cachan, France, May 14-16, 2014},
pages = {400--405},
publisher = {International Federation of Automatic Control},
year = {2014},
url = {https://doi.org/10.3182/20140514-3-FR-4046.00065},
doi = {10.3182/20140514-3-FR-4046.00065},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BiallasKSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KowalewskiRS14,
author = {Stefan Kowalewski and
Bernhard Rumpe and
Andr{\'{e}} Stollenwerk},
title = {Cyber-Physical Systems - eine Herausforderung an die Automatisierungstechnik?},
journal = {CoRR},
volume = {abs/1409.0385},
year = {2014},
url = {http://arxiv.org/abs/1409.0385},
eprinttype = {arXiv},
eprint = {1409.0385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KowalewskiRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/Vogel-HeuserK13,
author = {Birgit Vogel{-}Heuser and
Stefan Kowalewski},
title = {Cyber-physische Systeme},
journal = {Autom.},
volume = {61},
number = {10},
pages = {667--668},
year = {2013},
url = {https://doi.org/10.1515/auto.2013.9010},
doi = {10.1515/AUTO.2013.9010},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/Vogel-HeuserK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlpuenteJKR13,
author = {Mar{\'{\i}}a Alpuente and
Christophe Joubert and
Stefan Kowalewski and
Marco Roveri},
title = {Preface to the special section on Formal Methods for Industrial Critical
Systems {(FMICS} 2009 + {FMICS} 2010)},
journal = {Sci. Comput. Program.},
volume = {78},
number = {7},
pages = {775--777},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.05.005},
doi = {10.1016/J.SCICO.2012.05.005},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AlpuenteJKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BrauerKK13,
author = {J{\"{o}}rg Brauer and
Andy King and
Stefan Kowalewski},
title = {Abstract interpretation of microcontroller code: Intervals meet congruences},
journal = {Sci. Comput. Program.},
volume = {78},
number = {7},
pages = {862--883},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.06.001},
doi = {10.1016/J.SCICO.2012.06.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BrauerKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KowalewskiPB13,
author = {Stefan Kowalewski and
Anna Philippou and
J{\"{o}}rg Brauer},
title = {Model checking and abstract interpretation as building blocks of advanced
program analysis techniques - Selected papers from {TACAS} 2009},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {4},
pages = {287--289},
year = {2013},
url = {https://doi.org/10.1007/s10009-013-0280-3},
doi = {10.1007/S10009-013-0280-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KowalewskiPB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/MakhloufHK13,
author = {Ibtissem Ben Makhlouf and
Paul H{\"{a}}nsch and
Stefan Kowalewski},
title = {Comparison of reachability methods for uncertain linear time-invariant
systems},
booktitle = {12th European Control Conference, {ECC} 2013, Zurich, Switzerland,
July 17-19, 2013},
pages = {1101--1106},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.23919/ECC.2013.6669675},
doi = {10.23919/ECC.2013.6669675},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/eucc/MakhloufHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BiallasGK13,
author = {Sebastian Biallas and
Mirco Giacobbe and
Stefan Kowalewski},
editor = {Charles Pecheur and
Michael Dierkes},
title = {Predicate Abstraction for Programmable Logic Controllers},
booktitle = {Formal Methods for Industrial Critical Systems - 18th International
Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8187},
pages = {123--138},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41010-9\_9},
doi = {10.1007/978-3-642-41010-9\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmics/BiallasGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WiechowskiGMK13,
author = {Norbert Wiechowski and
Thomas Gerlitz and
Daniel Merschen and
Stefan Kowalewski},
editor = {Matthias Horbach},
title = {Ein Ansatz zum merkmalbasierten Konsistenzmanagement in der Produklinienentwicklung},
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 = {2502--2516},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/20674},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/WiechowskiGMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FrankeHK13,
author = {Dominik Franke and
Stefan Hempel and
Stefan Kowalewski},
title = {Specifying Life Cycle Requirements in a Natural-like Language and
ptLTL},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {120--121},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.72},
doi = {10.1109/ICSTW.2013.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FrankeHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/GerlitzKSFK13,
author = {Thomas Gerlitz and
Igor Kalkov and
John F. Schommer and
Dominik Franke and
Stefan Kowalewski},
editor = {Fridtjof Siebert and
Kelvin Nilsen},
title = {Non-blocking garbage collection for real-time Android},
booktitle = {The 11th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '13, Karlsruhe, Germany, October 9-11,
2013},
pages = {108--117},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2512989.2512999},
doi = {10.1145/2512989.2512999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/GerlitzKSFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/med/MakhloufDK13,
author = {Ibtissem Ben Makhlouf and
Hilal Diab and
Stefan Kowalewski},
title = {Reachability analysis for managing platoons at intersections},
booktitle = {21st Mediterranean Conference on Control and Automation, Platanias,
Chania, Crete, Greece, June 25-28, 2013},
pages = {1141--1147},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/MED.2013.6608864},
doi = {10.1109/MED.2013.6608864},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/med/MakhloufDK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicase/ArmoushFKK13,
author = {Ashraf Armoush and
Dominik Franke and
Igor Kalkov and
Stefan Kowalewski},
editor = {G{\'{e}}rard Memmi and
Ulf Blanke},
title = {An Approach for Using Mobile Devices in Industrial Safety-Critical
Embedded Systems},
booktitle = {Mobile Computing, Applications, and Services - 5th International Conference,
MobiCASE 2013, Paris, France, November 7-8, 2013, Revised Selected
Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {130},
pages = {294--297},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05452-0\_27},
doi = {10.1007/978-3-319-05452-0\_27},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobicase/ArmoushFKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2013,
editor = {Stefan Kowalewski and
Bernhard Rumpe},
title = {Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik,
26. Februar - 2. M{\"{a}}rz 2013 in Aachen},
series = {{LNI}},
volume = {{P-213}},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/19970},
isbn = {978-3-88579-607-7},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/PolzerMBPTHK12,
author = {Andreas Polzer and
Daniel Merschen and
Goetz Botterweck and
Andreas Pleuss and
Jacques Thomas and
Bernd Hedenetz and
Stefan Kowalewski},
title = {Managing complexity and variability of a model-based embedded software
product line},
journal = {Innov. Syst. Softw. Eng.},
volume = {8},
number = {1},
pages = {35--49},
year = {2012},
url = {https://doi.org/10.1007/s11334-011-0174-z},
doi = {10.1007/S11334-011-0174-Z},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/PolzerMBPTHK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PleussBDPK12,
author = {Andreas Pleuss and
Goetz Botterweck and
Deepak Dhungana and
Andreas Polzer and
Stefan Kowalewski},
title = {Model-driven support for product line evolution on feature level},
journal = {J. Syst. Softw.},
volume = {85},
number = {10},
pages = {2261--2274},
year = {2012},
url = {https://doi.org/10.1016/j.jss.2011.08.008},
doi = {10.1016/J.JSS.2011.08.008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/PleussBDPK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MakhloufDK12,
author = {Ibtissem Ben Makhlouf and
Hilal Diab and
Stefan Kowalewski},
editor = {Maurice Heemels and
Bart De Schutter},
title = {Safety Verification of a Controlled Cooperative Platoon Under Loss
of Communication Using Zonotopes},
booktitle = {4th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2012, Eindhoven, The Netherlands, June 6-8, 2012},
series = {{IFAC} Proceedings Volumes},
volume = {45},
number = {9},
pages = {333--338},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.3182/20120606-3-NL-3011.00057},
doi = {10.3182/20120606-3-NL-3011.00057},
timestamp = {Wed, 10 Oct 2018 10:28:12 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MakhloufDK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SchommerFLK12,
author = {John F. Schommer and
Dominik Franke and
Tim Lange and
Stefan Kowalewski},
editor = {Xiaoying Bai and
Fevzi Belli and
Elisa Bertino and
Carl K. Chang and
Atilla El{\c{c}}i and
Cristina Cerschi Seceleanu and
Haihua Xie and
Mohammad Zulkernine},
title = {Load Balancing for Cross Layer Communication},
booktitle = {36th Annual {IEEE} Computer Software and Applications Conference Workshops,
{COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
pages = {476--481},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/COMPSACW.2012.90},
doi = {10.1109/COMPSACW.2012.90},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SchommerFLK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MerschenPK12,
author = {Daniel Merschen and
Julian Pott and
Stefan Kowalewski},
editor = {Xiaoying Bai and
Fevzi Belli and
Elisa Bertino and
Carl K. Chang and
Atilla El{\c{c}}i and
Cristina Cerschi Seceleanu and
Haihua Xie and
Mohammad Zulkernine},
title = {Integration and Analysis of Design Artefacts in Embedded Software
Development},
booktitle = {36th Annual {IEEE} Computer Software and Applications Conference Workshops,
{COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
pages = {503--508},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/COMPSACW.2012.94},
doi = {10.1109/COMPSACW.2012.94},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/MerschenPK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/FrankeEK12,
author = {Dominik Franke and
Corinna Elsemann and
Stefan Kowalewski},
editor = {Abdelkader Hameurlain and
A Min Tjoa and
Roland R. Wagner},
title = {Reverse Engineering and Testing Service Life Cycles of Mobile Platforms},
booktitle = {23rd International Workshop on Database and Expert Systems Applications,
{DEXA} 2012, Vienna, Austria, September 3-7, 2012},
pages = {16--20},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DEXA.2012.40},
doi = {10.1109/DEXA.2012.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/FrankeEK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FrankeKWP12,
author = {Dominik Franke and
Stefan Kowalewski and
Carsten Weise and
Nath Prakobkosol},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Testing Conformance of Life Cycle Dependent Properties of Mobile Applications},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {241--250},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.104},
doi = {10.1109/ICST.2012.104},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/FrankeKWP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icumt/BarakatK12,
author = {Kamal Barakat and
Stefan Kowalewski},
title = {Modeling and verification of network protocol specs using timed pi-calculus},
booktitle = {4th International Congress on Ultra Modern Telecommunications and
Control Systems, {ICUMT} 2012, St. Petersburg, Russia, October 3-5,
2012},
pages = {884--891},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICUMT.2012.6459786},
doi = {10.1109/ICUMT.2012.6459786},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icumt/BarakatK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/DiabMK12,
author = {Hilal Diab and
Ibtissem Ben Makhlouf and
Stefan Kowalewski},
title = {A platoon of vehicles approaching an intersection: {A} testing platform
for safe intersections},
booktitle = {15th International {IEEE} Conference on Intelligent Transportation
Systems, {ITSC} 2012, Anchorage, AK, USA, September 16-19, 2012},
pages = {1918--1923},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ITSC.2012.6338822},
doi = {10.1109/ITSC.2012.6338822},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/DiabMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/KalkovFSK12,
author = {Igor Kalkov and
Dominik Franke and
John F. Schommer and
Stefan Kowalewski},
editor = {Martin Schoeberl and
Andy J. Wellings},
title = {A real-time extension to the Android platform},
booktitle = {The 10th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '12, Copenhagen, Denmark, October 24-26,
2012},
pages = {105--114},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2388936.2388955},
doi = {10.1145/2388936.2388955},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/KalkovFSK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BiallasBK12,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
editor = {Michael Goedicke and
Tim Menzies and
Motoshi Saeki},
title = {Arcade.PLC: a verification platform for programmable logic controllers},
booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
ASE'12, Essen, Germany, September 3-7, 2012},
pages = {338--341},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2351676.2351741},
doi = {10.1145/2351676.2351741},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BiallasBK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/MerschenGPK12,
author = {Daniel Merschen and
Robert Gleis and
Julian Pott and
Stefan Kowalewski},
editor = {Ricardo Jorge Machado and
Rita Suzana Pitangueira Maciel and
Julia Rubin and
Goetz Botterweck},
title = {Analysis of Simulink Models Using Databases and Model Transformations},
booktitle = {Model-Based Methodologies for Pervasive and Embedded Software, 8th
International Workshop, {MOMPES} 2012, Essen, Germany, September 4,
2012. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7706},
pages = {69--84},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38209-3\_5},
doi = {10.1007/978-3-642-38209-3\_5},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/mompes/MerschenGPK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/FrankeKW12,
author = {Dominik Franke and
Stefan Kowalewski and
Carsten Weise},
editor = {Antony Tang and
Henry Muccini},
title = {A Mobile Software Quality Model},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
China, August 27-29, 2012},
pages = {154--157},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/QSIC.2012.49},
doi = {10.1109/QSIC.2012.49},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/qsic/FrankeKW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/ReuterDKHJ12,
author = {Sebastian Reuter and
Hilal Diab and
Stefan Kowalewski and
Eckart Hauck and
Sabina Jeschke},
title = {Design and implementation of a vehicle dynamics control system by
means of torque vectoring for an autonomous vehicle},
booktitle = {2012 {IEEE} International Conference on Robotics and Biomimetics,
{ROBIO} 2012, Guangzhou, China, December 11-14, 2012},
pages = {1691--1696},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ROBIO.2012.6491211},
doi = {10.1109/ROBIO.2012.6491211},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/robio/ReuterDKHJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/HanschK12,
author = {Paul H{\"{a}}nsch and
Stefan Kowalewski},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Invariants for {LTI} Systems with Uncertain Input},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {137--148},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_12},
doi = {10.1007/978-3-642-33512-9\_12},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/HanschK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BiallasBKK12,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Andy King and
Stefan Kowalewski},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Loop Leaping with Closures},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {214--230},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_16},
doi = {10.1007/978-3-642-33125-1\_16},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BiallasBKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/MerschenDRHK12,
author = {Daniel Merschen and
Yves Duhr and
Thomas Ringler and
Bernd Hedenetz and
Stefan Kowalewski},
editor = {Stefan J{\"{a}}hnichen and
Axel K{\"{u}}pper and
Sahin Albayrak},
title = {Model-Based Analysis of Design Artefacts Applying an Annotation Concept},
booktitle = {Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik,
27. Februar - 2. M{\"{a}}rz 2012 in Berlin},
series = {{LNI}},
volume = {{P-198}},
pages = {169--180},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/18353},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/MerschenDRHK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FrankeK12,
author = {Dominik Franke and
Stefan Kowalewski},
editor = {Antonio Cerone and
Donatella Persico and
Sara Fernandes and
Alexeis Garcia{-}Perez and
Panagiotis Katsaros and
Siraj Ahmed Shaikh and
Ioannis Stamelos},
title = {Concept and Experiences on Using a Wiki-Based System for Software-Related
Seminar Papers},
booktitle = {Information Technology and Open Source: Applications for Education,
Innovation, and Sustainability - {SEFM} 2012 Satellite Events, InSuEdu,
MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7991},
pages = {140--146},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-54338-8\_11},
doi = {10.1007/978-3-642-54338-8\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/FrankeK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/BarakatKN12,
author = {Kamal Barakat and
Stefan Kowalewski and
Thomas Noll},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {A Native Approach to Modeling Timed Behavior in the Pi-Calculus},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {253--256},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.27},
doi = {10.1109/TASE.2012.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/BarakatKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/BiallasKS12,
author = {Sebastian Biallas and
Stefan Kowalewski and
Bastian Schlich},
editor = {Antonio Ram{\'{\i}}rez{-}Trevi{\~{n}}o and
Ernesto L{\'{o}}pez{-}Mellado and
Jean{-}Jacques Lesage and
Manuel Silva Su{\'{a}}rez},
title = {Range and value-set analysis for programmable logic controllers},
booktitle = {11th International Workshop on Discrete Event Systems, {WODES} 2012,
Guadalajara, Mexico, October 3-5, 2012},
pages = {378--383},
publisher = {International Federation of Automatic Control},
year = {2012},
url = {https://doi.org/10.3182/20121003-3-MX-4033.00060},
doi = {10.3182/20121003-3-MX-4033.00060},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wodes/BiallasKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1211-6192,
author = {Eva Beckschulze and
Sebastian Biallas and
Stefan Kowalewski},
editor = {Franck Cassez and
Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Static Analysis of Lockless Microcontroller {C} Programs},
booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV}
2012, Sydney, Australia, 28-30 November 2012},
series = {{EPTCS}},
volume = {102},
pages = {103--114},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.102.10},
doi = {10.4204/EPTCS.102.10},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-6192.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BeckschulzeKB12,
author = {Eva Beckschulze and
Stefan Kowalewski and
J{\"{o}}rg Brauer},
editor = {Jan Midtgaard and
Matthew Might},
title = {Access-Based Localization for Octagons},
booktitle = {Proceedings of the Fourth International Workshop on Numerical and
Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
10, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {287},
pages = {29--40},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.09.004},
doi = {10.1016/J.ENTCS.2012.09.004},
timestamp = {Fri, 25 Nov 2022 14:31:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BeckschulzeKB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/MaschuwDAK11,
author = {Jan P. Maschuw and
Hilal Diab and
Dirk Abel and
Stefan Kowalewski},
title = {Control Design for Generalized Platoon Problems},
journal = {Autom.},
volume = {59},
number = {12},
pages = {721--729},
year = {2011},
url = {https://doi.org/10.1524/auto.2011.0965},
doi = {10.1524/AUTO.2011.0965},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/MaschuwDAK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SchlichBK11,
author = {Bastian Schlich and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
title = {Application of static analyses for state-space reduction to the microcontroller
binary code},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {100--118},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.03.006},
doi = {10.1016/J.SCICO.2010.03.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SchlichBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ReinbacherBHSK11,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Martin Horauer and
Andreas Steininger and
Stefan Kowalewski},
editor = {Gwen Sala{\"{u}}n and
Bernhard Sch{\"{a}}tz},
title = {Past Time {LTL} Runtime Verification for Microcontroller Binary Code},
booktitle = {Formal Methods for Industrial Critical Systems - 16th International
Workshop, {FMICS} 2011, Trento, Italy, August 29-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6959},
pages = {37--51},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24431-5\_5},
doi = {10.1007/978-3-642-24431-5\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ReinbacherBHSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/ReinbacherGKH11,
author = {Thomas Reinbacher and
Dominique G{\"{u}}ckel and
Stefan Kowalewski and
Martin Horauer},
editor = {Hans{-}Ulrich Hei{\ss} and
Peter Pepper and
Holger Schlingloff and
J{\"{o}}rg Schneider},
title = {Testing Microcontroller Software Simulators},
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 = {333},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/18678},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/ReinbacherGKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SasnauskasDKWWK11,
author = {Raimondas Sasnauskas and
Oscar Soria Dustmann and
Benjamin Lucien Kaminski and
Klaus Wehrle and
Carsten Weise and
Stefan Kowalewski},
title = {Scalable Symbolic Execution of Distributed Systems},
booktitle = {2011 International Conference on Distributed Computing Systems, {ICDCS}
2011, Minneapolis, Minnesota, USA, June 20-24, 2011},
pages = {333--342},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICDCS.2011.28},
doi = {10.1109/ICDCS.2011.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/SasnauskasDKWWK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icira/HanschSK11,
author = {Paul H{\"{a}}nsch and
John F. Schommer and
Stefan Kowalewski},
editor = {Sabina Jeschke and
Honghai Liu and
Daniel Schilberg},
title = {Self-balancing Controllable Robots in Education: {A} Practical Course
for Bachelor Students},
booktitle = {Intelligent Robotics and Applications - 4th International Conference,
{ICIRA} 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {7102},
pages = {297--306},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25489-5\_29},
doi = {10.1007/978-3-642-25489-5\_29},
timestamp = {Thu, 04 Mar 2021 17:06:03 +0100},
biburl = {https://dblp.org/rec/conf/icira/HanschSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MitschingWFKB11,
author = {Ralf Mitsching and
Carsten Weise and
Frank Fiedler and
Stefan Kowalewski and
Henrik C. Bohnenkamp},
title = {TripleT: Improving Test Responsiveness for High Performance Embedded
Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
Proceedings},
pages = {67--74},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSTW.2011.86},
doi = {10.1109/ICSTW.2011.86},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/MitschingWFKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PalczynskiWKU11,
author = {Jacob Palczynski and
Carsten Weise and
Stefan Kowalewski and
Daniel Ulmer},
title = {Estimation of Clock Drift in HiL Testing by Property-Based Conformance
Check},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
Proceedings},
pages = {590--595},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSTW.2011.101},
doi = {10.1109/ICSTW.2011.101},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PalczynskiWKU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BeckschulzeBSK11,
author = {Eva Beckschulze and
J{\"{o}}rg Brauer and
Andr{\'{e}} Stollenwerk and
Stefan Kowalewski},
title = {Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid
Memory Representations},
booktitle = {14th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2011,
Newport Beach, CA, USA, March 28-31, 2011},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ISORCW.2011.40},
doi = {10.1109/ISORCW.2011.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/BeckschulzeBSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/PalczynskiWMK11,
author = {Jacob Palczynski and
Carsten Weise and
Sebastian Moj and
Stefan Kowalewski},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Comparing Continous Behavior in Model-based Development of Embedded
Software},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {61--70},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2011},
timestamp = {Thu, 12 Mar 2020 11:39:36 +0100},
biburl = {https://dblp.org/rec/conf/mbees/PalczynskiWMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ReinbacherBSSK11,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Daniel Schachinger and
Andreas Steininger and
Stefan Kowalewski},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Automated Test-Trace Inspection for Microcontroller Binary Code},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {239--244},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_18},
doi = {10.1007/978-3-642-29860-8\_18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ReinbacherBSSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/MitschingWFGK11,
author = {Ralf Mitsching and
Carsten Weise and
Dominik Franke and
Thomas Gerlitz and
Stefan Kowalewski},
title = {Coping with Complexity of Testing Models for Real-Time Embedded Systems},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea - Companion Volume},
pages = {128--135},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI-C.2011.27},
doi = {10.1109/SSIRI-C.2011.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/MitschingWFGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/BrauerHKLO11,
author = {J{\"{o}}rg Brauer and
Ren{\'{e}} Rydhof Hansen and
Stefan Kowalewski and
Kim G. Larsen and
Mads Chr. Olesen},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Adaptable Value-Set Analysis for Low-Level Code},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {32--43},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.32},
doi = {10.4230/OASICS.SSV.2011.32},
timestamp = {Tue, 15 Feb 2022 09:40:04 +0100},
biburl = {https://dblp.org/rec/conf/ssv/BrauerHKLO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/GuckelK11,
author = {Dominique G{\"{u}}ckel and
Stefan Kowalewski},
editor = {J{\"{o}}rg Brauer and
Marco Roveri and
Hendrik Tews},
title = {Automatic Derivation of Abstract Semantics From Instruction Set Descriptions},
booktitle = {6th International Workshop on Systems Software Verification, {SSV}
2011, August 26, 2011, Nijmegen, The Netherlands},
series = {OASIcs},
volume = {24},
pages = {71--83},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/OASIcs.SSV.2011.71},
doi = {10.4230/OASICS.SSV.2011.71},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssv/GuckelK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/MerschenPBK11,
author = {Daniel Merschen and
Andreas Polzer and
Goetz Botterweck and
Stefan Kowalewski},
editor = {Patrick Heymans and
Krzysztof Czarnecki and
Ulrich W. Eisenecker},
title = {Experiences of applying model-based analysis to support the development
of automotive software product lines},
booktitle = {Fifth International Workshop on Variability Modelling of Software-Intensive
Systems, Namur, Belgium, January 27-29, 2011. Proceedings},
series = {{ACM} International Conference Proceedings Series},
pages = {141--150},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1944892.1944910},
doi = {10.1145/1944892.1944910},
timestamp = {Fri, 30 Dec 2022 23:08:55 +0100},
biburl = {https://dblp.org/rec/conf/vamos/MerschenPBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/FrankeEKW11,
author = {Dominik Franke and
Corinna Elsemann and
Stefan Kowalewski and
Carsten Weise},
editor = {Martin Pinzger and
Denys Poshyvanyk and
Jim Buckley},
title = {Reverse Engineering of Mobile Application Lifecycles},
booktitle = {18th Working Conference on Reverse Engineering, {WCRE} 2011, Limerick,
Ireland, October 17-20, 2011},
pages = {283--292},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WCRE.2011.42},
doi = {10.1109/WCRE.2011.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/FrankeEKW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HanschDMK13,
author = {Paul H{\"{a}}nsch and
Hilal Diab and
Ibtissem Ben Makhlouf and
Stefan Kowalewski},
editor = {Martin Fr{\"{a}}nzle and
Antonios Tsourdos},
title = {Reachability Analysis of Linear Systems with Stepwise Constant Inputs},
booktitle = {Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated
to {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {297},
pages = {61--74},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2013.12.005},
doi = {10.1016/J.ENTCS.2013.12.005},
timestamp = {Tue, 22 Nov 2022 14:18:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HanschDMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/GrunewaldMDMKA10,
author = {Mart{\'{\i}}n Guillermo and
Ch{\'{a}}vez Grunewald and
Ibtissem Ben Makhlouf and
Hilal Diab and
Vicente A. Mut and
Stefan Kowalewski and
Dirk Abel},
title = {Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge
mit Hilfe energiebasierter Methoden (Control and Safety Analysis of
a Group of Point Mass Vehicles Using Energy Methods)},
journal = {Autom.},
volume = {58},
number = {4},
pages = {227--235},
year = {2010},
url = {https://doi.org/10.1524/auto.2010.0829},
doi = {10.1524/AUTO.2010.0829},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/GrunewaldMDMKA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/MitschingWGK10,
author = {Ralf Mitsching and
Carsten Weise and
Thomas Gatterdam and
Stefan Kowalewski},
title = {Low Effort Evaluation of Real-Time and Reliability Requirements for
Embedded Systems},
booktitle = {10th {IEEE} International Conference on Computer and Information Technology,
{CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010},
pages = {2433--2440},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CIT.2010.418},
doi = {10.1109/CIT.2010.418},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/MitschingWGK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MichailidisSRHK10,
author = {Alexander Michailidis and
Uwe Spieth and
Thomas Ringler and
Bernd Hedenetz and
Stefan Kowalewski},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Test front loading in early stages of automotive software development
based on {AUTOSAR}},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {435--440},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457166},
doi = {10.1109/DATE.2010.5457166},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/MichailidisSRHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/GuckelSBK10,
author = {Dominique G{\"{u}}ckel and
Bastian Schlich and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
editor = {Elena Gramatov{\'{a}} and
Zdenek Kot{\'{a}}sek and
Andreas Steininger and
Heinrich Theodor Vierhaus and
Horst Zimmermann},
title = {Synthesizing simulators for model checking microcontroller binary
code},
booktitle = {13th {IEEE} International Symposium on Design and Diagnostics of Electronic
Circuits and Systems, {DDECS} 2010, Vienna, Austria, April 14-16,
2010},
pages = {313--316},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DDECS.2010.5491761},
doi = {10.1109/DDECS.2010.5491761},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/GuckelSBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/StollenwerkDKS10,
author = {Andr{\'{e}} Stollenwerk and
Andreas Derks and
Stefan Kowalewski and
Falk Salewski},
editor = {Peter Marwedel and
David Jeff Jackson and
Kenneth G. Ricks},
title = {A modular, robust and open source microcontroller platform for broad
educational usage},
booktitle = {Proceedings of the 2010 Workshop on Embedded Systems Education, {WESE}
2010, Scottsdale, AZ, USA, October 28, 2010},
pages = {8},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1930277.1930285},
doi = {10.1145/1930277.1930285},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esweek/StollenwerkDKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BrauerKK10,
author = {J{\"{o}}rg Brauer and
Andy King and
Stefan Kowalewski},
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Range Analysis of Microcontroller Code Using Bit-Level Congruences},
booktitle = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {82--98},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8\_6},
doi = {10.1007/978-3-642-15898-8\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BrauerKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/BiallasBKS10,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Stefan Kowalewski and
Bastian Schlich},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Automatically Deriving Symbolic Invariants for {PLC} Programs Written
in {IL}},
booktitle = {{FORMS/FORMAT} 2010 - Formal Methods for Automation and Safety in
Railway and Automotive Systems [8th Symposium on Formal Methods for
Automation and Safety in Railway and Automotive Systems, Braunschweig,
Germany, December 2-3, 2010},
pages = {237--245},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_24},
doi = {10.1007/978-3-642-14261-1\_24},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forms/BiallasBKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BotterweckPDPK10,
author = {Goetz Botterweck and
Andreas Pleuss and
Deepak Dhungana and
Andreas Polzer and
Stefan Kowalewski},
editor = {Julia Rubin and
Goetz Botterweck and
Mira Mezini and
Itay Maman and
Andreas Pleuss},
title = {EvoFM: feature-driven planning of product-line evolution},
booktitle = {Proceedings of the 2010 {ICSE} Workshop on Product Line Approaches
in Software Engineering, {PLEASE} 2010, Cape Town, South Africa, May
2, 2010},
pages = {24--31},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808937.1808941},
doi = {10.1145/1808937.1808941},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BotterweckPDPK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/SasnauskasLAWKW10,
author = {Raimondas Sasnauskas and
Olaf Landsiedel and
Muhammad Hamad Alizai and
Carsten Weise and
Stefan Kowalewski and
Klaus Wehrle},
editor = {Tarek F. Abdelzaher and
Thiemo Voigt and
Adam Wolisz},
title = {KleeNet: discovering insidious interaction bugs in wireless sensor
networks before deployment},
booktitle = {Proceedings of the 9th International Conference on Information Processing
in Sensor Networks, {IPSN} 2010, April 12-16, 2010, Stockholm, Sweden},
pages = {186--196},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1791212.1791235},
doi = {10.1145/1791212.1791235},
timestamp = {Tue, 06 Nov 2018 16:59:08 +0100},
biburl = {https://dblp.org/rec/conf/ipsn/SasnauskasLAWKW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/DiabGMAK10,
author = {Hilal Diab and
Mart{\'{\i}}n G. Ch{\'{a}}vez Grunewald and
Ibtissem Ben Makhlouf and
Dirk Abel and
Stefan Kowalewski},
title = {A testing platform for cooperative vehicle platoon controllers},
booktitle = {13th International {IEEE} Conference on Intelligent Transportation
Systems, Funchal, Madeira, Portugal, 19-22 September 2010},
pages = {1718--1723},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ITSC.2010.5625258},
doi = {10.1109/ITSC.2010.5625258},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/DiabGMAK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/BotterweckPK10,
author = {Goetz Botterweck and
Andreas Polzer and
Stefan Kowalewski},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Variability and Evolution in Model-based Engineering of Embedded Systems},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VI, Schloss Dagstuhl, Germany, 2010, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {87--96},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2010},
url = {http://www.tu-braunschweig.de/Medien-DB/sse/mbees2010\_tagungsband.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/BotterweckPK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memics/ReinbacherBHSK10,
author = {Thomas Reinbacher and
J{\"{o}}rg Brauer and
Martin Horauer and
Andreas Steininger and
Stefan Kowalewski},
editor = {Ludek Matyska and
Michal Kozubek and
Tom{\'{a}}s Vojnar and
Pavel Zemc{\'{\i}}k and
David Antos},
title = {Test-Case Generation for Embedded Binary Code Using Abstract Interpretation},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in
Computer Science, {MEMICS} 2010, Selected Papers, October 22-24, 2010,
Mikulov, Czech Republic},
series = {OASIcs},
volume = {16},
pages = {101--108},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
year = {2010},
url = {https://doi.org/10.4230/OASIcs.MEMICS.2010.101},
doi = {10.4230/OASICS.MEMICS.2010.101},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memics/ReinbacherBHSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/PolzerHMBTK10,
author = {Andreas Polzer and
Bernd Hedenetz and
Daniel Merschen and
Goetz Botterweck and
Jacques Thomas and
Stefan Kowalewski},
title = {View-supported rollout and evolution of model-based {ECU} applications},
booktitle = {Proceedings of the 7th International Workshop on Model-Based Methodologies
for Pervasive and Embedded Software, {MOMPES} 2010, Antwerp, Belgium,
September 20-24, 2010},
pages = {37--44},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1865875.1865881},
doi = {10.1145/1865875.1865881},
timestamp = {Tue, 06 Nov 2018 16:58:14 +0100},
biburl = {https://dblp.org/rec/conf/mompes/PolzerHMBTK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/GuckelBK10,
author = {Dominique G{\"{u}}ckel and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
title = {A system for synthesizing abstraction-enabled simulators for binary
code verification},
booktitle = {{IEEE} Fifth International Symposium on Industrial Embedded Systems,
{SIES} 2010, University of Trento, Italy, July 7-9, 2010},
pages = {118--127},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/SIES.2010.5551382},
doi = {10.1109/SIES.2010.5551382},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/GuckelBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/MitschingWK10,
author = {Ralf Mitsching and
Carsten Weise and
Stefan Kowalewski},
title = {Design Patterns for Integrating Variability in Timed Automata},
booktitle = {Fourth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010
- Companion Volume},
pages = {38--45},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SSIRI-C.2010.21},
doi = {10.1109/SSIRI-C.2010.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/MitschingWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssv/BiallasBK10,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Stefan Kowalewski},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Counterexample-Guided Abstraction Refinement for PLCs},
booktitle = {5th International Workshop on Systems Software Verification, SSV'10,
Vancouver, BC, Canada, October 6-7, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/ssv10/counterexample-guided-abstraction-refinement-plcs},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/ssv/BiallasBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiallasBGK11,
author = {Sebastian Biallas and
J{\"{o}}rg Brauer and
Dominique G{\"{u}}ckel and
Stefan Kowalewski},
editor = {Min Zhang and
Volker Stolz},
title = {On-The-Fly Path Reduction},
booktitle = {4th International Workshop on Harnessing Theories for Tool Support
in Software, {TTSS} 2010, Shanghai, China, November 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {274},
pages = {3--16},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.07.003},
doi = {10.1016/J.ENTCS.2011.07.003},
timestamp = {Fri, 10 Mar 2023 14:58:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiallasBGK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2010,
editor = {Stefan Kowalewski and
Marco Roveri},
title = {Formal Methods for Industrial Critical Systems - 15th International
Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6371},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15898-8},
doi = {10.1007/978-3-642-15898-8},
isbn = {978-3-642-15897-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsea/ArmoushSK09,
author = {Ashraf Armoush and
Falk Salewski and
Stefan Kowalewski},
title = {Design Pattern Representation for Safety-Critical Embedded Systems},
journal = {J. Softw. Eng. Appl.},
volume = {2},
number = {1},
pages = {1--12},
year = {2009},
url = {https://doi.org/10.4236/jsea.2009.21001},
doi = {10.4236/JSEA.2009.21001},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsea/ArmoushSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SchlichK09,
author = {Bastian Schlich and
Stefan Kowalewski},
title = {Model checking {C} source code for embedded systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {3},
pages = {187--202},
year = {2009},
url = {https://doi.org/10.1007/s10009-009-0106-5},
doi = {10.1007/S10009-009-0106-5},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SchlichK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/GuillermoMKGA09,
author = {Mart{\'{\i}}n Guillermo and
Ibtissem Ben Makhlouf and
Stefan Kowalewski and
Ch{\'{a}}vez Grunewald and
Dirk Abel},
editor = {Alessandro Giua and
Cristian Mahulea and
Manuel Silva and
Janan Zaytoon},
title = {Safety Assessment of Networked Vehicle Platoon Controllers - Practical
Experiences With Available Tools},
booktitle = {3rd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2009, Zaragoza, Spain, September 16-18, 2009},
series = {{IFAC} Proceedings Volumes},
volume = {42},
number = {17},
pages = {292--297},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.3182/20090916-3-ES-3003.00051},
doi = {10.3182/20090916-3-ES-3003.00051},
timestamp = {Thu, 11 Oct 2018 11:27:01 +0200},
biburl = {https://dblp.org/rec/conf/adhs/GuillermoMKGA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/BrauerSRK09,
author = {J{\"{o}}rg Brauer and
Bastian Schlich and
Thomas Reinbacher and
Stefan Kowalewski},
editor = {Dimitrios N. Serpanos and
Wayne H. Wolf},
title = {Stack bounds analysis for microcontroller assembly code},
booktitle = {Proceedings of the 4th Workshop on Embedded Systems Security, {WESS}
2009, Grenoble, France, October 15, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1631716.1631721},
doi = {10.1145/1631716.1631721},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/BrauerSRK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/SchmitzZRJPPKR09,
author = {Dominik Schmitz and
Ming Zhang and
Thomas Rose and
Matthias Jarke and
Andreas Polzer and
Jacob Palczynski and
Stefan Kowalewski and
Michael Reke},
editor = {Richard F. Paige and
Alan Hartman and
Arend Rensink},
title = {Mapping Requirement Models to Mathematical Models in Control System
Development},
booktitle = {Model Driven Architecture - Foundations and Applications, 5th European
Conference, {ECMDA-FA} 2009, Enschede, The Netherlands, June 23-26,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5562},
pages = {253--264},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02674-4\_18},
doi = {10.1007/978-3-642-02674-4\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/SchmitzZRJPPKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ems/PalczynskiK09,
author = {Jacob Palczynski and
Stefan Kowalewski},
editor = {David Al{-}Dabass and
Sokratis K. Katsikas and
Ioannis Koukos and
Richard N. Zobel},
title = {Early Behaviour Modelling for Control Systems},
booktitle = {{EMS} 2009, Third UKSim European Symposium on Computer Modeling and
Simulation, 25-27 November 2009, Athens, Greece},
pages = {148--153},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/EMS.2009.69},
doi = {10.1109/EMS.2009.69},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ems/PalczynskiK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/StollenwerkJK09,
author = {Andr{\'{e}} Stollenwerk and
Chate Jongdee and
Stefan Kowalewski},
editor = {Peter Marwedel and
Jeff Jackson and
Kenneth G. Ricks},
title = {An undergraduate embedded software laboratory for the masses},
booktitle = {Proceedings of the 2009 Workshop on Embedded Systems Education, {WESE}
'09, Grenoble, France, October 15, 2009},
pages = {34--41},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1719010.1719017},
doi = {10.1145/1719010.1719017},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esweek/StollenwerkJK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/ArmoushBK09,
author = {Ashraf Armoush and
Eva Beckschulze and
Stefan Kowalewski},
title = {Safety Assessment of Design Patterns for Safety-Critical Embedded
Systems},
booktitle = {35th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings},
pages = {523--527},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEAA.2009.12},
doi = {10.1109/SEAA.2009.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/ArmoushBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/PolzerBKW09,
author = {Andreas Polzer and
Goetz Botterweck and
Stefan Kowalewski and
Iris Wangerin},
editor = {Stefan Fischer and
Erik Maehle and
R{\"{u}}diger Reischuk},
title = {Variabilit{\"{a}}t im modelbasierten Engineering von eingebetteten
Systemen},
booktitle = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
28 - October 2, 2009, Proceedings},
series = {{LNI}},
volume = {{P-154}},
pages = {2702--2710},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/31262},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/PolzerBKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/SchommerFKW09,
author = {John F. Schommer and
Dominik Franke and
Stefan Kowalewski and
Carsten Weise},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {Evaluation of the real-time Java runtime environment for deployment
in time-critical systems},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {51--60},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620413},
doi = {10.1145/1620405.1620413},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/SchommerFKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BotterweckPK09,
author = {Goetz Botterweck and
Andreas Polzer and
Stefan Kowalewski},
editor = {Sudipto Ghosh},
title = {Using Higher-Order Transformations to Derive Variability Mechanism
for Embedded Systems},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {68--82},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_8},
doi = {10.1007/978-3-642-12261-3\_8},
timestamp = {Wed, 23 Feb 2022 12:58:06 +0100},
biburl = {https://dblp.org/rec/conf/models/BotterweckPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BotterweckPK09a,
author = {Goetz Botterweck and
Andreas Polzer and
Stefan Kowalewski},
editor = {Stefan Van Baelen and
Thomas Weigert and
Ileana Ober},
title = {Using Higher-order Transformations to Derive Variability Mechanism
for Embedded Systems},
booktitle = {Proceedings of the 2nd International Workshop on Model Based Architecting
and Construction of Embedded Systems {(} {ACES-MB} 2009 ), held as
part of the 2009 International Conference on Model Driven Engineering
Languages and Systems {(} MoDELS'09 {)} Denver, Colorado, USA, October
6, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {507},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-507/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/BotterweckPK09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BotterweckPPK09,
author = {Goetz Botterweck and
Andreas Pleuss and
Andreas Polzer and
Stefan Kowalewski},
editor = {Sven Apel and
William R. Cook and
Krzysztof Czarnecki and
Christian K{\"{a}}stner and
Neil Loughran and
Oscar Nierstrasz},
title = {Towards feature-driven planning of product-line evolution},
booktitle = {Proceedings of the First International Workshop on Feature-Oriented
Software Development, {FOSD} 2009, Denver, Colorado, USA, October
6, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {109--116},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629716.1629737},
doi = {10.1145/1629716.1629737},
timestamp = {Fri, 30 Dec 2022 23:08:54 +0100},
biburl = {https://dblp.org/rec/conf/models/BotterweckPPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mompes/PolzerKB09,
author = {Andreas Polzer and
Stefan Kowalewski and
Goetz Botterweck},
title = {Applying software product line techniques in model-based embedded
systems engineering},
booktitle = {{ICSE} 2009 Workshop on Model-Based Methodologies for Pervasive and
Embedded Software, {MOMPES} 2009, May 16, 2009, Vancouver, Canada},
pages = {2--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/MOMPES.2009.5069132},
doi = {10.1109/MOMPES.2009.5069132},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mompes/PolzerKB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BotterweckPK09,
author = {Goetz Botterweck and
Andreas Polzer and
Stefan Kowalewski},
editor = {Goetz Botterweck and
Iris Groher and
Andreas Polzer and
Christa Schwanninger and
Steffen Thiel and
Markus Voelter},
title = {Interactive Configuration of Embedded Systems Product Lines},
booktitle = {Proceedings of the 1st International Workshop on Model-driven Approaches
in Software Product Line Engineering {(MAPLE} 2009), collocated with
the 13th International Software Product Line Conference {(SPLC} 2009),
San Francisco, USA, August 24, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {557},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-557/paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:21 +0100},
biburl = {https://dblp.org/rec/conf/splc/BotterweckPK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BrauerSK09,
author = {J{\"{o}}rg Brauer and
Bastian Schlich and
Stefan Kowalewski},
editor = {Ralf Huuck and
Gerwin Klein and
Bastian Schlich},
title = {Parallel and Distributed Invariant Checking of Microcontroller Software},
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 = {45--63},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.09.059},
doi = {10.1016/J.ENTCS.2009.09.059},
timestamp = {Fri, 17 Feb 2023 10:35:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BrauerSK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2009,
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2},
doi = {10.1007/978-3-642-00768-2},
isbn = {978-3-642-00767-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/SalewskiK08,
author = {Falk Salewski and
Stefan Kowalewski},
title = {Hardware/Software Design Considerations for Automotive Embedded Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {4},
number = {3},
pages = {156--163},
year = {2008},
url = {https://doi.org/10.1109/TII.2008.2002919},
doi = {10.1109/TII.2008.2002919},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/SalewskiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BeckersKKS08,
author = {J{\"{o}}rg Beckers and
Daniel Kl{\"{u}}nder and
Stefan Kowalewski and
Bastian Schlich},
editor = {Egon B{\"{o}}rger and
Michael J. Butler and
Jonathan P. Bowen and
Paul Boca},
title = {Direct Support for Model Checking Abstract State Machines by Utilizing
Simulation},
booktitle = {Abstract State Machines, {B} and Z, First International Conference,
{ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5238},
pages = {112--124},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87603-8\_10},
doi = {10.1007/978-3-540-87603-8\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/BeckersKKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cit/ArmoushSK08,
author = {Ashraf Armoush and
Falk Salewski and
Stefan Kowalewski},
title = {Recovery Block with Backup Voting: {A} New Pattern with Extended Representation
for Safety Critical Embedded Systems},
booktitle = {2008 International Conference on Information Technology, {ICIT} '08,
Bhubaneswar, India, December 17-20, 2008},
pages = {232--237},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICIT.2008.60},
doi = {10.1109/ICIT.2008.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cit/ArmoushSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/ArmoushSK08,
author = {Ashraf Armoush and
Falk Salewski and
Stefan Kowalewski},
title = {Effective Pattern Representation for Safety Critical Embedded Systems},
booktitle = {International Conference on Computer Science and Software Engineering,
{CSSE} 2008, Volume 4: Embedded Programming / Database Technology
/ Neural Networks and Applications / Other Applications, December
12-14, 2008, Wuhan, China},
pages = {91--97},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSSE.2008.739},
doi = {10.1109/CSSE.2008.739},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csse/ArmoushSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/ArmoushSK08,
author = {Ashraf Armoush and
Falk Salewski and
Stefan Kowalewski},
editor = {Cheng{-}Zhong Xu and
Minyi Guo},
title = {A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance
Test},
booktitle = {2008 {IEEE/IPIP} International Conference on Embedded and Ubiquitous
Computing {(EUC} 2008), Shanghai, China, December 17-20, 2008, Volume
{I}},
pages = {484--491},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/EUC.2008.102},
doi = {10.1109/EUC.2008.102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euc/ArmoushSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BeckschulzeSSK08,
author = {Eva Beckschulze and
Falk Salewski and
Thomas Siegbert and
Stefan Kowalewski},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical
Automotive Applications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {82--92},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_7},
doi = {10.1007/978-3-540-88479-8\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BeckschulzeSSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HohlfeldKRW08a,
author = {Bernhard Hohlfeld and
Stefan Kowalewski and
Michael Reinfrank and
Gerhard Wirrer},
editor = {Walid Maalej and
Bernd Br{\"{u}}gge},
title = {Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle
Praxis},
booktitle = {Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs
Softwaretechnik, 18.-22.2.2008 in M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-122}},
pages = {85--87},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/31506},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HohlfeldKRW08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchmitzDHJKPPRR08,
author = {Dominik Schmitz and
Peter Drews and
Frank Hesseier and
Matthias Jarke and
Stefan Kowalewski and
Jacob Palczynski and
Andreas Polzer and
Michael Reke and
Thomas Rose},
editor = {Korbinian Herrmann and
Bernd Br{\"{u}}gge},
title = {Modellbasierte Anforderungserfassung f{\"{u}}r softwarebasierte
Regelungen},
booktitle = {Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik,
18.-22.2.2008 in M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-121}},
pages = {257--271},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/22233},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SchmitzDHJKPPRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HohlfeldKRW08,
author = {Bernhard Hohlfeld and
Stefan Kowalewski and
Michael Reinfrank and
Gerhard Wirrer},
editor = {Korbinian Herrmann and
Bernd Br{\"{u}}gge},
title = {Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle
Praxis},
booktitle = {Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik,
18.-22.2.2008 in M{\"{u}}nchen},
series = {{LNI}},
volume = {{P-121}},
pages = {278--280},
publisher = {{GI}},
year = {2008},
url = {https://dl.gi.de/handle/20.500.12116/22236},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HohlfeldKRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SalewskiK08,
author = {Falk Salewski and
Stefan Kowalewski},
title = {The effect of real-time software reuse in FPGAs and microcontrollers
with respect to software faults},
booktitle = {{IEEE} Third International Symposium on Industrial Embedded Systems,
{SIES} 2008, Montpellier / La Grande Motte, France, June 11-13, 2008},
pages = {141--148},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/SIES.2008.4577692},
doi = {10.1109/SIES.2008.4577692},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/SalewskiK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/at/BettenhausenKK07,
author = {Kurt Dirk Bettenhausen and
Stefan Kowalewski and
Andreas Kugi},
title = {Bedeutung der Automatisierungstechnik},
journal = {Autom.},
volume = {55},
number = {5},
pages = {269--271},
year = {2007},
url = {https://doi.org/10.1524/auto.2007.55.5.269},
doi = {10.1524/AUTO.2007.55.5.269},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/at/BettenhausenKK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eInformatica/WilkingKK07,
author = {Dirk Wilking and
Umar Farooq Kahn and
Stefan Kowalewski},
title = {An Empirical Evaluation of Refactoring},
journal = {e Informatica Softw. Eng. J.},
volume = {1},
number = {1},
pages = {27--42},
year = {2007},
url = {http://www.e-informatyka.pl/attach/e-Informatica\_-\_Volume\_1/Vol1Iss1Art2eInformatica.pdf},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eInformatica/WilkingKK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/SalewskiK07,
author = {Falk Salewski and
Stefan Kowalewski},
title = {Hardware platform design decisions in embedded systems: a systematic
teaching approach},
journal = {{SIGBED} Rev.},
volume = {4},
number = {1},
pages = {27--35},
year = {2007},
url = {https://doi.org/10.1145/1217809.1217814},
doi = {10.1145/1217809.1217814},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/SalewskiK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/SchlichLK07,
author = {Bastian Schlich and
Jann L{\"{o}}ll and
Stefan Kowalewski},
editor = {Stefan Leue and
Pedro Merino},
title = {Application of Static Analyses for State Space Reduction to Microcontroller
Assembly Code},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International
Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4916},
pages = {21--37},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79707-4\_4},
doi = {10.1007/978-3-540-79707-4\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/SchlichLK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/WilkingSK07,
author = {Dirk Wilking and
David Schilli and
Stefan Kowalewski},
editor = {Bertrand Meyer and
Jerzy R. Nawrocki and
Bartosz Walter},
title = {Measuring the Human Factor with the Rasch Model},
booktitle = {Balancing Agility and Formalism in Software Engineering, Second {IFIP}
{TC} 2 Central and East European Conference on Software Engineering
Techniques, {CEE-SET} 2007, Poznan, Poland, October 10-12, 2007, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5082},
pages = {157--168},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85279-7\_13},
doi = {10.1007/978-3-540-85279-7\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ifip2/WilkingSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SalewskiK07,
author = {Falk Salewski and
Stefan Kowalewski},
editor = {Francesca Saglietti and
Norbert Oster},
title = {Achieving Highly Reliable Embedded Software: An Empirical Evaluation
of Different Approaches},
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 = {270--275},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75101-4\_26},
doi = {10.1007/978-3-540-75101-4\_26},
timestamp = {Sat, 30 Sep 2023 09:55:40 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SalewskiK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SalewskiK07,
author = {Falk Salewski and
Stefan Kowalewski},
title = {The Effect of Hardware Platform Selection on Safety-Critical Software
in Embedded Systems: Empirical Evaluations},
booktitle = {{IEEE} Second International Symposium on Industrial Embedded Systems,
{SIES} 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6,
2007},
pages = {78--85},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SIES.2007.4297320},
doi = {10.1109/SIES.2007.4297320},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/SalewskiK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SchlichSK07,
author = {Bastian Schlich and
Falk Salewski and
Stefan Kowalewski},
title = {Applying Model Checking to an Automotive Microcontroller Application},
booktitle = {{IEEE} Second International Symposium on Industrial Embedded Systems,
{SIES} 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6,
2007},
pages = {209--216},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SIES.2007.4297337},
doi = {10.1109/SIES.2007.4297337},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sies/SchlichSK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/WilkingK07,
author = {Dirk Wilking and
Stefan Kowalewski},
editor = {Hamido Fujita and
Domenico M. Pisanelli},
title = {Analyzing Software Engineering Processes on Source Code Level},
booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings
of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {161},
pages = {305--314},
publisher = {{IOS} Press},
year = {2007},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=7272},
timestamp = {Wed, 14 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/somet/WilkingK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MakhloufK06,
author = {Ibtissem Ben Makhlouf and
Stefan Kowalewski},
editor = {Christos G. Cassandras and
Alessandro Giua and
Carla Seatzu and
Janan Zaytoon},
title = {An Evaluation of two Recent Reachability Analysis Tools for Hybrid
Systems},
booktitle = {2nd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2006, Alghero, Italy, June 7-9, 2006},
series = {{IFAC} Proceedings Volumes},
volume = {39},
number = {5},
pages = {377--382},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.3182/20060607-3-IT-3902.00069},
doi = {10.3182/20060607-3-IT-3902.00069},
timestamp = {Fri, 12 Oct 2018 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MakhloufK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/PalczynskiSK06,
author = {Jacob Palczynski and
Bastian Schlich and
Stefan Kowalewski},
editor = {Christian Hochberger and
R{\"{u}}diger Liskowsky},
title = {Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern},
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 = {751--755},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/23652},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/PalczynskiSK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SchlichK06,
author = {Bastian Schlich and
Stefan Kowalewski},
title = {[mc]square: {A} Model Checker for Microcontroller Code},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {466--473},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.62},
doi = {10.1109/ISOLA.2006.62},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/SchlichK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SalewskiK06,
author = {Falk Salewski and
Stefan Kowalewski},
title = {Exploring the Differences of FPGAs and Microcontrollers for their
Use in Safety-Critical Embedded Applications},
booktitle = {International Symposium on Industrial Embedded Systems, {IES} 2006,
Antibes Juan-Les-Pins, France, October 18-20, 2006},
pages = {1--4},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IES.2006.357483},
doi = {10.1109/IES.2006.357483},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/SalewskiK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ife/HohlfeldKS05,
author = {Bernhard Hohlfeld and
Stefan Kowalewski and
Hans{-}Werner Six},
title = {Editorial zum Themenheft "Automotive Software Engineering"},
journal = {Inform. Forsch. Entwickl.},
volume = {19},
number = {4},
pages = {187--188},
year = {2005},
url = {https://doi.org/10.1007/s00450-005-0185-9},
doi = {10.1007/S00450-005-0185-9},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ife/HohlfeldKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/SalewskiWK05,
author = {Falk Salewski and
Dirk Wilking and
Stefan Kowalewski},
title = {Diverse hardware platforms in embedded systems lab courses: a way
to teach the differences},
journal = {{SIGBED} Rev.},
volume = {2},
number = {4},
pages = {70--74},
year = {2005},
url = {https://doi.org/10.1145/1121812.1121825},
doi = {10.1145/1121812.1121825},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/SalewskiWK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/SalewskiK05,
author = {Falk Salewski and
Stefan Kowalewski},
title = {Zuverl{\"{a}}ssigkeitsmechanismen f{\"{u}}r Eingebettete
Systeme},
journal = {Softwaretechnik-Trends},
volume = {25},
number = {4},
year = {2005},
url = {http://pi.informatik.uni-siegen.de/stt/25\_4/01\_Fachgruppenberichte/Ada/03\_Salewski\_Kowalewski.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/SalewskiK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroyJNRCEGGGGGH05,
author = {Manfred Broy and
Matthias Jarke and
Manfred Nagl and
Hans Dieter Rombach and
Armin B. Cremers and
J{\"{u}}rgen Ebert and
Sabine Glesner and
Martin Glinz and
Michael Goedicke and
Gerhard Goos and
Volker Gruhn and
Wilhelm Hasselbring and
Stefan J{\"{a}}hnichen and
Stefan Kowalewski and
Bernd J. Kr{\"{a}}mer and
Stefan Leue and
Claus Lewerentz and
Peter Liggesmeyer and
Christoph L{\"{u}}th and
Barbara Paech and
Helmuth Arthur Partsch and
Ilka Philippow and
Lutz Prechelt and
Andreas Rausch and
Willem{-}Paul de Roever and
Bernhard Rumpe and
Gudula R{\"{u}}nger and
Wilhelm Sch{\"{a}}fer and
Kurt Schneider and
Andy Sch{\"{u}}rr and
Walter F. Tichy and
Bernhard Westfechtel and
Wolf Zimmermann and
Albert Z{\"{u}}ndorf},
editor = {Manfred Broy and
Manfred Nagl and
Hans Dieter Rombach and
Matthias Jarke},
title = {Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering
in Deutschland},
booktitle = {Perspectives Workshop, 05.10. - 08.10.2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05402},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/585/},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroyJNRCEGGGGGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WielandHKMT03,
author = {Oliver Wieland and
Andreas Hein and
Stefan Kowalewski and
John MacGregor and
Steffen Thiel},
editor = {Klaus R. Dittrich and
Wolfgang K{\"{o}}nig and
Andreas Oberweis and
Kai Rannenberg and
Wolfgang Wahlster},
title = {Anwendungserfahrungen und methodische Anpassungen bei der Einf{\"{u}}hrung
von Software-Produktlinien},
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 = {345--351},
publisher = {{GI}},
year = {2003},
url = {https://dl.gi.de/handle/20.500.12116/29795},
timestamp = {Mon, 11 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/WielandHKMT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/KowalewskiSB01,
author = {Stefan Kowalewski and
Olaf Stursberg and
Nanette Bauer},
title = {An Experimental Batch Plant as a Test Case for the Verification of
Hybrid Systems},
journal = {Eur. J. Control},
volume = {7},
number = {4},
pages = {366--381},
year = {2001},
url = {https://doi.org/10.3166/ejc.7.361-381},
doi = {10.3166/EJC.7.361-381},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejcon/KowalewskiSB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pfe/AuerswaldHKS01,
author = {Marko Auerswald and
Martin Herrmann and
Stefan Kowalewski and
Vincent Schulte{-}Coerne},
editor = {Frank van der Linden},
title = {Reliability-Oriented Product Line Engineering of Embedded Systems},
booktitle = {Software Product-Family Engineering, 4th International Workshop, {PFE}
2001, Bilbao, Spain, October 3-5, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2290},
pages = {83--100},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47833-7\_10},
doi = {10.1007/3-540-47833-7\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/pfe/AuerswaldHKS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/EngellKSS00,
author = {Sebastian Engell and
Stefan Kowalewski and
Christian Schulz and
Olaf Stursberg},
title = {Continuous-discrete interactions in chemical processing plants},
journal = {Proc. {IEEE}},
volume = {88},
number = {7},
pages = {1050--1068},
year = {2000},
url = {https://doi.org/10.1109/5.871308},
doi = {10.1109/5.871308},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/EngellKSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/KowalewskiEPS99,
author = {Stefan Kowalewski and
Sebastian Engell and
J{\"{o}}rg Preu{\ss}ig and
Olaf Stursberg},
title = {Verification of logic controllers for continuous plants using timed
condition/event-system models},
journal = {Autom.},
volume = {35},
number = {3},
pages = {505--518},
year = {1999},
url = {https://doi.org/10.1016/S0005-1098(98)00179-4},
doi = {10.1016/S0005-1098(98)00179-4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/automatica/KowalewskiEPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/StursbergK99,
author = {Olaf Stursberg and
Stefan Kowalewski},
title = {Approximating switched continuous systems by rectangular automata},
booktitle = {5th European Control Conference, {ECC} 1999, Karlsruhe, Germany, August
31 - September 3, 1999},
pages = {3352--3357},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.23919/ECC.1999.7099845},
doi = {10.23919/ECC.1999.7099845},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eucc/StursbergK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PreussigSK99,
author = {J{\"{o}}rg Preu{\ss}ig and
Olaf Stursberg and
Stefan Kowalewski},
editor = {Frits W. Vaandrager and
Jan H. van Schuppen},
title = {Reachability Analysis of a Class of Switched Continuous Systems by
Integrating Rectangular Approximation and Rectangular Analysis},
booktitle = {Hybrid Systems: Computation and Control, Second International Workshop,
HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1569},
pages = {209--222},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48983-5\_20},
doi = {10.1007/3-540-48983-5\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PreussigSK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scpe/HuuckLUEKP98,
author = {Ralf Huuck and
Yassine Lakhnech and
Luis Urbina and
Sebastian Engell and
Stefan Kowalewski and
J{\"{o}}rg Preu{\ss}ig},
title = {Integrating Timed Condition/Event Systems and Timed Automata for the
Verification of Hybrid Systems},
journal = {Scalable Comput. Pract. Exp.},
volume = {1},
number = {2},
year = {1998},
url = {http://www.scpe.org/index.php/scpe/article/view/80},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scpe/HuuckLUEKP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/PreussigKWH98,
author = {J{\"{o}}rg Preu{\ss}ig and
Stefan Kowalewski and
Howard Wong{-}Toi and
Thomas A. Henzinger},
editor = {Anders P. Ravn and
Hans Rischel},
title = {An Algorithm for the Approximative Analysis of Rectangular Automata},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International
Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1486},
pages = {228--240},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055350},
doi = {10.1007/BFB0055350},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/PreussigKWH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HuuckLUEKP97,
author = {Ralf Huuck and
Yassine Lakhnech and
Luis Urbina and
Sebastian Engell and
Stefan Kowalewski and
J{\"{o}}rg Preu{\ss}ig},
editor = {Oded Maler},
title = {Comparing Timed {C/E} Systems with Timed Automata (Abstract)},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {81--86},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014716},
doi = {10.1007/BFB0014716},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HuuckLUEKP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KowalewskiSFGHPRST97,
author = {Stefan Kowalewski and
Olaf Stursberg and
Martin Fritz and
Holger Graf and
Ingo Hoffmann and
J{\"{o}}rg Preu{\ss}ig and
Manuel Remelhe and
Silke Simon and
Heinz Treseler},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Michael D. Lemmon and
Anil Nerode and
Shankar Sastry},
title = {A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous
Systems: The Two Tanks Problem},
booktitle = {Hybrid Systems V, Proceedings of the Fifth International Workshop
on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997},
series = {Lecture Notes in Computer Science},
volume = {1567},
pages = {163--185},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-49163-5\_9},
doi = {10.1007/3-540-49163-5\_9},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KowalewskiSFGHPRST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/StursbergKHP96,
author = {Olaf Stursberg and
Stefan Kowalewski and
Ingo Hoffmann and
J{\"{o}}rg Preu{\ss}ig},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Comparing Timed and Hybrid Automata as Approximations of Continuous
Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {361--377},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031569},
doi = {10.1007/BFB0031569},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/StursbergKHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KowalewskiP96,
author = {Stefan Kowalewski and
J{\"{o}}rg Preu{\ss}ig},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Timed Condition/Event Systems: {A} Framework for Modular Discrete
Models of Chemical Plants and Verification of Their Real-Time Discrete
Control},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {225--240},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_47},
doi = {10.1007/3-540-61042-1\_47},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KowalewskiP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosim/EngellKKP95,
author = {Sebastian Engell and
Stefan Kowalewski and
Bruce H. Krogh and
J{\"{o}}rg Preu{\ss}ig},
editor = {Felix Breitenecker and
Irmgard Husinsky},
title = {Condition/Event Systems: a Powerful Paradigm for Timed and Untimed
Discrete Models of Technical Systems},
booktitle = {EUROSIM'96, Simulation Congress, Proceedings of the 1995 {EUROSIM}
Conference, Vienna, Austria, 11-15 September 1995},
pages = {421--426},
publisher = {Elsevier},
year = {1995},
timestamp = {Fri, 28 Mar 2003 10:59:11 +0100},
biburl = {https://dblp.org/rec/conf/eurosim/EngellKKP95.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-04-25 02:17 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:
