%2018
@ARTICLE {SGTK17a,
author = {Schweigler, Martin and Grochowski, Marco and Tamrakar, Sujan and Kowalewski, Stefan},
title = {Ground Surface Pattern Recognition with Hidden Markov Models for Low Cost Positioning Improvement},
journal = {8th International Conference of Pattern Recognition Systems (ICPRS 2017)},
year = {2017},
pages = {1--6},
publisher = {IET},
publishedas = {Online},
i11key = {journal},
language = {eng},
url = {https://ieeexplore.ieee.org/document/8362106},
timestamp = {2018.12.17},
for_reporting_period = {2017}
}
@INPROCEEDINGS {SK18,
author = {Simon, Hendrik and Kowalewski, Stefan},
title = {Mode-Aware Concolic Testing for PLC Software},
booktitle = {Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018},
publisher = {Springer},
publishedas = {Druck Online},
isbn = {978-3-319-98938-9},
language = {eng},
pages = {367--376},
year = {2018},
timestamp = {2018.12.10},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2018}
}
@INPROCEEDINGS {AM18,
author = {Alrifaee, B. and Maczijewski, J.},
title = {Real-time Trajectory Optimization for Autonomous Vehicle Racing using Sequential Linearization},
booktitle = {2018 IEEE Intelligent Vehicles Symposium (IV)},
publisher = {IEEE},
publishedas = {Online},
issn = {1931-0587},
language = {eng},
pages = {476--483},
year = {2018},
timestamp = {2018.10.26},
i11key = {conference},
url = {https://www.researchgate.net/publication/328451443_Real-time_Trajectory_optimization_for_Autonomous_Vehicle_Racing_using_Sequential_Linearization},
for_reporting_period = {2018}
}
@ARTICLE {GSAK18,
author = {Grochowski, Marco and Schweigler,Martin and Alrifaee, Bassam and Kowalewski, Stefan},
title = {A GPS-aided Inertial Navigation System for Vehicular Navigation using a Smartphone},
journal = {CESCIT},
year = {2018},
pages = {6},
publisher = {IFAC-PapersOnLine},
publishedas = {Online},
i11key = {journal},
language = {eng},
url = {https://app.peer.us/invitation.html#/048541ee7fa4e742dc2433beff1f4e3b?_k=dy468o},
timestamp = {2018.09.05},
for_reporting_period = {2018}
}
@ARTICLE {WSA+18,
doi = {10.3414/ME18-02-0004},
author = {Winter, Alfred and St{\"a}ubert, Sebastian and Ammon, Danny and Aiche, Stephan and Beyan, Oya and Bischoff, Verena and Daumke, Philipp and Decker, Stefan and Funkat, Gert and Gewehr, Jan E and de Greiff, Armin and Haferkamp, Silke and Hahn, Udo and Henkel, Andreas and Kirsten, Toralf and Kl{\"o}ss; Thomas and Lippert, J{\"o}rg and L{\"o}be, Matthias and Lowitsch, Volker and Maassen, Oliver and Maschmann, Jens and Meister, Sven and Mikolajczyk, Rafael and N{\"u}chter, Matthias and Pletz, Mathias W and Rahm, Erhard and Riedel, Morris and Saleh, Kutaiba and Schuppert, Andreas and Smers, Stefan and Stollenwerk, Andr\'{e} and Uhlig, Stefan and Wendt, Thomas and Zenker, Sven and Fleig, Wolfgang and Marx, Gernot and Scherag, Andr\'{e} and L{\"o}ffler, Markus},
title = {Smart Medical Information Technology for Healthcare (SMITH)},
journal = {Methods of information in medicine},
year = {2018},
volume = {57},
pages = {e92--e105},
publisher = {Schattauer GmbH},
publishedas = {Online Druck},
issn = {0026-1270},
i11key = {journal},
i11projectkey = {SMITH},
language = {eng},
url = {https://www.thieme-connect.com/products/ejournals/pdf/10.3414/ME18-02-0004.pdf},
timestamp = {2018.08.17},
for_reporting_period = {2018}
}
@TECHREPORT {TSNK16,
author = {Th{\"o}nnessen, David and Schweigler, Martin and Ney, Oliver and Kugelmeier, Mirko},
title = {Conveying system with an automatic tethering function},
pages = {1--7},
institution = {Ford Global Technologies LLC},
year = {2016},
number = {US20180081372A1},
month = {09},
url = {https://patentimages.storage.googleapis.com/db/18/5e/e189deb2551632/US20180081372A1.pdf},
timestamp = {2018.08.10},
for_reporting_period = {2018}
}
@CONFERENCE {KSK+18,
author = {K{\"u}hn, Jan and Stollenwerk, Andr\'{e} and Kowalewski, Stefan and Fabry, Gregor and Grzanna, Tim and Doorschodt, Benedict and Tolba, Ren\'{e} H. and Rossaint, Rolf and Bleilevens, Christian},
title = {A long-term setup for kidney perfusion},
booktitle = {52nd Annual Conference of the German Society for Biomedical Engineering},
year = {2018},
timestamp = {2018.07.11},
language = {eng},
i11projectkey = {AutoMock},
note = {To appear},
for_reporting_period = {2018}
}
@INPROCEEDINGS {SBK18,
doi = {10.1515/cdbme-2018-0009},
author = {Stollenwerk, Andr\'{e} and Buglowski, Mateusz and K{\"u}hn, Jan},
editor = {D{\"o}ssel, Olaf},
title = {Mock loop for bubble generation in a centrifugal blood pump for fault simulation},
booktitle = {Current Directions in Biomedical Engineering},
series = {4},
number = {1},
publisher = {deGruyter},
publishedas = {Druck Online},
issn = {1862-278X},
language = {eng},
pages = {33 -- 36},
year = {2018},
timestamp = {2018.07.11},
i11key = {conference},
i11projectkey = {ECLAVent},
url = {https://doi.org/10.1515/cdbme-2018-0009},
for_reporting_period = {2018}
}
@INPROCEEDINGS {BK18a,
author = {Bohlender, Dimitri and Kowalewski, Stefan},
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},
publisher = {Springer},
publishedas = {Druck Online},
isbn = {978-3-319-98938-9},
language = {eng},
pages = {47--68},
year = {2018},
timestamp = {2018.06.18},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2018}
}
@INPROCEEDINGS {CMW+18,
author = {Chomicz, Paul and M{\"u}ller-Lerwe, Armin and Wegner, G{\"o}tz-Philipp and Busch, Rainer and Kowalewski, Stefan},
title = {Controlled Natural Languages for Hazard Analysis and Risk Assessment},
booktitle = {CNL 2018: Sixth International Workshop on Controlled Natural Language},
publisher = {IOS Press},
publishedas = {Online},
isbn = {978-1-61499-903-4},
language = {eng},
pages = {41--51},
year = {2018},
timestamp = {2018.06.06},
i11key = {conference},
url = {http://ebooks.iospress.nl/volume/controlled-natural-language-proceedings-of-the-sixth-international-workshop-cnl-2018-maynooth-co-kildare-ireland-august-27-28-2018},
note = {Best student paper award},
for_reporting_period = {2018}
}
@INPROCEEDINGS {SHS+18,
author = {Smieschek, Manfred and Hinrichs, Timo and Stollenwerk, André and Kowalewski, Stefan and Preu{\ss}, R{\"u}diger},
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)},
publisher = {IEEE},
publishedas = {Druck},
language = {eng},
pages = {642--644},
year = {2018},
timestamp = {2018.06.06},
i11key = {conference},
i11projectkey = {wipano},
for_reporting_period = {2018}
}
@INPROCEEDINGS {STK18,
author = {Simon, Hendrik and Triefenbach, Lucas and Kowalewski, Stefan},
editor = {Gianmaria De Tommasi},
title = {Structural Concolic Testing fpr Sequential Function Chart},
booktitle = {14th International Workshop on Discrete Event Systems, WODES 2018, Sorrento Coast, Italy, May 30 - June 1, 2018},
volume = {51},
publisher = {Elsevier},
publishedas = {Online},
issn = {2405-8963},
language = {eng},
pages = {422--427},
year = {2018},
timestamp = {2018.06.06},
i11key = {conference},
i11projectkey = {Arcade},
url = {https://www.sciencedirect.com/journal/ifac-papersonline/vol/51/issue/7},
for_reporting_period = {2018}
}
@ARTICLE {KBS+19,
author = {K{\"u}hn, Jan and Buglowski, Mateusz and Stollenwerk, Andre and Kowalewski, Stefan and Walter, Marian and Leonhardt, Steffen and Petran, Jan and Kopp, R{\"u}dger and Rossaint, Rolf and Janisch, Thorsten},
title = {Fault Identification in a Blood Pump Using Neural Networks},
journal = {IFMBE Proceedings},
year = {2019},
volume = {68/2},
pages = {27--32},
publisher = {Springer},
publishedas = {Online Druck},
issn = {1680-0737},
i11key = {journal},
i11projectkey = {AutoMock},
language = {eng},
url = {https://www.publications.embedded.rwth-aachen.de/file/7b},
timestamp = {2018.06.05},
for_reporting_period = {2018}
}
@INPROCEEDINGS {TRR+18a,
author = {Th{\"o}nnessen, David and Reinker, Niklas and Rakel, Stefan and Svetlakov, Andrei and Kowalewski, Stefan},
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)},
publisher = {IEEE},
publishedas = {Online},
language = {eng},
pages = {1--6},
year = {2018},
timestamp = {2018.05.18},
i11key = {conference},
i11projectkey = {hil},
note = {To appear},
for_reporting_period = {2018}
}
@ARTICLE {TK18a,
author = {Th{\"o}nnessen, David and Kowalewski, Stefan},
title = {Agiles Testen von cyber-physischen Produktionssystemen},
journal = {atp edition - Automatisierungstechnische Praxis},
year = {2018},
volume = {3},
pages = {46--55},
publisher = {Vulkan Verlag},
publishedas = {Online Druck},
i11key = {journal},
i11projectkey = {hil},
language = {ger},
url = {https://www.vulkan-shop.de/agiles-testen-von-cyberphysischen-produktionssystemen-2018-04-17},
timestamp = {2018.03.28},
for_reporting_period = {2018}
}
@INPROCEEDINGS {TRRK18,
author = {Th{\"o}nnessen, David and Rakel, Stefan and Reinker, Niklas and Kowalewski, Stefan},
title = {Matching Discrete Signals for Hardware-in-the-Loop-Testing of PLCs},
booktitle = {3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT)},
volume = {51},
publisher = {IFAC},
publishedas = {Online},
issn = {2405-8963},
language = {eng},
pages = {229--234},
year = {2018},
timestamp = {2018.03.27},
i11key = {conference},
i11projectkey = {hil},
url = {https://www.sciencedirect.com/science/article/pii/S2405896318305883/pdf?md5=63ab3b92a7129a371a4496620ae493be&pid=1-s2.0-S2405896318305883-main.pdf},
for_reporting_period = {2018}
}
@INPROCEEDINGS {TK18,
author = {Th{\"o}nnessen, David and Kowalewski, Stefan},
title = {Using PLC Programming Languages for Test-Case Specification of Hardware-in-the-loop Tests},
booktitle = {Modellbasierte Entwicklung Eingebetteter Systeme (MBEES)},
publisher = {fortiss Technischer Bericht},
publishedas = {Online},
language = {eng},
pages = {41--50},
year = {2018},
timestamp = {2018.03.06},
i11key = {conference},
i11projectkey = {hil},
url = {http://download.fortiss.org/public/mbees/mbees2018_proceedings.pdf},
for_reporting_period = {2018}
}
@INPROCEEDINGS {BK18,
author = {Bohlender, Dimitri and Kowalewski, Stefan},
title = {Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction},
booktitle = {14th International Workshop on Discrete Event Systems, WODES 2018, Sorrento Coast, Italy, May 30 - June 1, 2018},
publisher = {IFAC},
publishedas = {Online},
issn = {2405-8963},
language = {eng},
pages = {428--433},
year = {2018},
timestamp = {2018.03.05},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2018}
}
@INPROCEEDINGS {BHK18,
author = {Bohlender, Dimitri and Hamm, Daniel and Kowalewski, Stefan},
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},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-4503-5191-1},
language = {eng},
pages = {1891--1898},
year = {2018},
timestamp = {2018.01.10},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2018}
}
@INPROCEEDINGS {AMA17,
author = {Alrifaee, Bassam and Maczijewski, Janis and Abel, Dirk},
title = {Sequential Convex Programming MPC for Dynamic Vehicle Collision Avoidance},
booktitle = {2017 IEEE Conference on Control Technology and Applications (CCTA)},
publisher = {IEEE},
publishedas = {Online},
isbn = {978-1-5090-2182-6},
language = {eng},
pages = {2202--2207},
year = {2017},
timestamp = {2018.01.04},
i11key = {Cyber-physical Mobility},
url = {https://www.researchgate.net/profile/Bassam_Alrifaee/publication/318280544_Sequential_Convex_Programming_MPC_for_Dynamic_Vehicle_Collision_Avoidance/links/5978b094a6fdcc30bdc31d05/Sequential-Convex-Programming-MPC-for-Dynamic-Vehicle-Collision-Avoidance.pdf},
for_reporting_period = {2017}
}
%2017
@ARTICLE {CJS17,
author = {Christian Dernehl and Jan K{\"u}hn and Stefan Kowalewski},
title = {Case studies on automated verification with slope boundaries for block diagrams},
journal = {Computer Languages, Systems & Structures},
year = {2017},
volume = {50},
pages = {1--16},
publisher = {Elsevier},
publishedas = {Online Druck},
issn = {1477-8424},
i11key = {journal},
language = {eng},
url = {https://ac.els-cdn.com/S1477842417300246/1-s2.0-S1477842417300246-main.pdf?_tid=244b7aee-d6a8-11e7-a411-00000aacb362&acdnat=1512140511_2c74ca6eeaf15786cf46856d997df927},
timestamp = {2017.12.01},
for_reporting_period = {2017}
}
@ARTICLE {SKSJ17,
number = {4},
author = {Stollenwerk, André and Kopp, R{\"u}dger and Sehl, Florian and Janisch, Thorsten},
title = {Tauchcomputerunterst{\"u}tzung durch vernetzte Smart Wearables},
journal = {caisson},
year = {2017},
volume = {32},
pages = {72},
publisher = {GT{\"U}M},
publishedas = {Online Druck},
issn = {0933-3991},
i11key = {journal},
language = {ger},
url = {https://www.publications.embedded.rwth-aachen.de/file/79},
timestamp = {2017.11.24},
for_reporting_period = {2018}
}
@INPROCEEDINGS {OK17,
author = {Obster, Mathias and Kowalewski, Stefan},
title = {A Live Static Code Analysis Architecture for PLC Software},
booktitle = {Proceedings of IEEE International Conference on Emerging Technology & Factory Automation},
publisher = {IEEE},
publishedas = {Online},
isbn = {978-1-5090-6505-9},
issn = {1946-0759},
language = {eng},
pages = {263--266},
year = {2017},
timestamp = {2017.11.23},
i11key = {conference},
i11projectkey = {Arcade},
url = {https://publications.embedded.rwth-aachen.de/file/7a},
for_reporting_period = {2017}
}
@TECHREPORT {BFH+18,
author = {Bordasch, Manuel and Facchi, Christian and Heidepriem, Sebastian and J{\"a}hnert, J{\"u}rger and Jung, Tobias and K{\"o}llner, Christian and Kraas, Alexander and Krause, Jan and Kr{\"u}ning, Kai and Kugler, Alexander and Maschler, Benjamin and Schleicher, Christian and Siegrist, Daniel and Simon, Hendrik and St{\"o}rmer, Christoph and Th{\"o}nnessen, David and Wassermann, Erik and Weyrich, Michael and Wimmer, Thomas and Zeller, Andreas},
title = {VDI Status Report Testing of Networked Systems for Industrie 4.0},
pages = {1--20},
institution = {VDI/VDE GMA FA 7.25},
keywords = {Digitale Transformation, Industrie 4.0, Digitalisierung},
year = {2018},
number = {1},
month = {04},
url = {https://www.vdi.de/presse/publikationen/publikationen-details/pubid/vdi-status-report-testing-of-networked-systems-for-industrie-40/},
timestamp = {2017.11.21},
for_reporting_period = {2018}
}
@INPROCEEDINGS {UVS+17,
author = {Ulewicz, Sebastian and Vogel-Heuser, Birgit and Simon, Hendrik and Bohlender, Dimitri and Obster, Mathias and Kowalewski, Stefan},
title = {A Priori Test Coverage Estimation for Automated Production Systems},
booktitle = {2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-5090-6505-9},
issn = {1946-0759},
language = {eng},
pages = {1--4},
year = {2017},
timestamp = {2017.10.27},
i11key = {conference},
i11projectkey = {Arcade},
url = {http://ieeexplore.ieee.org/document/8247704/},
for_reporting_period = {2017}
}
@INPROCEEDINGS {HWK+17,
author = {Hansen, Norman and Wiechowski, Norbert and Kugler, Alexander and Kowalewski, Stefan and Rambow, Thomas and Busch, Rainer},
title = {Model-in-the-Loop and Software-in-the-Loop Testing of Closed-Loop Automotive Software with Arttest},
booktitle = {INFORMATIK 2017},
publisher = {Maximilian Eibl, Martin Gaedke},
publishedas = {Druck},
isbn = {978-3-88579-669-5},
issn = {1617-5468},
language = {eng},
pages = {1537--1549},
year = {2017},
timestamp = {2017.10.06},
i11key = {conference},
url = {https://dl.gi.de/bitstream/handle/20.500.12116/3919/B19-9.pdf?sequence=1&isAllowed=y},
for_reporting_period = {2017}
}
@ARTICLE {KKOT15,
author = {Kowalewski, Stefan and Kalkov, Igor and Obster, Mathias and Th{\"o}nnessen, David},
title = {Echtzeiterweiterung f{\"u}r Android: SPS inside},
journal = {IEE - Elektrische Automatisierung + Antriebstechnik},
year = {2015},
pages = {58--61},
publisher = {IEE},
publishedas = {Online Druck},
issn = {1434-2898},
i11key = {journal},
language = {ger},
url = {http://www.iee-online.de/wp-content/uploads/sites/9/2015/01/IEE_02_2015_web.pdf},
timestamp = {2017.09.07},
for_reporting_period = {2015}
}
@INPROCEEDINGS {SPDZ17,
author = {Schmidt, Teresa and Philipsen, Ralf and Dzafic, Dzenan and Ziefle, Martina},
title = {Watch out! User-centered Feedback Design for a V2X-Smartphone App},
booktitle = {Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety},
series = {8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II},
publisher = {Springer, Cham},
publishedas = {Druck Online},
isbn = {978-3-319-58465-2},
language = {eng},
pages = {365--383},
year = {2017},
timestamp = {2017.06.20},
i11key = {conference, CERM, eNav},
i11projectkey = {CERM, eNav},
url = {https://www.publications.embedded.rwth-aachen.de/file/77},
for_reporting_period = {2017}
}
@INPROCEEDINGS {DNS+17,
author = {Dzafic, Dzenan and Nicolas, Wagener and Schoonbrood, Peter and Franke, Dominik and Kowalewski, Stefan},
title = {Multimodales Dynamisches Routen mit eNav},
booktitle = {AGIT Journal f{\"u}r Angewandte Geoinformatik},
volume = {3-2017},
publisher = {Herbert Wichmann Verlag, VDE VERLAG GMBH, Berlin/Offenbach.},
publishedas = {Druck Online},
isbn = {978-3-87907-633-8},
issn = {2364-9283},
language = {ger},
pages = {278--287},
year = {2017},
timestamp = {2017.06.19},
i11key = {conference, eNav},
i11projectkey = {eNav},
url = {https://www.publications.embedded.rwth-aachen.de/file/6v},
for_reporting_period = {2017}
}
@INPROCEEDINGS {DWS+17,
author = {Dzafic, Dzenan and Wagener, Nicolas and Schoonbrood, Peter and Dominik, Franke and Kowalewski, Stefan},
title = {Multimodal Dynamic Routing for Wheelchairs and Pedestrians},
booktitle = {International Conference on Intelligent Transport Systems in Theory and Practice, mobil.TUM 2017},
publisher = {Elsevier B.V.},
publishedas = {Online},
language = {eng},
pages = {1--10},
year = {2017},
timestamp = {2017.06.19},
i11key = {conference, eNav},
i11projectkey = {eNav},
url = {https://www.publications.embedded.rwth-aachen.de/file/6u},
for_reporting_period = {2017}
}
@INPROCEEDINGS {TRRK17,
author = {Th{\"o}nnessen, David and Reinker, Niklas and Rakel, Stefan and Kowalewski, Stefan},
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)},
publisher = {IEEE},
publishedas = {Online},
isbn = {978-1-5090-6505-9},
issn = {1946-0759},
language = {eng},
pages = {66--74},
year = {2017},
timestamp = {2017.06.19},
i11key = {conference},
i11projectkey = {hil},
url = {http://ieeexplore.ieee.org/document/8247580/},
for_reporting_period = {2017}
}
@INPROCEEDINGS {KKR+17,
author = {Kugler, Christopher and Kowalewski, Stefan and Richenhagen, Johannes and Maquet, Ralf and Schlo{\ss}er, Axel},
title = {Metrics-based strategies for quality assurance of automotive embedded software},
booktitle = {17. Internationales Stuttgarter Symposium},
publisher = {Springer},
publishedas = {Druck Online},
isbn = {978-3-658-16988-6},
language = {eng},
pages = {711--730},
year = {2017},
timestamp = {2017.06.12},
i11key = {conference},
url = {https://link.springer.com/chapter/10.1007/978-3-658-16988-6_56},
for_reporting_period = {2017}
}
@INPROCEEDINGS {NKM+17,
author = {Nowack, Jan and Kugler, Christopher and Maquet, Ralf and Richenhagen, Johannes and Remelhe, Filipe},
title = {Continuous process for the validation of transmission controls},
booktitle = {16. CTI Symposium},
year = {2017},
timestamp = {2017.06.12},
i11key = {conference},
note = {To appear},
for_reporting_period = {2017}
}
@INPROCEEDINGS {GAK17,
author = {G{\"o}be, Florian and Aydin, Selin and Kowalewski, Stefan},
title = {Applicability of Supervisory Control Theory for the Supervision of PLC Programs},
booktitle = {Proceedings of IEEE International Conference on Emerging Technology & Factory Automation},
publisher = {IEEE},
publishedas = {Online},
isbn = {978-1-5090-6505-9},
language = {eng},
pages = {81--88},
year = {2017},
timestamp = {2017.05.31},
i11key = {conference},
url = {https://publications.embedded.rwth-aachen.de/file/7c},
for_reporting_period = {2017}
}
@INPROCEEDINGS {WRB+17,
author = {Wiechowski, Norbert and Rambow, Thomas and Busch, Rainer and Kugler, Alexander and Hansen, Norman and Kowalewski, Stefan},
title = {Arttest - a New Test Environment for Model-Based Software Development},
booktitle = {SAE Technical Paper},
publisher = {SAE International},
publishedas = {Online},
issn = {},
language = {eng},
pages = {11},
year = {2017},
timestamp = {2017.03.30},
i11key = {conference},
url = {http://doi.org/10.4271/2017-01-0004},
for_reporting_period = {2017}
}
@CONFERENCE {JCE+17,
author = {Jens Dankert and Christian Dernehl and Evgeny Kusmenko and Lutz Eckstein and Stefan Kowalewski and Bernard Rumpe},
title = {RapidCoop - Robuste Architektur durch geeignete Paradigmen f{\"u}r Kooperativ Interagierende Automobile},
booktitle = {AAET 2017 - Automatisiertes und Vernetztes Fahren},
year = {2017},
timestamp = {2017.03.16},
language = {ger},
for_reporting_period = {2017}
}
@ARTICLE {BMK+17,
author = {Brendle, C. and M{\"u}lders, T. and K{\"u}hn, J. and Janisch, T. and Kopp, R. and Rossaint, R. and Stollenwerk, A. and Kowalewski, S. and Misgeld, B. and Leonhardt, S. and Walter, M.},
title = {Physiological closed-loop control of mechanical ventilation and extracorporeal membrane oxygenation”},
journal = {Biomedical Engineering / Biomedizinische Technik},
year = {2017},
i11key = {journal},
i11projectkey = {ECLA-Vent},
note = {To appear},
timestamp = {2017.03.15},
for_reporting_period = {2017}
}
@ARTICLE {KBS+17,
author = {K{\"u}hn, J. and Brendle, C. and Stollenwerk, A. and Schweigler, M. and Kowalewski, S. and Janisch, T. and Rossaint, R. and Leonhardt, S. and Walter, M. and Kopp, R.},
title = {Decentralized safety concept for closed-loop controlled intensive care},
journal = {Biomedical Engineering / Biomedizinische Technik},
year = {2017},
volume = {62},
pages = {213--223},
publisher = {De Gruyter},
publishedas = {Online Druck},
issn = {1862-278X},
i11key = {journal},
i11projectkey = {ECLA-Vent},
language = {eng},
timestamp = {2017.03.15},
for_reporting_period = {2017}
}
@INPROCEEDINGS {CMW+17,
author = {Chomicz, Paul and M{\"u}ller-Lerwe, Armin and Wegner, G{\"o}tz-Philipp and Busch, Rainer and Kowalewski, Stefan},
editor = {Dencker, Peter and Klenk, Herbert and Keller, Hubert and Pl{\"o}dereder, Erhard},
title = {Towards the Use of Controlled Natural Languages in Hazard Analysis and Risk Assessment},
booktitle = {Automotive - Safety & Security 2017},
series = {Lecture Notes in Informatics},
volume = {P-269},
publisher = {Gesellschaft f{\"u}r Informatik},
publishedas = {Druck Online},
isbn = {978-3-88579-663-3},
issn = {1617-5468},
language = {eng},
pages = {163--174},
year = {2017},
timestamp = {2017.03.07},
i11key = {conference},
for_reporting_period = {2017}
}
@INPROCEEDINGS {SSM+17,
doi = {10.1109/BSN.2017.7936034},
author = {Stollenwerk, André and Sehl, Florian and Marx, Gernot and Kowalewski, Stefan and Janisch, Thorsten},
title = {Enrichment of a diving computer with body sensor network data},
booktitle = {14th International Conference on Wearable and Implantable Body Sensor Networks},
publisher = {IEEE},
publishedas = {Online},
issn = {2376-8894},
language = {eng},
pages = {169--172},
year = {2017},
timestamp = {2017.03.02},
i11key = {conference},
i11projectkey = {Tauchcomputer},
url = {http://ieeexplore.ieee.org/document/7936034/},
for_reporting_period = {2017}
}
@INPROCEEDINGS {INS17,
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 = {ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems},
series = {EPiC Series in Computing},
volume = {43},
publisher = {EasyChair},
publishedas = {Online},
issn = {2398-7340},
language = {eng},
pages = {68--79},
year = {2017},
timestamp = {2017.02.02},
i11key = {conference},
url = {http://easychair.org/publications/paper/HyReach_A_Reachability_Tool_for_Linear_Hybrid_Systems_Based_on_Support_Functions},
for_reporting_period = {2017}
}
@ARTICLE {BHK+17a,
author = {Brendle, C. and Hackmack, K.-F. and K{\"u}hn, J. and Wardeh, M.N. and Janisch, T. and Kopp, R. and Rossaint, R. and Stollenwerk, A. and Kowalewski, S. and Leonhardt, S. and Walter, M. and Misgeld, B.},
title = {Closed-loop control of extracorporeal oxygen and carbon dioxide gas transfer},
journal = {Control Engineering Practice},
year = {2017},
volume = {59},
pages = {173--182},
publisher = {Elsevier},
publishedas = {Online Druck},
issn = {0967-0661},
i11key = {journal},
language = {eng},
url = {http://dx.doi.org/10.1016/j.conengprac.2016.09.016},
note = {To appear},
timestamp = {2017.01.11},
for_reporting_period = {2016}
}
%2016
@INPROCEEDINGS {KSM15,
author = {K{\"u}hnel, Marian and Smieschek, Manfred and Meyer, Ulrike},
title = {Fast Identification of Obfuscation and Mobile Advertising in Mobile Malware},
booktitle = {Trustcom/BigDataSE/ISPA},
volume = {1},
publisher = {IEEE},
publishedas = {Online},
isbn = {978-1-4673-7952-6},
language = {eng},
pages = {214--221},
year = {2015},
timestamp = {2016.12.19},
i11key = {conference}
}
@ARTICLE {SSK+17,
author = {Smieschek, Manfred and Stollenwerk, André and Kowalewski, Stefan and Orlikowsky, Thorsten and Schoberer, Mark},
title = {Unterst{\"u}tzte Handerkennung in Thermographiebildern zur Validierung der hygienischen H{\"a}ndedesinfektion},
journal = {Informatik Aktuell},
year = {2017},
pages = {147--152},
publisher = {Springer-Verlag},
publishedas = {Online Druck},
issn = {978-3-662-54345-0},
i11key = {article, saubere h{\"a}nde},
language = {ger},
url = {http://link.springer.com/chapter/10.1007/978-3-662-54345-0_35},
timestamp = {2016.12.16},
for_reporting_period = {2017}
}
@ARTICLE {GMD+10,
author = {Grunewald, M. and Makhlouf, I. and Diab, H. and Mut, V. and Kowalewski, S. and Abel, D.},
title = {Control and Safety Analysis of a Group of Point Mass Vehicles Using Energy Methods},
journal = {AT-Automatisierungstechnik},
year = {2010},
volume = {58.4},
pages = {227--235},
publisher = {Oldenbourg Verlag},
publishedas = {Online Druck},
i11key = {journal},
language = {eng},
timestamp = {2016.12.09},
for_reporting_period = {2010}
}
@TECHREPORT {PBD+10,
author = {Pleuss, A. and Botterweck, G. and Dhungana, D. and Polzer, A. and Kowalewski, S.},
title = {Featureoriented modelling of product line evolution},
pages = {1--25},
institution = {Technical Report Lero-TR-2010-05},
year = {2010},
number = {1},
month = {November},
timestamp = {2016.12.09},
for_reporting_period = {2010}
}
@INPROCEEDINGS {SLA+10,
author = {Sasnauskas, R. and Landsiedel, O. and Alizai, M. and Weise, C. and Kowalewski,S. and Wehrle, K.},
title = {KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment},
booktitle = {Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks},
publisher = {ACM},
publishedas = {Druck Online},
language = {eng},
pages = {186--196},
year = {2010},
timestamp = {2016.12.09},
i11key = {conference},
for_reporting_period = {2010}
}
@PROCEEDINGS {BBD+11,
author = {Beckschulze, E. and Boymanns, D. and Duelks, R. and Gatterdam, T. and Kowalewski, S. and Lang, M. and Salewski, F. and Siegbert, T.},
editor = {s.o.},
title = {Zuverlaessigkeit von automotive embedded Systems,},
publisher = {FAT-Schriftenreihe},
year = {2011},
timestamp = {2016.12.06},
i11key = {editor},
for_reporting_period = {2011}
}
@ARTICLE {KPB13,
author = {Kowalewski, S. and Philippou, A. and Brauer, J.},
title = {Model checking and abstract interpretation as building blocks of advanced program analysis techniques},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2013},
volume = {15.4},
pages = {287--289},
publisher = {Springer Science & Business Media},
publishedas = {Online Druck},
i11key = {journal},
language = {eng},
timestamp = {2016.12.06},
for_reporting_period = {2013}
}
@INPROCEEDINGS {RDK+12,
author = {Reuter, S. and Diab, H. and Kowalewski, K. and Hauck, E. and Jeschke, S.},
title = {Design and implementation of a vehicle dynamics control system by means of torque vectoring for an autonomous vehicle},
booktitle = {Robotics and Biomimetics (ROBIO), 2012 IEEE International Conference on},
publisher = {IEEE},
publishedas = {Druck Online},
language = {eng},
pages = {1691--1696},
year = {2012},
timestamp = {2016.12.06},
i11key = {conference},
for_reporting_period = {2012}
}
@PHDTHESIS {Bia16,
isbn = {978-3-8440-4711-0},
timestamp = {2016.10.28},
author = {Biallas, Sebastian},
title = {{Verification of Programmable Logic Controller Code using Model Checking and Static Analysis}},
school = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen},
type = {Dissertation},
year = {2016},
month = {October},
issn = {0935-3232},
i11key = {thesis},
i11projectkey = {arcade},
url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2016/2016-07.pdf},
note = {AIB-2016-07},
for_reporting_period = {2016}
}
@INPROCEEDINGS {DHK16a,
author = {Dernehl, Christian and Hansen, Norman and Kowalewski, Stefan},
editor = {ter Beek, Maurice H. and Gnesi, Stefania and Knapp, Alexander},
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},
publisher = {Springer International Publishing},
publishedas = {Druck Online},
isbn = {978-3-319-45943-1},
issn = {0302-9743},
language = {eng},
pages = {25--38},
year = {2016},
timestamp = {2016.10.24},
i11key = {conference},
i11projectkey = {artshop},
url = {https://publications.embedded.rwth-aachen.de/file/6m},
for_reporting_period = {2016}
}
@INPROCEEDINGS {SK16,
author = {Simon, Hendrik and Kowalewski, Stefan},
title = {Static Analysis of Sequential Function Charts using Abstract Interpretation},
booktitle = {Emerging Technologies and Factory Automation 2016},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-5090-1314-2},
language = {eng},
pages = {1--4},
year = {2016},
timestamp = {2016.10.07},
i11key = {conference},
i11projectkey = {arcade},
for_reporting_period = {2016}
}
@ARTICLE {BHK+17,
author = {Brendle, C. and Hackmack, K.-F. and K{\"u}hn, J. and Wardeh, M.N. and Janisch, T. and Kopp, R. and Rossaint, R. and Stollenwerk, A. and Kowalewski, S. and Misgeld, B. and Leonhardt, S and and Walter, M.},
title = {Continuous gas transfer monitoring during extracorporeal membrane oxygenation},
journal = {Biomedical Signal Processing and Control},
year = {2017},
volume = {31},
pages = {321--330},
publisher = {Elsevier},
publishedas = {Online Druck},
issn = {1746-8094},
i11key = {journal},
i11projectkey = {ECLA-Vent},
language = {eng},
note = {To appear},
timestamp = {2016.09.15},
for_reporting_period = {2016}
}
@INPROCEEDINGS {KSB+16,
author = {K{\"u}hn, Jan and Stollenwerk, Andr{\'e} and Brendle, Christian and Janisch, Thorsten and Walter, Marian and Rossaint, Rolf and Leonhardt, Steffen and Kowalewski, Stefan and Kopp, R{\"u}dger},
editor = {Zimmermann, Wolf and Alperowitz, Lukas and Br{\"u}gge, Bernd and Fahsel, J{\"o}rn and Herrmann, Andrea and Hoffmann, Anne and Krall, Andreas and Landes, Dieter and Lichter, Horst and Riehle, Dirk and Schaefer, Ina and Scheuermann, Constantin and Schlaefer, Alexander and Schupp, Sibylle and Seitz, Andreas and Steffens, Andreas and Stollenwerk, Andr\'{e} and Wei{/ss}bach, R{/"u}diger},
title = {Sensor Supervision and Control Value Limitations in Networked Intensive Care},
booktitle = {Fail Safety in Medical Cyber-Physical Systems},
series = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016)},
number = {2},
volume = {1559},
publisher = {CEUR Workshop Proceedings},
publishedas = {Online},
issn = {1613-0073},
language = {eng},
pages = {187--194},
year = {2016},
timestamp = {2016.09.15},
i11key = {conference},
i11projectkey = {ECLA-Vent},
url = {http://ceur-ws.org/Vol-1559/paper25.pdf},
for_reporting_period = {2016}
}
@CONFERENCE {KVS+16,
author = {K{\"u}hn, Jan and Vaitl, Lorenz and Stollenwerk, Andr{\'e} and Brendle, Christian and Walter, Marian and Janisch, Thorsten and Leonhardt, Steffen and Kowalewski, Stefan and Rossaint, Rolf and Kopp, R{\"u}dger},
title = {Eingebettete Rezirkulationsmessung f{\"u}r eine ECLA-Therapie},
booktitle = {AUTOMED Workshop},
year = {2016},
timestamp = {2016.09.15},
language = {ger},
i11projectkey = {ECLA-Vent},
note = {To appear},
for_reporting_period = {2016}
}
@CONFERENCE {WBK+16,
author = {Walter, M. and Brendle, C. and K{\"u}hn, J. and Janisch, T. and Kopp, R. and Stollenwerk, A. and Leonhardt, S.},
title = {Assistive Control of Extracorporeal Oxygenation Systems},
booktitle = {12th German Russian Conference on Biomedical Engineering},
year = {2016},
timestamp = {2016.09.15},
language = {eng},
i11projectkey = {ECLA-Vent},
for_reporting_period = {2016}
}
@INPROCEEDINGS {BSKH16,
author = {Bohlender, Dimitri and Simon, Hendrik and Kowalewski, Stefan and Hauck-Stattelmann, Stefan},
title = {Symbolische Ausf{\"u}hrung zum Testen von SPS-Programmen},
booktitle = {Automation 2016, 07.06.2016-08.06.2016, Baden-Baden, Germany},
publisher = {VDI Verlag GmbH},
publishedas = {Druck},
isbn = {978-3-18-092284-0},
language = {ger},
pages = {77--88},
year = {2016},
timestamp = {2016.08.03},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2016}
}
@INPROCEEDINGS {Der16,
author = {Dernehl, Christian},
title = {Automatic Invariant Checking for discrete Block Diagrams using Lyapunov Functions with Sat Modulo Theory Solvers},
booktitle = {European Control Conference 2016},
publisher = {IEEE},
publishedas = {Online},
language = {eng},
pages = {441--446},
year = {2016},
timestamp = {2016.07.16},
i11key = {conference},
i11projectkey = {artshop},
url = {https://publications.embedded.rwth-aachen.de/file/6d},
for_reporting_period = {2016}
}
@INPROCEEDINGS {DHK16,
author = {Dernehl, Christian and Hansen, Norman and Kowalewski, Stefan},
editor = {De Nicola, Rocco and K{\"u}hn, Eva},
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},
publisher = {Springer International Publishing},
publishedas = {Online},
isbn = {978-3-319-41591-8},
language = {eng},
pages = {137--152},
year = {2016},
timestamp = {2016.07.16},
i11key = {conference},
i11projectkey = {artshop},
url = {https://publications.embedded.rwth-aachen.de/file/6c},
for_reporting_period = {2016}
}
@INPROCEEDINGS {BSF+16,
author = {Bohlender, Dimitri and Simon, Hendrik and Friedrich, Nico and Kowalewski, Stefan and Hauck-Stattelmann, Stefan},
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},
publisher = {IEEE},
publishedas = {Druck},
isbn = {978-1-5090-4190-9},
language = {eng},
pages = {432--437},
year = {2016},
timestamp = {2016.06.27},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2016}
}
@INPROCEEDINGS {DKS+16,
author = {Dzafic, Dzenan and Klein-Ridder, Daniel and Schoonbrood, Pierre and Franke, Dominik and Kowalewski, Stefan},
title = {Der Bodenbelag-Detektor des eNav-Systems},
booktitle = {AGIT Journal f{\"u}r Angewandte Geoinformatik},
volume = {2-2016},
publisher = {Wichmann Verlag},
publishedas = {Druck},
isbn = {978-3-87907-622-2},
issn = {2364-9283},
language = {ger},
pages = {318--327},
year = {2016},
timestamp = {2016.06.14},
i11key = {conference},
i11projectkey = {enav},
url = {https://publications.embedded.rwth-aachen.de/file/6a},
for_reporting_period = {2016}
}
@INPROCEEDINGS {DLS+16,
author = {Dzafic, Dzenan and Lahr, Florian and Schoonbrood, Pierre and Franke, Dominik and Kowalewski, Stefan},
title = {Das Barrierenerkennungssystem von eNav},
booktitle = {AGIT Journal f{\"u}r Angewandte Geoinformatik},
volume = {2-2016},
publisher = {Wichmann Verlag},
publishedas = {Druck},
isbn = {978-3-87907-622-2},
issn = {2364-9283},
language = {ger},
pages = {298--307},
year = {2016},
timestamp = {2016.06.14},
i11key = {conference},
i11projectkey = {enav},
url = {https://publications.embedded.rwth-aachen.de/file/69},
for_reporting_period = {2016}
}
@INPROCEEDINGS {DSFK17,
author = {Dzafic, Dzenan and Schoonbrood, Pierre and Franke Dominik and Kowalewski, Stefan},
editor = {Wichert, Reiner and Mand, Beate},
title = {eNav: A Suitable Navigation System for the Disabled},
booktitle = {Ambient Assisted Living},
publisher = {Springer International Publishing AG2017},
publishedas = {Druck},
isbn = {978-3-319-52321-7},
issn = {2191-6853},
language = {eng},
pages = {133--150},
year = {2017},
timestamp = {2016.06.14},
i11key = {conference},
i11projectkey = {enav},
url = {https://publications.embedded.rwth-aachen.de/file/67},
for_reporting_period = {2016}
}
@INPROCEEDINGS {GNK16,
author = {G{\"o}be, Florian and Ney, Oliver and Kowalewski, Stefan},
title = {Reusability and Modularity of Safety Specifications for Supervisory Control},
booktitle = {of the IEEE International Conference on Emerging Technology & Factory Automation},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-5090-1314-2},
language = {eng},
pages = {1--8},
year = {2016},
timestamp = {2016.06.03},
i11key = {conference},
url = {https://publications.embedded.rwth-aachen.de/file/6t},
slides = {http://ies-iten.com},
for_reporting_period = {2016}
}
@INPROCEEDINGS {BK16,
author = {Banila, Madalina and Kowalewski, Stefan},
editor = {Jumar, Ulrich and Diedrich,Christian},
title = {Ein Ansatz zur automatisierten normgerechten Testplanung f{\"u}r sicherheitskritische eingebettete Software im Automobilbereich},
booktitle = {14. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA)},
volume = {14},
publisher = {Institut f{\"u}r Automation und Kommunikation e.V. Magdeburg},
publishedas = {Druck Online},
isbn = {978-3-944722-35-1},
language = {ger},
pages = {1--10},
year = {2016},
timestamp = {2016.03.29},
i11key = {conference},
for_reporting_period = {2016}
}
@INPROCEEDINGS {GHDK16,
author = {Gerlitz, Thomas and Hansen, Norman, and Dernehl, Christian and Kowalewski, Stefan},
title = {artshop: A Continuous Integration and Quality Assessment Framework for Model-Based Software Artifacts},
booktitle = {12. Dagstuhl-Workshop Modelbasierte Entwicklung eingebetteter Systeme (MBEES)},
publisher = {fortiss Technischer Bericht},
publishedas = {Online},
language = {eng},
pages = {13--22},
year = {2016},
timestamp = {2016.03.29},
i11key = {conference},
i11projectkey = {artshop},
url = {http://download.fortiss.org/public/mbees/mbees2016_proceedings.pdf},
for_reporting_period = {2016}
}
@INPROCEEDINGS {GTNK16,
author = {G{\"o}be, Florian and Timmermanns, Thomas and Ney, Oliver and Kowalewski, Stefan},
title = {Synthesis Tool for Automation Controller Supervision},
booktitle = {of the 13th International Workshop on Discrete Event Systems},
publisher = {IEEE},
publishedas = {Online},
isbn = {978-1-5090-4190-9},
language = {eng},
pages = {424--431},
year = {2016},
timestamp = {2016.03.22},
i11key = {conference},
url = {https://publications.embedded.rwth-aachen.de/file/6b},
for_reporting_period = {2016}
}
@INPROCEEDINGS {GK16,
author = {Gerlitz, Thomas and Kowalewski, Stefan},
title = {Flow Sensitive Slicing for MATLAB/Simulink Models},
booktitle = {13th Working IEEE/IFIP Conference on Software Architecture (WICSA)},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-5090-2131-4},
language = {eng},
pages = {81--90},
year = {2016},
timestamp = {2016.03.16},
i11key = {conference},
i11projectkey = {artshop},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7516814&refinements%3D4225197637%26filter%3DAND%28p_IS_Number%3A7516797%29},
for_reporting_period = {2016}
}
@INPROCEEDINGS {GK16a,
author = {Gerlitz, Thomas and Kowalewski, Stefan},
title = {Architectural Analysis of MATLAB/Simulink Models with artshop},
booktitle = {13th Working IEEE/IFIP Conference on Software Architecture (WICSA)},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-5090-2131-4},
language = {eng},
pages = {307--310},
year = {2016},
timestamp = {2016.03.16},
i11key = {conference},
i11projectkey = {artshop},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7516853&refinements%3D4225197637%26filter%3DAND%28p_IS_Number%3A7516797%29},
for_reporting_period = {2016}
}
@INPROCEEDINGS {BSK16,
author = {Bohlender, Dimitri and Simon, Hendrik and Kowalewski, Stefan},
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.},
publisher = {Albert-Ludwigs-Universit{\"{a}}t Freiburg},
publishedas = {Online},
isbn = {978-3-00-052380-9},
language = {eng},
pages = {33--45},
year = {2016},
timestamp = {2016.03.03},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2016}
}
@INPROCEEDINGS {SSS16,
author = {Schlaefer, Alexander and Schupp, Sibylle and Stollenwerk, Andr\'{e}},
editor = {Knoop, Jens and Zdun, Uwe},
title = {2nd Workshop on Fail Safety in Medical Cyber-Physical Systems (FS-MCPS)},
booktitle = {Software Engineering 2016},
series = {Lecture Notes in Informatics},
volume = {P-252},
publisher = {Gesellschaft f{\"u}r Informatik},
publishedas = {Druck Online},
isbn = {978-3-88579-646-6},
issn = {1617-5468},
language = {eng},
pages = {127--128},
year = {2016},
timestamp = {2016.03.03},
i11key = {conference},
url = {http://ceur-ws.org/Vol-1559/paper22.pdf},
for_reporting_period = {2016}
}
@INPROCEEDINGS {BK15,
author = {Ben Makhlouf, Ibtissem and Kowalewski, Stefan},
editor = {Goran Frehse and Matthias Althoff},
title = {Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
series = {EPiC Series in Computing},
volume = {34},
publisher = {EasyChair},
publishedas = {Druck Online},
issn = {2040-557X},
language = {eng},
pages = {37--42},
year = {2015},
timestamp = {2016.02.04},
i11key = {conference},
url = {http://www.easychair.org/publications/download/Networked_Cooperative_Platoon_of_Vehicles_for_Testing_Methods_and_Verification_Tools},
for_reporting_period = {2016}
}
@INPROCEEDINGS {BK15a,
author = {Ben Makhlouf, Ibtissem and Kowalewski, Stefan},
editor = {Goran Frehse and Matthias Althoff},
title = {Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability},
booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
series = {EPiC Series in Computing},
volume = {34},
publisher = {EasyChair},
publishedas = {Druck Online},
issn = {2040-557X},
language = {eng},
pages = {169--179},
year = {2015},
timestamp = {2016.02.04},
i11key = {conference},
url = {http://www.easychair.org/publications/download/Optimizing_Safe_Control_of_a_Networked_Platoon_of_Trucks_Using_Reachability},
for_reporting_period = {2016}
}
@INPROCEEDINGS {JGN14a,
author = {Jansen, Christina and G{\"o}be, Florian and Noll, Thomas},
title = {Generating inductive predicates for symbolic execution of pointer-manipulating programs},
booktitle = {of the 7th international conference on graph transformation},
publisher = {Springer},
publishedas = {Druck Online},
isbn = {978-3-319-09107-5},
issn = {0302-9743},
language = {eng},
pages = {65--80},
year = {2014},
timestamp = {2016.01.28},
i11key = {conference},
for_reporting_period = {2014}
}
@TECHREPORT {JGN14b,
author = {Jansen, Christina and G{\"o}be, Florian and Noll, Thomas},
title = {Generating inductive predicates for symbolic execution of pointer-manipulating programs},
pages = {65--80},
institution = {RWTH Aachen University},
year = {2014},
number = {AIB 2014-08},
month = {May},
url = {http://webdoc.sub.gwdg.de/ebook/serien/ah/AIB/2014-08.pdf},
timestamp = {2016.01.28},
for_reporting_period = {2014}
}
@INPROCEEDINGS {DKK16,
author = {Dernehl, Christian and K{\"u}hn, Jan and Kowalewski, Stefan},
title = {Abstract Interpretation for Block Diagrams - Two Case Studies},
booktitle = {13th Workshop on Model Design, Verification and Validation},
publisher = {CEUR},
publishedas = {Online},
language = {eng},
pages = {20--29},
year = {2016},
timestamp = {2016.01.18},
i11key = {conference},
i11projectkey = {ECLA-Vent},
url = {http://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_3.pdf},
for_reporting_period = {2016}
}
@INPROCEEDINGS {SSJ+16,
author = {Smieschek, Manfred and Stollenwerk, Andr{\'e} and J{\"u}ptner, Patrick and Kowalewski, Stefan and Orlikowsky, Thorsten and Schoberer, Mark},
editor = {Zimmermann, Wolf and Alperowitz, Lukas and Br{\"u}gge, Bernd and Fahsel, J{\"o}rn and Herrmann, Andrea and Hoffmann, Anne and Krall, Andreas and Landes, Dieter and Lichter, Horst and Riehle, Dirk and Schaefer, Ina and Scheuermann, Constantin and Schlaefer, Alexander and Schupp, Sibylle and Seitz, Andreas and Steffens, Andreas and Stollenwerk, Andr\'{e} and Wei{/ss}bach, R{/"u}diger},
title = {Evaluating Hand Disinfection with Alcohol-Based Hand Sanitizers Using Thermal Imaging},
booktitle = {Fail Safety in Medical Cyber-Physical Systems},
series = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016)},
number = {2},
volume = {1559},
publisher = {CEUR Workshop Proceedings},
publishedas = {Online},
issn = {1613-0073},
language = {eng},
pages = {174--181},
year = {2016},
timestamp = {2016.01.18},
i11key = {conference},
url = {http://ceur-ws.org/Vol-1559/paper23.pdf},
for_reporting_period = {2016}
}
@PHDTHESIS {Ben16,
author = {Ben Makhlouf, I.},
title = {Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems = Methoden zur Erreichbarkeitsanalyse hybrider Systeme},
type = {Dissertation},
year = {2016},
month = {Februar},
i11key = {thesis},
for_reporting_period = {2016}
}
%2015
@ARTICLE {BGK15,
author = {Ben Makhlouf, Ibtissem and Gan, Jonathan and Kowalewski, Stefan},
title = {A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems},
journal = {IFAC-PapersOnLine},
year = {2015},
volume = {48},
pages = {13--20},
publisher = {Elsevier Ltd},
publishedas = {Online Druck},
issn = {2405-8963},
i11key = {journal},
language = {eng},
url = {http://www.sciencedirect.com/science/article/pii/S2405896315024040},
note = {Analysis and Design of Hybrid Systems ADHS Atlanta, GA, USA, Oct. 14-16, 2015},
timestamp = {2015.12.08},
for_reporting_period = {2015}
}
@INPROCEEDINGS {SAC+15,
author = {Schupp, Stefan and Abraham, Erika and Chen, Xin and Ben Makhlouf, Ibtissem and Frehse, Goran and Sankaranarayanan, Sriram and Kowalewski, Stefan},
editor = {Berger, Christian and Mousavi, Mohammad Reza},
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},
publisher = {Springer},
publishedas = {Druck Online},
isbn = {978-3-319-25140-0},
issn = {0302-9743},
language = {eng},
pages = {8--24},
year = {2015},
timestamp = {2015.12.08},
i11key = {conference},
url = {http://dx.doi.org/10.1007/978-3-319-25141-7},
for_reporting_period = {2016}
}
@INPROCEEDINGS {DBFK14,
author = {Dzafic, Dzenan and Baumeister, Danni and Franke, Dominik and Kowalewski, Stefan},
title = {{Integration von Bodenbelagsinformationen zum energieeffizienten Routen von Elektrorollst{\"u}hlen}},
booktitle = {Angewandte Geoinformatik 2014 (Agit)},
series = {Beitr{\"a}ge zum AGIT-Symposium Salzburg},
volume = {26},
publisher = {Wichmann},
publishedas = {Druck},
isbn = {978-3-87907-543-0},
language = {ger},
pages = {451--460},
year = {2014},
timestamp = {2015.11.25},
i11key = {conference},
i11projectkey = {enav},
url = {http://publications.embedded.rwth-aachen.de/file/5c},
for_reporting_period = {2014}
}
@ARTICLE {KBS+15,
author = {K{\"u}hn, Jan and Brendle, Christian and Stollenwerk, Andr{\'e} and Walter, Marian and Wardeh, Nabil and Rossaint, Rolf and Leonhardt, Steffen and Kowalewski, Stefan and Kopp, R{\"u}dger},
title = {Pulsatile Ansteuerung einer Diagonalblutpumpe},
journal = {atp edition - Automatisierungstechnische Praxis},
year = {2015},
volume = {10},
pages = {52--59},
publisher = {DIV Deutscher Industrieverlag GmbH},
publishedas = {Online Druck},
issn = {2190-4111},
i11key = {journal},
i11projectkey = {ECLA-Vent},
language = {eng},
url = {http://publications.embedded.rwth-aachen.de/file/64},
timestamp = {2015.10.30},
for_reporting_period = {2015}
}
@ARTICLE {KBS+15a,
author = {Kopp, R{\"u}dger and Bensberg, Ralf and Stollenwerk, Andr{\'e} and Arens, Jutta and Grottke, Oliver and Walter, Marian and Rossaint, Rolf},
title = {Automatic Control of veno-venous Extracorporeal Lung Assist},
journal = {Artificial Organs},
year = {2015},
publisher = {Wiley},
publishedas = {Online Druck},
issn = {1525-1594},
i11key = {journal},
i11projectkey = {SmartECLA},
language = {eng},
url = {http://publications.embedded.rwth-aachen.de/file/61},
note = {To appear},
timestamp = {2015.10.30},
for_reporting_period = {2016}
}
@INPROCEEDINGS {DHGK15,
author = {Dernehl, Christian and Hansen, Norman and Gerlitz, Thomas and Kowalewski, Stefan},
title = {Static Value Range Analysis for Matlab/Simulink-Models},
booktitle = {INFORMATIK 2015},
publisher = {Douglas W. Cunningham, Petra Hofstedt, Klaus Meer, Ingo Schmitt},
publishedas = {Druck},
isbn = {978-3-88579-640-4},
issn = {1617-5468},
language = {eng},
pages = {1649--1660},
year = {2015},
timestamp = {2015.10.14},
i11key = {conference},
url = {https://publications.embedded.rwth-aachen.de/file/6s},
for_reporting_period = {2015}
}
@INPROCEEDINGS {KGK15,
author = {Kalkov, Igor and Gurghian, Alexandru and Kowalewski, Stefan},
title = {Priority Inheritance during Remote Procedure Calls in Real-Time Android using Extended Binder Framework},
booktitle = {13th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES)},
series = {JTRES '15},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-4503-3644-4},
language = {eng},
pages = {5:1--5:10},
year = {2015},
timestamp = {2015.10.09},
i11key = {conference},
i11projectkey = {RTAndroid},
url = {http://publications.embedded.rwth-aachen.de/file/5z},
for_reporting_period = {2015}
}
@INPROCEEDINGS {GMD15,
author = {Gerlitz, Thomas and Minh Tran, Quang and Dziobek, Christian},
title = {Detection and Handling of Model Smells for MATLAB/Simulink Models},
booktitle = {Proceedings of the International Workshop on Modelling in Automotive Software Engineering},
publisher = {CEUR},
publishedas = {Online},
issn = {1613-0073},
language = {eng},
pages = {13--22},
year = {2015},
timestamp = {2015.10.02},
i11key = {conference},
i11projectkey = {artshop},
url = {http://ceur-ws.org/Vol-1487/MASE_2015_paper_13.pdf},
for_reporting_period = {2015}
}
@ARTICLE {BFSK15,
author = {Biallas, Sebastian and Friedrich, Nico and Simon, Hendrik and Kowalewski, Stefan},
title = {Automatic Error Cause Localization of Faulty PLC Programs},
journal = {IFAC-PapersOnLine},
year = {2015},
volume = {48},
pages = {79--84},
publisher = {Elsevier Ltd},
publishedas = {Online Druck},
issn = {1474-6670},
i11key = {conference},
i11projectkey = {Arcade},
language = {eng},
url = {http://www.sciencedirect.com/science/article/pii/S2405896315007156},
timestamp = {2015.09.21},
for_reporting_period = {2015}
}
@INPROCEEDINGS {SFB+15,
author = {Simon, Hendrik and Friedrich, Nico and Biallas, Sebastian and Hauck-Stattelmann, Stefan and Schlich, Bastian and Kowalewski, Stefan},
title = {Automatic Test Case Generation for PLC Programs using Coverage Metrics},
booktitle = {International Conference on Emerging Technologies and Factory Automation (ETFA)},
publisher = {IEEE},
publishedas = {Druck},
isbn = {978-1-4673-7929-8},
language = {eng},
pages = {1--4},
year = {2015},
timestamp = {2015.09.15},
i11key = {conference},
for_reporting_period = {2015}
}
@INPROCEEDINGS {DLB+14,
author = {Dzafic, D. and Link, {J. A. B.} and Baumeister, D. and Kowalewski, S. and Wehrle, K.},
title = {Towards an Indoor Traffic Report - Requirements for Dynamic Route Planning for Wheelchair Users},
booktitle = {International Conference on Indoor Positioning and Indoor Navigation},
publisher = {IEEE},
publishedas = {Online},
language = {eng},
pages = {1--5},
year = {2014},
timestamp = {2015.07.13},
i11key = {conference},
i11projectkey = {eNav},
url = {http://publications.embedded.rwth-aachen.de/get/5h.pdf},
for_reporting_period = {2014}
}
@INPROCEEDINGS {BSK+15,
author = {Biallas, Sebastian and Simon, Hendrik and Kowalewski, Stefan and Hauck-Stattelmann, Stefan and Schlich, Bastian},
title = {Automatische Testfallgenerierung f{\"u}r SPS-Programme mittels Zeilen{\"u}berdeckung},
booktitle = {AUTOMATION 2015},
publisher = {VDI},
publishedas = {Druck},
language = {ger},
pages = {100--111},
year = {2015},
timestamp = {2015.07.08},
i11key = {conference},
i11projectkey = {Arcade},
url = {{http://publications.embedded.rwth-aachen.de/file/5r}},
for_reporting_period = {2015}
}
@INPROCEEDINGS {SDK+11,
author = {Sasnauskas, Raimondas and Dustmann, Oscar Soria and Kaminski, Benjamin Lucien and Wehrle, Klaus and Weise, Carsten and Kowalewski, Stefan},
title = {Scalable symbolic execution of distributed systems},
booktitle = {31st International Conference on Distributed Computing Systems (ICDCS)},
publishedas = {Druck Online},
isbn = {978-0-7695-4364-2},
language = {eng},
pages = {333--342},
year = {2011},
timestamp = {2015.07.06},
i11key = {conference},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5961669},
for_reporting_period = {2015}
}
@INPROCEEDINGS {HBS+15,
keywords = {Static Analysis; Abstract Interpretation; Programmable Logic Controllers},
author = {Hauck-Stattelmann, Stefan and Biallas, Sebastian and Schlich, Bastian and Kowalewski, Stefan and Jetley, Raoul},
editor = {Bj{\o}rner, Nikolaj and de Boer, Frank},
title = {Analyzing the Restart Behavior of Industrial Control Applications},
booktitle = {FM 2015: Formal Methods},
series = {Lecture Notes in Computer Science},
volume = {9109},
publisher = {Springer International Publishing},
publishedas = {Druck Online},
isbn = {978-3-319-19248-2},
language = {eng},
pages = {585--588},
year = {2015},
timestamp = {2015.06.03},
i11key = {conference},
i11projectkey = {Arcade},
url = {http://publications.embedded.rwth-aachen.de/file/5u},
for_reporting_period = {2015}
}
@PHDTHESIS {Gue14,
institution = {RWTH Aachen},
keywords = {formal verification, model checking, hardware description, retargeting, embedded software},
number = {AIB-2014-15},
timestamp = {2015.06.01},
author = {G{\"u}ckel, Dominique},
title = {{S}ynthesis of {S}tate {S}pace {G}enerators for {M}odel {C}hecking {M}icrocontroller {C}ode},
school = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen},
type = {Dissertation},
year = {2014},
month = {November},
i11key = {thesis},
i11projectkey = {Arcade},
url = {http://aib.informatik.rwth-aachen.de/2014/2014-15.pdf},
for_reporting_period = {2014}
}
@INPROCEEDINGS {BHK+15,
doi = {10.1016/j.ifacol.2015.10.190},
author = {Brendle, Christian and Hackmack, Kay-Florian and K{\"u}hn, Jan and Wardeh, Markus Nabil and Kopp, R{\"u}dger and Rossaint, Rolf and Stollenwerk, Andr{\'e} and Kowalewski, Stefan and Misgeld, Berno and Leonhardt, Steffen and Walter, Marian},
title = {In silico evaluation of gas transfer estimation during extracorporeal membrane oxygenation},
booktitle = {9th IFAC Symposium on Biological and Medical Systems},
number = {20},
volume = {48},
publisher = {IFAC-PapersOnLine},
publishedas = {Druck Online},
issn = {2405-8963},
language = {eng},
pages = {499--504},
year = {2015},
timestamp = {2015.05.12},
i11key = {conference},
i11projectkey = {ECLA-Vent},
url = {http://www.sciencedirect.com/science/article/pii/S2405896315020819},
for_reporting_period = {2015}
}
@INPROCEEDINGS {GSK15,
author = {Gerlitz, Thomas and Schake, Stefan and Kowalewski, Stefan},
title = {Duplikatserkennung und Refactoring in Matlab/Simulink-Modellen},
booktitle = {11. Dagstuhl-Workshop Modelbasierte Entwicklung eingebetteter Systeme (MBEES)},
publisher = {},
publishedas = {Online},
language = {ger},
pages = {17--27},
year = {2015},
timestamp = {2015.04.01},
i11key = {conference},
i11projectkey = {artshop},
url = {http://publications.embedded.rwth-aachen.de/file/60},
for_reporting_period = {2015}
}
@INPROCEEDINGS {KWS+15,
author = {K{\"u}hn, Jan and W{\"u}bbels, Nico and Stollenwerk, André and Walter, Marian and Brendle, Christian and Wardeh, Nabil and Rossaint, Rolf and Leonhardt, Steffen and Kowalewski, Stefan and Kopp, R{\"u}dger},
editor = {VDI Wissensforum},
title = {Pulsatile Ansteuerung einer Diagonalblutpumpe},
booktitle = {Automation 2015},
publisher = {VDI Verlag},
publishedas = {Druck Online},
isbn = {978-3-18-092258-4},
language = {ger},
pages = {325--339},
year = {2015},
timestamp = {2015.03.25},
i11key = {conference},
i11projectkey = {ECLA-Vent},
url = {http://publications.embedded.rwth-aachen.de/file/65},
for_reporting_period = {2015}
}
@ARTICLE {PBD+12,
author = {Pleuss, Andreas and Botterweck, Goetz and Dhungana, Deepak and Polzer, Andreas and Kowalewski, Stefan},
title = {Model-driven support for product line evolution on feature level},
journal = {Journal of Systems and Software},
year = {2012},
volume = {85},
pages = {2261--2274},
publisher = {Elsevier},
publishedas = {Online Druck},
issn = {0164-1212},
i11key = {journal},
language = {eng},
url = {http://www.sciencedirect.com/science/article/pii/S0164121211002093},
timestamp = {2015.03.23},
for_reporting_period = {2015}
}
@INPROCEEDINGS {KSS+15,
author = {K{\"u}hn, Jan and Schoonbrood, Pierre and Stollenwerk, André and Walter, Marian and Brendle, Christian and Wardeh, Nabil and Rossaint, Rolf and Leonhardt, Steffen and Kowalewski, Stefan and Kopp, R{\"u}dger},
editor = {Zimmermann, Wolf and B{\"o}hm, Wolfgang and Grelck, Clemens and Heinrich, Robert and Jung, Reiner and Konersmann, Marco and Schlaefer, Alexander and Schmieders, Eric and Schupp, Sibylle and Trancón Widemann, Baltasar and Weyer, Thorsten},
title = {Safety Conflict Analysis in Medical Cyber-Physical Systems using an SMT-Solver},
booktitle = {Fail Safety in Medical Cyber-Physical Systems},
volume = {1337},
publisher = {CEUR Workshop Proceedings},
publishedas = {Online},
issn = {1613-0073},
language = {eng},
pages = {19--23},
year = {2015},
timestamp = {2015.02.19},
i11key = {conference},
i11projectkey = {ECLA-Vent},
url = {http://publications.embedded.rwth-aachen.de/file/5s},
for_reporting_period = {2015}
}
@INPROCEEDINGS {SKW+15,
author = {Stollenwerk, Andr{\'e} and K{\"u}hn, Jan and Walter, Marian and Brendle, Christian and Wardeh, Nabil and Rossaint, Rolf and Leonhardt, Steffen and Kowalewski, Stefan and Kopp, R{\"u}dger},
editor = {Zimmermann, Wolf and B{\"o}hm, Wolfgang and Grelck, Clemens and Heinrich, Robert and Jung, Reiner and Konersmann, Marco and Schlaefer, Alexander and Schmieders, Eric and Schupp, Sibylle and Trancón Widemann, Baltasar and Weyer, Thorsten},
title = {Software-based Prediction of Cannula Occlusion during Extracorporeal Blood Circulation through Networked Medical Data},
booktitle = {Fail Safety in Medical Cyber-Physical Systems},
volume = {1337},
publisher = {CEUR Workshop Proceedings},
publishedas = {Online},
issn = {1613-0073},
language = {eng},
pages = {1--6},
year = {2015},
timestamp = {2015.02.10},
i11key = {conference},
i11projectkey = {ECLA-Vent},
url = {http://publications.embedded.rwth-aachen.de/file/5p},
for_reporting_period = {2015}
}
@INPROCEEDINGS {CSB+15,
author = {Chen , Xin and Schupp, Stefan and Ben Makhlouf, Ibtissem and Abraham, Erika and Frehse, Goran and Kowalewski, Stefan},
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},
publisher = {Springer},
publishedas = {Druck},
isbn = {978-3-319-17523-2},
issn = {1611-3349},
language = {eng},
pages = {408--414},
year = {2015},
timestamp = {2015.01.29},
i11key = {Symposium},
url = {http://dx.doi.org/10.1007/978-3-319-17524-9_29},
for_reporting_period = {2015}
}
@TECHREPORT {FAKK14,
author = {F{\"o}rster, Marc and Auerswald, Marko and Keldenich, Phillip and Kowalewski, Stefan},
title = {Semantic interfaces for automotive software components: exemplary development & validation of a practical specification language},
pages = {1--100},
institution = {RWTH},
keywords = {Cyber-physical systems, model-based development, modular specification, contract-based verification, refinement verification, timed automata, time Petri nets, model checking, behaviour description language},
year = {2014},
number = {ESL-TR-2014-AK-02},
month = {March},
note = {To appear},
timestamp = {2015.01.06},
for_reporting_period = {2013}
}
@CONFERENCE {FOR14,
url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6983827},
author = {F{\"o}rster, Marc},
title = {Evaluating embedded-software specifications},
booktitle = {ISSRE},
year = {2014},
timestamp = {2015.01.06},
language = {eng},
for_reporting_period = {2014}
}
@PHDTHESIS {Fra15,
author = {Franke, D.},
title = {Testing life cycle-related properties of mobile applications = Testen von Lebenszykluseigenschaften mobiler Anwendungen},
type = {Disseration},
year = {2015},
i11key = {thesis},
for_reporting_period = {2015}
}
@PHDTHESIS {Pol15,
author = {Polzer, A.},
title = {Ansatz zur variantenreichen und modellbasierten Entwicklung von eingebetteten Systemen unter Ber{\"u}cksichtigung regelungs- und softwaretechnischer Anforderungen = Model-based product-line development of embedded systems considering requirements form control- and software engineering},
type = {Disseration},
year = {2015},
i11key = {thesis},
for_reporting_period = {2015}
}
%2014
@INPROCEEDINGS {KGK14,
author = {Kalkov, Igor and Gurghian, Alexandru and Kowalewski, Stefan},
title = {Predictable Broadcasting of Parallel Intents in Real-Time Android},
booktitle = {12th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES)},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-4503-2813-5},
language = {eng},
pages = {57 -- 66},
year = {2014},
timestamp = {2014.10.14},
i11key = {conference},
i11projectkey = {RTAndroid},
url = {http://publications.embedded.rwth-aachen.de/file/5g},
for_reporting_period = {2014}
}
@ARTICLE {RFB14,
author = {Reinbacher, Thomas and Fuegger, Matthias and Brauer, J{\"o}rg},
title = {Runtime verification of embedded real-time systems},
journal = {Formal methods in system design},
year = {2014},
volume = {44},
pages = {203--239},
publisher = {Springer Science + Business Media B.V},
publishedas = {Online Druck},
issn = {0925-9856},
i11key = {journal},
language = {eng},
timestamp = {2014.09.22},
for_reporting_period = {2014}
}
@INPROCEEDINGS {OKK14,
author = {Obster, Mathias and Kalkov, Igor and Kowalewski, Stefan},
title = {Development and Execution of PLC Programs on Real-Time Capable Mobile Devices},
booktitle = {19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-4799-4845-1},
language = {eng},
year = {2014},
timestamp = {2014.09.17},
i11key = {conference},
i11projectkey = {RTAndroid},
url = {http://publications.embedded.rwth-aachen.de/file/5e},
for_reporting_period = {2014}
}
@INPROCEEDINGS {SBSK14,
author = {Stattelmann, Stefan and Biallas, Sebastian and Schlich, Bastian and Kowalewski, Stefan},
title = {Applying Static Code Analysis on Industrial Controller Code},
booktitle = {19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-4799-4845-1},
language = {eng},
year = {2014},
timestamp = {2014.09.17},
i11key = {conference},
i11projectkey = {Arcade},
note = {Work in Progress Best Paper Award},
for_reporting_period = {2014}
}
@INPROCEEDINGS {DKFK15,
author = {Dzafic, Dzenan and Klug, Stefan and Franke, Dominik and Kowalewski, Stefan},
title = {Routing {\"u}ber Fl{\"a}chen mit SpiderWebGraph},
booktitle = {Journal f{\"u}r angewandte Geoinformatik 1-2015},
publisher = {Wichmann Verlag},
publishedas = {Druck},
isbn = {978-87907-557-7},
language = {ger},
pages = {516--525},
year = {2015},
timestamp = {2014.07.07},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/get/5y.pdf},
for_reporting_period = {2015}
}
@INPROCEEDINGS {SKB+14,
pages = {6593-6598},
url = {http://publications.embedded.rwth-aachen.de/file/5d},
author = {Stollenwerk, Andr{\'e} and K{\"u}hn, Jan and Brendle, Christian and Walter, Marian and Arens, Jutta and Wardeh, Markus Nabil and Kowalewski, Stefan and Kopp, R{\"u}dger},
title = {Model-based supervision of a blood pump},
booktitle = {19th World Congress of the International Federation of Automatic Control},
year = {2014},
timestamp = {2014.05.05},
language = {eng},
i11projectkey = {ECLA-Vent},
for_reporting_period = {2014}
}
@INPROCEEDINGS {FK14,
author = {Franke, Dominik and Kowalewski, Stefan},
editor = {Cerone, Antonio and Persico, Donatella and Fernandes, Sara and Garcia-Perez, Alexeis and Katsaros, Panagiotis and Shaikh, Siraj Ahmed and Stamelos, Ioannis},
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},
series = {Lecture Notes in Computer Science},
volume = {7991},
publisher = {Springer Berlin Heidelberg},
publishedas = {Druck Online},
isbn = {978-3-642-54337-1},
language = {eng},
pages = {140--146},
year = {2014},
timestamp = {2014.04.21},
i11key = {conference},
url = {http://dx.doi.org/10.1007/978-3-642-54338-8_11},
for_reporting_period = {2014}
}
@INPROCEEDINGS {DF14,
author = {Dzafic, Dzenan and Franke, Dominik},
title = {Integration von Informationen {\"u}ber die Bodenbeschaffenheit in das eNav-System},
booktitle = {Gesellschaft f{\"u}r Informatik Seminars, Informatiktage},
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
publishedas = {Druck Online},
issn = {1614-3213},
language = {ger},
pages = {123--126},
year = {2014},
url = {http://publications.embedded.rwth-aachen.de/file/59},
timestamp = {2014.04.01},
i11key = {conference},
for_reporting_period = {2014}
}
@INPROCEEDINGS {RBH+14,
author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
title = {Runtime verification of microcontroller binary code},
booktitle = {Science of computer programming},
volume = {80},
publisher = {Elsevier},
publishedas = {Druck Online},
issn = {0167-6423},
language = {eng},
pages = {109--129},
year = {2014},
timestamp = {2014.04.01},
i11key = {journal},
for_reporting_period = {2014}
}
@INPROCEEDINGS {BKSS14,
address = {Cachan, France},
author = {Biallas, Sebastian and Kowalewski, Stefan and Stattelmann, Stefan and Schlich, Bastian},
title = {Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code},
booktitle = {Proceedings of the 12th International Workshop on Discrete Event Systems},
publisher = {IFAC},
publishedas = {Druck Online},
language = {eng},
pages = {400--405},
year = {2014},
timestamp = {2014.02.24},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2014}
}
@PHDTHESIS {Bra13,
author = {Brauer, J{\"o}rg},
title = {{A}utomatic {A}bstraction for {B}it-{V}ectors using {D}ecision {P}rocedures},
school = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen},
type = {Dissertation},
year = {2013},
month = {November},
issn = {0935–3232},
i11key = {thesis},
url = {http://publications.embedded.rwth-aachen.de/file/4y},
keywords = {abstract interpretation, automatic abstraction, sat solving, decision procedures},
i11projectkey = {Arcade},
note = {AIB-2013-14},
timestamp = {2014.02.03},
for_reporting_period = {2013}
}
@ARTICLE {PMS+13,
author = {Pomprapa, Anake and Misgeld, Berno and Sorgato, Ver{\'o}nica and Stollenwerk, Andr{\'e} and Walter, Marian and Leonhardt, Steffen},
title = {Robust Control of End-Tidal CO2 using the H∞ Loop-Shaping Approach},
journal = {Acta Polytechnica},
year = {2013},
volume = {53},
pages = {895--900},
publisher = {Czech Technical University in Prague},
publishedas = {Online Druck},
issn = {1805-2363},
i11key = {journal},
i11projectkey = {SmartECLA},
language = {eng},
url = {http://ojs.cvut.cz/ojs/index.php/ap/article/view/2024},
timestamp = {2014.01.06},
for_reporting_period = {2014}
}
@INPROCEEDINGS {SDK13,
author = {Schellen, Johannes and Dernehl, Christian and Kowalewski, Stefan},
title = {Optimizing Image Processing on OMAP3 with driver-level frame bu ering and color space conversion},
booktitle = {International Micro Air Vehicle Conference and Flight Competition (IMAV)},
publisher = {IMAV},
publishedas = {Online},
language = {eng},
pages = {1 -- 8},
year = {2013},
timestamp = {2014.01.06},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/54},
for_reporting_period = {2013}
}
@ARTICLE {WSB+13,
author = {Walter, Marian and Stollenwerk, Andre and Bensberg, Ralf and Kopp, R{\"u}dger and Leonhardt, Steffen},
title = {Smart ECLA—closed loop control of O2 and CO2 for management of extracorporeal lung assist},
journal = {Journal of Critical Care},
year = {2013},
volume = {28},
pages = {e41--e42},
publisher = {Elsevier},
publishedas = {Online Druck},
issn = {0883-9441},
i11key = {journal},
i11projectkey = {SmartECLA},
language = {eng},
url = {http://www.jccjournal.org/article/S0883-9441%2813%2900236-0/abstract},
timestamp = {2014.01.06},
for_reporting_period = {2014}
}
@PHDTHESIS {Dia14,
author = {Diab, Hilal},
title = {Experimental validation and mathematical analysis of cooperative vehicles in a platoon},
school = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen},
type = {Dissertation},
year = {2014},
month = {May},
issn = {0935-3232},
i11key = {thesis},
url = {https://publications.rwth-aachen.de/record/465272/files/465272.pdf},
for_reporting_period = {2014}
}
@PHDTHESIS {MER14,
author = {Merschen, Daniel},
title = {Integration und Analyse von Artefakten in der modellbasierten Entwicklung eingebetteter Software},
school = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University},
type = {Dissertation},
year = {2014},
month = {M{\"a}rz},
issn = {0935-3232},
i11key = {thesis},
url = {http://publications.embedded.rwth-aachen.de/file/5a},
note = {AIB-2014-02},
for_reporting_period = {2014}
}
%2013
@INPROCEEDINGS {AFKK13,
author = {Armoush, Ashraf and Franke, Dominik and Kalkov, Igor and Kowalewski, Stefan},
title = {An Approach for Using Mobile Devices In Industrial Safety-Critical Embedded Systems},
booktitle = {5th International Conference on Mobile Computing, Applications and Services (MobiCASE)},
publisher = {Springer},
publishedas = {Online},
language = {eng},
pages = {0 -- 4},
year = {2013},
timestamp = {2013.11.11},
i11key = {conference},
i11projectkey = {RTAndroid},
url = {http://publications.embedded.rwth-aachen.de/file/56},
for_reporting_period = {2013}
}
@TECHREPORT {FOR12,
author = {F{\"o}rster, Marc},
title = {Dependable reuse & guarded integration of automotive software components - approaches to conditional specification & assurance},
pages = {1--78},
institution = {RWTH},
keywords = {Automotive software, case study, compositional reasoning, conditional specification, contract algebra, embedded systems, model-based development, program verification, software components, software reuse, state of the art, survey, virtual integration.},
year = {2012},
number = {ESL-2012/FAT-P},
month = {November},
url = {http://www.vda.de/en/publikationen/publikationen_downloads/detail.php?id=1141},
timestamp = {2013.10.22},
for_reporting_period = {2012}
}
@CONFERENCE {For13,
author = {F{\"o}rster, Marc},
title = {Conditional software specification & assurance - a practical assessment of contract-based approaches},
booktitle = {ISSRE 2013},
year = {2013},
timestamp = {2013.10.22},
language = {eng},
i11projectkey = {FAT},
note = {Invited talk},
for_reporting_period = {2013}
}
@INPROCEEDINGS {GKS+13,
author = {Gerlitz, Thomas and Kalkov, Igor and Schommer, John and Franke, Dominik and Kowalewski, Stefan},
title = {Non-Blocking Garbage Collection for Real-Time Android},
booktitle = {11th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES)},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-4503-2166-2},
language = {eng},
pages = {108 -- 117},
year = {2013},
timestamp = {2013.10.07},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/4v},
for_reporting_period = {2013}
}
@INPROCEEDINGS {SGK13,
author = {Schommer, John and Gerlitz, Thomas and Kowalewski, Stefan},
title = {Load and Quality Cooperation for Distributed Embedded Systems Using Different Modes of Operation},
booktitle = {7th Junior Researcher Workshop on Real-Time Computing},
publisher = {(ACM)},
publishedas = {Online},
language = {eng},
pages = {45--48},
year = {2013},
timestamp = {2013.10.07},
i11key = {conference},
i11projectkey = {RTAndroid},
url = {http://publications.embedded.rwth-aachen.de/file/4w},
for_reporting_period = {2013}
}
@INPROCEEDINGS {WGMK13,
author = {Wiechowski, Norbert and Gerlitz, Thomas and Merschen, Daniel and Kowalewski, Stefan},
editor = {Horbach, Matthias},
title = {Ein Ansatz zum merkmalsbasierten Konsistenzmanagement in der Produktlinienentwicklung},
booktitle = {INFORMATIK 2013 - Informatik angepasst an Mensch, Organisation und Umwelt},
series = {Lecture Notes in Informatics (LNI)},
volume = {P-220},
publisher = {K{\"o}llen Druck+Verlag GmbH, Bonn},
publishedas = {Druck},
isbn = {978-3-88579-614-5},
issn = {1617-5468},
language = {ger},
pages = {2502--2516},
year = {2013},
timestamp = {2013.10.07},
i11key = {conference},
i11projectkey = {artshop},
url = {http://publications.embedded.rwth-aachen.de/file/4x},
for_reporting_period = {2013}
}
@INPROCEEDINGS {BOCH13,
doi = {10.1109/SCAM.2013.6648186},
author = {Biallas, Sebastian and Olesen, Mads Chr. and Cassez, Franck and Huuck, Ralf},
editor = {Adams, Bram and Rilling, J{/"u}rgen and Khomh, Foutse},
title = {PtrTracker: Pragmatic Pointer Analysis},
booktitle = {13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2013)},
number = {13},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-4673-5739-5},
language = {eng},
pages = {69--73},
year = {2013},
timestamp = {2013.07.25},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/62},
for_reporting_period = {2013}
}
@ARTICLE {BKK13,
author = {Brauer, J{\"o}rg and King, Andy and Kowalewski, Stefan},
title = {Abstract interpretation of microcontroller code: Intervals meet congruences},
journal = {Science of Computer Programming. Methods of Software Design: Techniques and Applications},
year = {2013},
volume = {78, issue 7},
pages = {862--883},
publisher = {Elsevier},
publishedas = {Druck},
issn = {0167-6423},
i11key = {journal},
language = {eng},
timestamp = {2013.07.08},
i11projectkey = {Arcade},
for_reporting_period = {2013}
}
@INPROCEEDINGS {BGK13,
author = {Biallas, Sebastian and Giacobbe, Mirco and Kowalewski, Stefan},
editor = {Pecheur, Charles and Dierkes, Michael},
title = {Predicate Abstraction for Programmable Logic Controllers},
booktitle = {18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013)},
series = {Lecture Notes in Computer Science},
number = {8187},
publisher = {Springer Berlin Heidelberg},
publishedas = {Druck},
isbn = {978-3-642-41009-3},
language = {eng},
pages = {123--138},
year = {2013},
timestamp = {2013.06.27},
i11key = {conference},
i11projectkey = {Arcade},
volume = {8187},
url = {http://publications.embedded.rwth-aachen.de/file/4u},
for_reporting_period = {2013}
}
@INPROCEEDINGS {BBK13,
author = {Biallas, Sebastian and Bohlender, Dimitri and Kowalewski, Stefan},
title = {Boolean and Modular Abstractions for Programmable Logic Controllers},
booktitle = {Dependable Control of Discrete Systems (DCDS'13)},
publisher = {IEEE},
publishedas = {Druck},
isbn = {978-3-902823-49-6},
issn = {1474-6670},
language = {eng},
pages = {97--102},
year = {2013},
timestamp = {2013.06.06},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2013}
}
@INPROCEEDINGS {DFBK13,
author = {Dzafic, Dzenan and Franke, Dominik and Baumeister, Danni and Kowalewski, Stefan},
title = {Modifikation des A*-Algorithmus f{\"u}r energieeffizientes 3D-Routing},
booktitle = {Angewandte Geoinformatik 2013 - Beitr{\"a}ge zum 25. AGIT-Symposium (AGIT)},
publisher = {Wichmann Verlag},
publishedas = {Druck},
isbn = {978-3-87907-533-1},
language = {ger},
pages = {414 -- 423},
year = {2013},
timestamp = {2013.05.14},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/53},
for_reporting_period = {2013}
}
@INPROCEEDINGS {DF13,
author = {Dzafic, Dzenan and Franke, Dominik},
title = {Entwicklung und Evaluation eines Navigationssystems f{\"u}r Elektrorollst{\"u}hle},
booktitle = {Gesellschaft f{\"u}r Informatik Seminars, Informatiktage},
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
publishedas = {Druck Online},
isbn = {978-3-88579-446-2},
language = {ger},
pages = {185--188},
year = {2013},
timestamp = {2013.05.06},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/52},
for_reporting_period = {2013}
}
@INPROCEEDINGS {FHK13,
author = {Franke, Dominik and Hempel, Stefan and Kowalewski, Stefan},
title = {Specifying Life Cycle Requirements in a Natural-like Language and ptLTL},
booktitle = {8th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART)},
publisher = {IEEE Computer Society},
publishedas = {Online},
isbn = {978-1-4799-1324-4},
language = {eng},
pages = {120 -- 121},
year = {2013},
timestamp = {2013.05.06},
i11key = {conference},
for_reporting_period = {2013}
}
@INPROCEEDINGS {HF13,
author = {Hansen, Norman and Franke, Dominik},
title = {Reverse Engineering des Windows Phone Process Execution Models},
booktitle = {Gesellschaft f{\"u}r Informatik Seminars, Informatiktage},
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
publishedas = {Druck Online},
isbn = {978-3-88579-446-2},
language = {ger},
pages = {83 -- 86},
year = {2013},
timestamp = {2013.05.06},
i11key = {conference},
for_reporting_period = {2013}
}
@INPROCEEDINGS {BDK13,
author = {Ben Makhlouf, Ibtissem and Diab, Hilal and Kowalewski, Stefan},
title = {Reachability Analysis for Managing Platoons at Intersections},
booktitle = {21st Mediterranean Conference on Control & Automation (MED) Platanias-Chania, Crete, Greece, June 25-28,},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-4799-0995-7},
language = {eng},
pages = {1141--1147},
year = {2013},
timestamp = {2013.04.30},
i11key = {conference},
for_reporting_period = {2013}
}
@INPROCEEDINGS {BHK13,
author = {Ben Makhlouf, Ibtissem and H{\"a}nsch, Paul and Kowalewski, Stefan},
title = {Comparison of Reachability Methods for Uncertain Linear Time-Invariant Systems},
booktitle = {ECC13: European Control Conference , Zurich, Switzerland July 17-19,},
publisher = {EUCA},
publishedas = {Druck Online},
isbn = {978-3-952-41734-8},
language = {eng},
pages = {1101--1106},
year = {2013},
timestamp = {2013.04.30},
i11key = {conference},
for_reporting_period = {2013}
}
@INPROCEEDINGS {BKK+13,
author = {Biallas, Sebastian and Kamin, Volker and Kowalewski, Stefan and Schlich, Bastian and Sehestedt, Stephan and Stattelmann, Stefan},
editor = {VDI Wissensforum},
title = {Verifikation von sicherheitsgerichteten SPS-Programmen mit Hilfe von Safety-Automaten},
booktitle = {Automation 2013},
series = {VDI Berichte},
publisher = {VDI-Verlag},
publishedas = {Druck},
isbn = {978-3-18-092209-6},
language = {ger},
pages = {75--79},
year = {2013},
timestamp = {2013.04.16},
i11key = {conference},
i11projectkey = {Arcade},
note = {Langfassung auf CD-ROM},
for_reporting_period = {2013}
}
@INPROCEEDINGS {WBB+11,
location = {Budapest},
volume = {37},
address = {Heidelberg},
month = {September},
owner = {stollenwerk},
author = {Walter, Marian and Brendle, Christian and Bensberg, Ralf and Kopp, R{\"u}dger and Arens, Jutta and Stollenwerk, Andr{\'e} and Leonhardt, Steffen},
editor = {\'{A}kos Jobb\'{a}gy},
title = {Closed loop physiological ECMO control},
booktitle = {5th European Conference of the International Federation for Medical and Biological Engineering},
series = {IFMBE Proceedings},
publisher = {Springer},
publishedas = {Druck},
isbn = {978-3-642-23507-8},
language = {eng},
pages = {319--322},
year = {2011},
timestamp = {2013.02.12},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/48},
for_reporting_period = {2011}
}
@PHDTHESIS {PAL13,
author = {Palczynski, Jacob},
title = {Time-Continuous Behaviour Comparison Based on Abstract Models},
school = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University},
type = {Dissertation},
year = {2013},
month = {Dec},
issn = {0935-3232},
i11key = {thesis},
url = {http://aib.informatik.rwth-aachen.de/2013/2013-20.pdf},
note = {AIB-2013-20},
for_reporting_period = {2013}
}
@PHDTHESIS {REK13,
author = {Reke, Michael},
title = {Modellbasierte Entwicklung automobiler Steuerungssysteme in kleinen und mittelst{\"a}ndischen Unternehmen = Model-based development of automotive control systems in small and medium enterprises},
type = {Dissertation},
year = {2013},
issn = {0935-3232},
i11key = {thesis},
for_reporting_period = {2014}
}
@PHDTHESIS {Sto13,
isbn = {978-3-8440-2239-1},
author = {Stollenwerk, Andr{\'e}},
title = {Ein modellbasiertes Sicherheitskonzept f{\"u}r die extrakorporale Lungenunterst{\"u}tzung},
school = {Fakult{\"a}t f{\"u}r Mathematik, Informatik und Naturwissenschaften der RWTH Aachen},
type = {Dissertation},
year = {2013},
month = {Juli},
issn = {0935-3232},
i11key = {thesis},
i11projectkey = {SmartECLA},
url = {http://vg05.met.vgwort.de/na/4b40e88ac1124805b79001052216299a?l=http://publications.embedded.rwth-aachen.de/get/4t.pdf},
note = {AIB-2013-7},
for_reporting_period = {2013}
}
%2012
@INPROCEEDINGS {BBK12c,
location = {Sydney, Australia},
author = {Beckschulze, Eva and Biallas, Sebastian and Kowalewski, Stefan},
title = {Static Analysis of Lockless Microcontroller C Programs},
booktitle = {Proceedings Seventh Conference on Systems Software Verification (SSV 2012)},
series = {EPTCS},
publisher = {EPTCS},
publishedas = {Online},
language = {eng},
pages = {103--114},
year = {2012},
timestamp = {2012.10.23},
i11key = {conference},
url = {http://dx.doi.org/10.4204/EPTCS.102.10},
for_reporting_period = {2013}
}
@INPROCEEDINGS {HK12,
author = {H{\"a}nsch, Paul and Kowalewski, Stefan},
title = {Invariants for LTI Systems with Uncertain Input},
booktitle = {Reachability Problems},
publisher = {Springer},
publishedas = {Druck Online},
isbn = {978-3-642-33511-2},
language = {eng},
pages = {137--148},
year = {2012},
timestamp = {2012.10.05},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/5m},
for_reporting_period = {2012}
}
@INPROCEEDINGS {MDHK12,
author = {Merschen, Daniel and Duhr, Yves and Hedenetz, Bernd and Kowalewski, Stefan},
title = {Evolutionsunterst{\"u}tzung f{\"u}r komplexe, modellbasierte Software-Produktlinien},
booktitle = {Embedded-Software-Engineering-Kongress (ESE)},
publisher = {ELEKTRONIKPRAXIS und MicroConsult},
publishedas = {Druck Online},
isbn = {978-3-8343-2407-8},
language = {ger},
pages = {65--71},
year = {2012},
timestamp = {2012.10.05},
i11key = {conference},
i11projectkey = {artshop},
for_reporting_period = {2012}
}
@INPROCEEDINGS {BK12,
address = {Saint-Petersburg, Russia},
doi = {10.1109/ICUMT.2012.6459786},
author = {Barakat, Kamal and Kowalewski, Stefan},
title = {Modeling and Verification of Network Protocol Specs using Timed {Pi-Calculus}},
booktitle = {The 4th International Workshop on Mobile Computing and Networking Technologies 2012 (WMCNT-2012)},
number = {4},
publisher = {IEEE Press},
publishedas = {Online},
isbn = {978-1-4673-2016-0},
issn = {2157-0221},
language = {eng},
pages = {735--742},
year = {2012},
timestamp = {2012.09.24},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/63},
for_reporting_period = {2012}
}
@INPROCEEDINGS {BBK12b,
author = {Biallas, Sebastian and Brauer, J{\"o}rg and Kowalewski, Stefan},
title = {{Arcade.PLC}: A Verification Platform for Programmable Logic Controllers},
booktitle = {Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering},
series = {ASE 2012},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-4503-1204-2},
language = {eng},
pages = {338--341},
year = {2012},
timestamp = {2012.09.16},
i11key = {conference},
i11projectkey = {Arcade},
url = {http://publications.embedded.rwth-aachen.de/file/3w},
for_reporting_period = {2012}
}
@INPROCEEDINGS {FRK12,
author = {Franke, Dominik and Roy{\'e}, Tobias and Kowalewski, Stefan},
title = {AndroLIFT: A Tool for Android Application Life Cycles},
booktitle = {4th International Conference on Advances in System Testing and Validation Lifecycle (VALID)},
publisher = {Xpert},
publishedas = {Online},
isbn = {978-1-61208-233-2},
language = {eng},
pages = {28 -- 33},
year = {2012},
timestamp = {2012.09.11},
i11key = {conference},
for_reporting_period = {2012}
}
@INPROCEEDINGS {MGPK12,
location = {Essen, Germany},
author = {Merschen, Daniel and Gleis, Robert and Pott, Julian and Kowalewski, Stefan},
editor = {Machando, Ricardo J. and Maciel, Rita Suzana P. and Rubin, Julia and Botterweck, Goetz},
title = {Analysis of Simulink Models Using Databases and Model Transformations},
booktitle = {8th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES '12)},
series = {Lecture Notes in Computer Science},
number = {7706},
publisher = {Springer Berlin Heidelberg},
publishedas = {Druck Online},
isbn = {978-3-642-38208-6},
issn = {0302-9743},
language = {ger},
pages = {69--84},
year = {2012},
timestamp = {2012.09.06},
i11key = {conference},
i11projectkey = {artshop},
for_reporting_period = {2012}
}
@INPROCEEDINGS {KFSK12,
location = {Copenhagen, Denmark},
author = {Kalkov, Igor and Franke, Dominik and Schommer, John F. and Kowalewski, Stefan},
title = {A Real-time Extension to the Android Platform},
booktitle = {10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES)},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-4503-1688-0},
language = {eng},
pages = {105 -- 114},
year = {2012},
timestamp = {2012.08.13},
i11key = {conference},
i11projectkey = {RTAndroid},
url = {http://publications.embedded.rwth-aachen.de/file/57},
for_reporting_period = {2012}
}
@ARTICLE {BKS12c,
author = {Biallas, Sebastian and Kowalewski, Stefan and Schlich, Bastian},
title = {Automatische Wertebereichsanalyse -- Formale Verifikation f{\"u}r SPS-Programme},
journal = {Automatisierungstechnische Praxis (atp EDITION), 54. Jahrgang, 7-8/2012},
year = {2012},
pages = {68--75},
publisher = {Oldenbourg Industrieverlag},
publishedas = {Druck},
issn = {2190-4111},
i11key = {journal},
i11projectkey = {Arcade},
language = {ger},
timestamp = {2012.08.02},
for_reporting_period = {2012}
}
@INPROCEEDINGS {DBK12,
doi = {10.1109/ITSC.2012.6338822},
author = {Diab, Hilal and Ben Makhlouf, Ibtissem and Kowalewski, Stefan},
title = {A Platoon of Vehicles Approaching an Intersection: A Testing Platform for Safe Intersections},
booktitle = {15th IEEE Intelligent Transportation Systems Conference},
publisher = {IEEE},
publishedas = {Druck Online},
issn = {2153-0009},
language = {eng},
pages = {1918--1923},
year = {2012},
timestamp = {2012.07.20},
i11key = {conference},
for_reporting_period = {2012}
}
@ARTICLE {BBK12a,
booktitle = {The Fourth International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012)},
author = {Beckschulze, Eva and Brauer, J{\"o}rg and Kowalewski, Stefan},
title = {Access-Based Localization for Octagons},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2012},
pages = {29--40},
publisher = {Elsevier},
publishedas = {Online},
issn = {1571-0661},
i11key = {journal},
language = {eng},
url = {http://www.sciencedirect.com/science/article/pii/S1571066112000564},
note = {Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2012},
timestamp = {2012.07.17},
for_reporting_period = {2012}
}
@INPROCEEDINGS {FEK12,
author = {Franke, Dominik and Elsemann, Corinna and Kowalewski, Stefan},
title = {Reverse Engineering and Testing Service Life Cycles of Mobile Platforms},
booktitle = {2nd DEXA Workshop on Information Systems for Situation Awareness and Situation Management (ISSASiM)},
publisher = {IEEE Computer Society},
publishedas = {Druck Online},
isbn = {978-0-7695-4801-2},
language = {eng},
pages = {16 -- 20},
year = {2012},
timestamp = {2012.07.13},
i11key = {conference},
for_reporting_period = {2012}
}
@INPROCEEDINGS {BKN12,
author = {Barakat, Kamal and Kowalewski, Stefan and Noll, Thomas},
title = {A Native Approach to Modeling Timed Behavior in the Pi-Calculus},
booktitle = {6th International Symposium on Theoretical Aspects of Software Engineering},
publisher = {IEEE Computer Society},
publishedas = {Druck Online},
isbn = {978-0-7695-4751-0},
language = {eng},
pages = {253--256},
year = {2012},
timestamp = {2012.07.11},
i11key = {conference},
for_reporting_period = {2012}
}
@INPROCEEDINGS {FDBK12,
author = {Franke, Dominik and Dzafic, Dzenan and Baumeister, Danni and Kowalewski, Stefan},
title = {Energieeffizientes Routing f{\"u}r Elektrorollst{\"u}hle},
booktitle = {13. Aachener Kolloquium Mobilit{\"a}t und Stadt (AMUS/ACMOTE)},
publisher = {RWTH Aachen},
publishedas = {Online},
isbn = {978-3-88354-164-8},
language = {ger},
pages = {65 -- 68},
year = {2012},
timestamp = {2012.07.09},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/51},
for_reporting_period = {2012}
}
@INPROCEEDINGS {FSK12,
author = {Franke, Dominik and Schommer, John and Kowalewski, Stefan},
title = {Softwarequalit{\"a}t in der Mobilen Welt: Testen von Lebenszyklen Mobiler Applikationen},
booktitle = {Embedded Software Engineering Kongress (ESE)},
publisher = {ELEKTRONIKPRAXIS},
publishedas = {Druck Online},
isbn = {978-3-8343-2407-8},
language = {ger},
pages = {478 -- 482},
year = {2012},
timestamp = {2012.07.09},
i11key = {conference},
for_reporting_period = {2012}
}
@INPROCEEDINGS {WBS+12,
doi = {10.1016/j.jcrc.2012.10.032},
author = {Walter, Marian and Brendle, Christian and Stollenwerk, Andre and Kopp, R{\"u}dger and Arens, Jutta and Bensberg, Ralf and Leonhardt, Steffen},
title = {Patient oriented closed loop control of extracorporeal lung assist},
booktitle = {Journal of Critical Care},
number = {1},
volume = {28},
publisher = {Elsevier},
publishedas = {Druck Online},
issn = {0883-9441},
language = {eng},
pages = {e8--e9},
year = {2012},
timestamp = {2012.07.05},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/4g},
for_reporting_period = {2012}
}
@INPROCEEDINGS {KRS12,
author = {Kowalewski, Stefan and Rumpe, Bernhard and Stollenwerk, Andre},
editor = {VDI Wissensforum},
title = {Cyber-Physical Systems - eine Herausforderung an die Automatisierungstechnik?},
booktitle = {Automation 2012},
series = {VDI Berichte},
publisher = {VDI-Verlag},
publishedas = {Druck},
isbn = {978-3-18-092171-6},
language = {ger},
pages = {113--116},
year = {2012},
timestamp = {2012.06.29},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/4h},
note = {Langfassung auf CD-Rom},
for_reporting_period = {2012}
}
@INPROCEEDINGS {BKS12b,
address = {Guadalajara, Mexico},
author = {Biallas, Sebastian and Kowalewski, Stefan and Schlich, Bastian},
title = {Range and Value-Set Analysis for Programmable Logic Controllers},
booktitle = {Proceedings of the 11th International Workshop on Discrete Event Systems},
publisher = {IFAC},
publishedas = {Druck Online},
isbn = {978-3-902823-28-1},
language = {eng},
pages = {378--383},
year = {2012},
timestamp = {2012.06.26},
i11key = {conference},
i11projectkey = {Arcade},
url = {http://publications.embedded.rwth-aachen.de/file/3x},
for_reporting_period = {2012}
}
@INPROCEEDINGS {FKW12,
author = {Franke, Dominik and Kowalewski, Stefan and Weise, Carsten},
title = {A Mobile Software Quality Model},
booktitle = {12th International Conference on Quality Software (QSIC)},
publisher = {IEEE Computer Society},
publishedas = {Druck Online},
isbn = {978-1-4673-2857-9},
language = {eng},
pages = {154 -- 157},
year = {2012},
timestamp = {2012.06.18},
i11key = {conference},
for_reporting_period = {2012}
}
@INPROCEEDINGS {GDFK12,
author = {Gathmann, Felix and Dernehl, Christian and Franke, Dominik and Kowalewski, Stefan},
title = {An integrated vision aided GPS/INS Navigation System for ultra-low-cost MAVs},
booktitle = {International Micro Air Vehicle Conference (IMAV)},
publisher = {IMAV},
publishedas = {Online},
language = {eng},
pages = {1 -- 8},
year = {2012},
timestamp = {2012.06.06},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/40},
for_reporting_period = {2012}
}
@INPROCEEDINGS {BBKK12,
author = {Biallas, Sebastian and Brauer, J{\"o}rg and King, Andy and Kowalewski, Stefan},
editor = {Min{\'e}, Antoine and Schmidt, David},
title = {Loop Leaping with Closures},
booktitle = {19th Static Analysis Symposium},
series = {Lecture Notes in Computer Science},
publisher = {Springer Berlin Heidelberg},
publishedas = {Druck Online},
isbn = {978-3-642-33124-4},
language = {eng},
pages = {214--230},
year = {2012},
timestamp = {2012.05.22},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2012}
}
@INPROCEEDINGS {MPK12,
author = {Merschen, Daniel and Pott, Julian and Kowalewski, Stefan},
title = {Integration and Analysis of Design Artefacts in Embedded Software Development},
booktitle = {The 1st IEEE International Workshop on Tools in Embedded Systems Design Process (TIP '12), Izmir, Turkey},
publisher = {IEEE},
publishedas = {Druck Online},
language = {eng},
pages = {503--508},
year = {2012},
timestamp = {2012.05.15},
i11key = {conference},
i11projectkey = {artshop},
for_reporting_period = {2012}
}
@INPROCEEDINGS {SFLK12,
author = {Schommer, John F. and Franke, Dominik and Lange, Tim and Kowalewski, Stefan},
title = {Load Balancing for Cross Layer Communication},
booktitle = {36th Computer Software and Applications Conference Workshops (COMPSACW)},
publisher = {IEEE Computer Society},
publishedas = {Druck},
isbn = {978-1-4673-2714-5},
language = {eng},
pages = {476--481},
year = {2012},
timestamp = {2012.05.15},
i11key = {conference},
for_reporting_period = {2012}
}
@INPROCEEDINGS {BKS12a,
address = {D{\"u}sseldorf},
author = {Biallas, Sebastian and Kowalewski, Stefan and Schlich, Bastian},
title = {Automatische Wertebereichsanalyse von SPS-Programmen},
booktitle = {AUTOMATION 2012, Baden-Baden, Germany},
publisher = {VDI-Verlag},
publishedas = {Druck},
series = {VDI-Berichte},
number = {2171},
isbn = {978-3-18-092171-6},
language = {ger},
pages = {79--83},
year = {2012},
timestamp = {2012.04.20},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2012},
note = {Long version (12 pages) on CD-ROM}
}
@INPROCEEDINGS {BDK12,
author = {Ben Makhlouf, Ibtissem and Diab, Hilal and Kowalewski, Stefan},
title = {Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes},
booktitle = {ADHS 2012, Eindhoven, NL},
publisher = {Inproceeding of the 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12)},
publishedas = {Druck Online},
isbn = {978-3-902823-00-7},
language = {eng},
pages = {333--338},
year = {2012},
timestamp = {2012.02.28},
i11key = {conference},
url = {http://www.sciencedirect.com/science/article/pii/S1474667015372177},
for_reporting_period = {2012}
}
@INPROCEEDINGS {HDBK11,
author = {H{\"a}nsch, Paul and Diab, Hilal and Ben Makhlouf, Ibtissem and Kowalewski, Stefan},
title = {Reachability Analysis of Linear Systems with Stepwise Constant Inputs},
booktitle = {Electronic Notes in Theoretical Computer Science},
volume = {297},
publisher = {Elsevier},
publishedas = {Online},
issn = {1571-0661},
language = {eng},
pages = {61 -- 74},
year = {2011},
timestamp = {2012.02.13},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/5n},
note = {Proceedings of the first workshop on Hybrid Autonomous System (HAS2011)},
for_reporting_period = {2014}
}
@INPROCEEDINGS {BS12,
author = {Brauer, J{\"o}rg and Simon, Axel},
title = {Inferring Definite Counterexamples Through Under-Approximation},
booktitle = {NASA Formal Methods},
year = {2012},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
publishedas = {Druck},
language = {eng},
volume = {7226},
isbn = {978-3-642-28890-6},
pages = {54--69},
timestamp = {2012.01.24},
i11projectkey = {Arcade},
i11key = {conference},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bs12.pdf},
for_reporting_period = {2012}
}
@INPROCEEDINGS {MWK10,
doi = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.21},
author = {Mitsching, Ralf and Weise, Carsten and Kowalewski, Stefan},
title = {Design Patterns for Integrating Variability in Timed Automata},
booktitle = {4th IEEE International Conference on Secure Software Integration and Reliability},
publisher = {IEEE Computer Society},
publishedas = {Druck Online},
isbn = {978-0-7695-4087-0},
language = {eng},
pages = {38--45},
year = {2010},
timestamp = {2012.01.24},
i11key = {conference},
for_reporting_period = {2010}
}
@INPROCEEDINGS {MHRK08,
author = {Michailidis, Alexander and Hedenetz, Bernd and Ringler, Thomas and Kowalewski, Stefan},
title = {Virtuelle Integration von vernetzten Funktionen in frühen Entwicklungsphasen},
booktitle = {28. Tagung Elektronik im Kraftfahrzeug},
publisher = {EXPERT-VERLAG},
publishedas = {Druck},
isbn = {978-3-8169-2819-5},
language = {ger},
pages = {151--167},
year = {2008},
timestamp = {2012.01.16},
i11key = {conference},
for_reporting_period = {2008}
}
@ARTICLE {MRHK10,
author = {Michailidis, Alexander and Ringler, Thomas and Hedenetz, Bernd and Kowalewski, Stefan},
title = {Virtuelle Integration modellbasierter Fahrzeugfunktionen unter AUTOSAR},
journal = {ATZelektronik},
year = {2010},
volume = {1},
pages = {32--37},
publisher = {Springer Vieweg},
publishedas = {Druck},
issn = {1862-1791},
i11key = {journal},
language = {ger},
timestamp = {2012.01.16},
for_reporting_period = {2010}
}
@INPROCEEDINGS {MSH+10,
author = {Michailidis, Alexander and Spieth, Uwe and Hedenetz, Bernd and Ringler, Thomas and Kowalewski, Stefan},
title = {Test Front Loading in Early Stages of Automotive Software Development Based on AUTOSAR},
booktitle = {Design, Automation and Test in Europe (DATE) Conference},
publisher = {European Design and Automation Association},
publishedas = {Druck Online},
isbn = {978-3-9810801-6-2},
language = {eng},
pages = {435--440},
year = {2010},
timestamp = {2012.01.16},
i11key = {conference},
for_reporting_period = {2010}
}
@INPROCEEDINGS {FKWP12,
author = {Franke, Dominik and Kowalewski, Stefan and Weise, Carsten and Prakobkosol, Nath},
title = {Testing Conformance of Lifecycle-Dependent Properties of Mobile Applications},
booktitle = {5th International Conference on Software Testing, Verification and Validation (ICST)},
publisher = {IEEE Computer Society},
publishedas = {Druck Online},
isbn = {978-0-7695-4670-4},
language = {eng},
pages = {241--250},
year = {2012},
timestamp = {2012.01.12},
i11key = {conference},
url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.104},
for_reporting_period = {2012}
}
@PHDTHESIS {Mic12,
isbn = {978-3-8440-0761-9},
owner = {Alexander Michailidis},
author = {Michailidis, Alexander},
title = {Konzepte für eine virtuelle Integration von AUTOSAR-konformer Fahrzeug-Software in frühen Entwicklungsphasen},
school = {Embedded Software Laboratory - RWTH Aachen University},
type = {Dissertation},
year = {2012},
month = {Februar},
i11key = {thesis},
url = {http://www.shaker.de/shop/978-3-8440-0761-9},
for_reporting_period = {2012}
}
@PHDTHESIS {Mit12,
author = {Mitsching, R.},
title = {Applied timed testing: Testautomatisierung in industriellen Testprozessen von eingebetteten Systemen},
type = {Dissertation},
year = {2012},
i11key = {thesis},
for_reporting_period = {2012}
}
%2011
@INPROCEEDINGS {MDR+12,
month = {March},
location = {Berlin, Germany},
owner = {merschen},
author = {Merschen, Daniel and Duhr, Yves and Ringler, Thomas and Hedenetz, Bernd and Kowalewski, Stefan},
editor = {J\"{a}hnichen, Stefan and K\"{u}pper, Axel and Albayrak, Sahin},
title = {Model-Based Analysis of Design Artefacts Applying an Annotation Concept},
booktitle = {Software Engineering 2012 (SE 2012)},
publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
publishedas = {Druck Online},
isbn = {978-3-88579-292-5},
issn = {1617-5468},
language = {eng},
pages = {169 -- 180},
year = {2012},
timestamp = {2011.12.20},
i11key = {conference},
i11projectkey = {artshop},
url = {http://publikationen.embedded.rwth-aachen.de/file/3b},
for_reporting_period = {2012}
}
@PROCEEDINGS {BRT11,
editor = {Brauer, J{\"o}rg and Roveri, Marco and Tews, Hendrik},
title = {Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011)},
publisher = {TU Dresden (published as technical report)},
isbn = {978-3-642-19717-8},
year = {2011},
timestamp = {2011.12.14},
i11key = {editor},
url = {https://es.fbk.eu/events/ssv2011/papers/proceedings.pdf},
for_reporting_period = {2011}
}
@INPROCEEDINGS {RBS+11,
author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Schachinger, Daniel and Steininger, Andreas and Kowalewski, Stefan},
title = {Automated Test-Trace Inspection for Microcontroller Binary Code},
booktitle = {RV},
publisher = {Springer},
publishedas = {Druck},
isbn = {978-3-642-29859-2},
language = {eng},
pages = {239--244},
year = {2011},
timestamp = {2011.12.14},
i11key = {conference},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rbs11.pdf},
slides = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:slides_rbs11.pdf},
for_reporting_period = {2011}
}
@ARTICLE {MDAK11,
owner = {diab},
doi = {10.1524/auto2011.0965},
month = {December},
number = {12},
author = {Maschuw, Jan Philipp and Diab, Hilal and Abel, Dirk and Kowalewski, Stefan},
title = {Control Design for Generalized Platoon Problems},
journal = {at – Automatisierungstechnik},
year = {2011},
volume = {59},
pages = {721--729},
publisher = {Oldenbourg Wissenschaftsverlag},
publishedas = {Online Druck},
issn = {0178-2312},
i11key = {journal},
language = {eng},
timestamp = {2011.10.19},
for_reporting_period = {2011}
}
@INPROCEEDINGS {GKKK11,
author = {Grobosch, Sebastian and Kamin, Volker and Krirkkawin, Kriengkrai and Kowalewski, Stefan},
title = {Using Timed Automata in Requirements Analysis for Engine Control Units},
booktitle = {18th World Congress of the International Federation of Automatic Control (IFAC)},
year = {2011},
pages = {12503--12508},
publisher = {IFAC},
publishedas = {Druck Online},
url = {http://www.ifac-papersonline.net/Detailed/51577.html},
isbn = {978-3-902661-93-7},
language = {eng},
timestamp = {2011.10.18},
i11key = {conference},
for_reporting_period = {2011}
}
@TECHREPORT {Bar11,
author = {Barakat, Kamal},
title = {Introducing Timers to Pi-Calculus},
pages = {31},
institution = {RWTH Aachen},
keywords = {formal models, domain specific languages, congruence and bisimulation, communicating processes},
year = {2011},
number = {AIB-2011-18},
month = {aug},
url = {http://aib.informatik.rwth-aachen.de/2011/2011-18.ps.gz},
timestamp = {2011.10.15},
for_reporting_period = {2011}
}
@INPROCEEDINGS {KBW+11,
volume = {37},
location = {Berlin},
month = {October},
organization = {ECSIM},
doi = {10.1007/s00134-011-2322-1},
owner = {stollenwerk},
author = {Kopp, R{\"u}dger and Bensberg, Ralf and Walter, Marian and Stollenwerk, Andr{\'e} and Arens, Jutta and Rossaint, Rolf},
title = {Automation of extracorporeal membrane oxygenation using a combined safety and control concept},
booktitle = {Intensive Care Medicine},
number = {Supplement 2},
publisher = {Springer},
publishedas = {Druck Online},
issn = {1432-1238},
language = {eng},
pages = {230},
year = {2011},
timestamp = {2011.10.05},
i11key = {conference},
url = {http://www.springerlink.com/content/m0xth64u3885w270/},
for_reporting_period = {2011}
}
@ARTICLE {PMB+11,
issue = {1},
author = {Polzer, Andreas and Merschen, Daniel and Botterweck, Goetz and Pleuss, Andreas and Thomas, Jacques and Hedenetz, Bernd and Kowalewski, Stefan},
title = {Managing Complexity and Variability of a Model-based Embedded Software Product Line},
journal = {Innovations in Systems and Software Engineering (ISSE)},
year = {2011},
volume = {8},
pages = {35--49},
publisher = {Springer London},
publishedas = {Druck},
issn = {1614-5054},
i11key = {journal},
language = {eng},
url = {http://dx.doi.org/10.1007/s11334-011-0174-z},
timestamp = {2011.09.27},
for_reporting_period = {2011}
}
@INPROCEEDINGS {WBA+11,
month = {August},
organization = {European Society for Artificial Organs (ESAO)},
doi = {DOI 10.5301/IJAO.2011.8701},
location = {Porto},
author = {Walter, Marian and Brendle, Christian and Arens, Jutta and Stollenwerk, Andre and Kopp, R{\"u}dger and Bensberg, Ralf and Leonhardt, Steffen},
editor = {Rui L. Reis},
title = {Physiological target control in long term extracorporeal oxygenation},
booktitle = {38. Congress of the European Society for Artificial Organs(ESAO 2011) and 4. Biennial Congress of the InternationalFederation on Artificial Organs (IFAO 2011) - (TheInternational Journal of Artificial Organs)},
series = {2011},
volume = {34},
publisher = {Wichtig Editore},
publishedas = {Druck Online},
issn = {0391-3988},
language = {eng},
pages = {625},
year = {2011},
timestamp = {2011.08.24},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/48},
for_reporting_period = {2011}
}
@INPROCEEDINGS {FEWK11,
location = {Lero, Limerick, Ireland},
author = {Franke, Dominik and Elsemann, Corinna and Weise, Carsten and Kowalewski, Stefan},
title = {Reverse Engineering of Mobile Application Lifecycles},
booktitle = {18th Working Conference on Reverse Engineering (WCRE)},
publisher = {IEEE Computer Society},
publishedas = {Druck Online},
isbn = {978-1-4577-1948-6},
language = {eng},
pages = {283 -- 292},
year = {2011},
timestamp = {2011.08.08},
i11key = {conference},
for_reporting_period = {2011}
}
@INPROCEEDINGS {HSK11,
author = {H{\"a}nsch, Paul and Schommer, John F. and Kowalewski, Stefan},
title = {Self-balancing Controllable Robots in Education: A Practical Course for Bachelor Students},
booktitle = {Intelligent Robotics and Applications (ICIRA 2011)},
publisher = {Springer},
publishedas = {Druck},
isbn = {978-3-642-25488-8},
issn = {0302-9743},
language = {eng},
pages = {297--306},
year = {2011},
timestamp = {2011.08.04},
i11key = {conference},
for_reporting_period = {2011}
}
@INPROCEEDINGS {DFDK11,
location = {'t Harde, Netherlands},
author = {Dernehl, Christian and Franke, Dominik and Diab, Hilal and Kowalewski, Stefan},
title = {An Architecture with Integrated Image Processing for Autonomous Micro Aerial Vehicles},
booktitle = {International Micro Air Vehicle Conference (IMAV)},
publisher = {IMAV},
publishedas = {Online},
language = {eng},
pages = {138 -- 145},
year = {2011},
timestamp = {2011.07.18},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/55},
for_reporting_period = {2011}
}
@INPROCEEDINGS {GK11,
owner = {gueckel},
author = {G{\"u}ckel, Dominique and Kowalewski, Stefan},
title = {Automatic Derivation of Abstract Semantics From Instruction Set Descriptions},
booktitle = {Proceedings of the 6th International Workshop on Systems Software Verification (SSV 2011)},
publisher = {TU Dresden},
publishedas = {Online},
language = {eng},
pages = {18--32},
year = {2011},
timestamp = {2011.07.04},
i11key = {conference},
for_reporting_period = {2011}
}
@INPROCEEDINGS {RB11,
author = {Reinbacher, Thomas and Brauer, J{\"o}rg},
editor = {Chakraborty, Samarjit and Jerraya, Ahmed and Baruah, Sanjoy K. and Fischmeister, Sebastian},
title = {Precise Control Flow Reconstruction Using Boolean Logic},
booktitle = {International Conference on Embedded Software (EMSOFT 2011)},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-4503-0714-7},
language = {eng},
pages = {117--126},
year = {2011},
timestamp = {2011.07.03},
i11key = {conference},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rb11.pdf},
slides = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:slides_rb11.pdf},
for_reporting_period = {2011}
}
@INPROCEEDINGS {BHK+12,
author = {Brauer, J{\"o}rg and Hansen, Rene Rydhof and Kowalewski, Stefan and Larsen, Kim G. and Olesen, Mads Chr.},
title = {Adaptable Value-Set Analysis for Low-Level Code},
booktitle = {6th International Workshop on Systems Software Verification (SSV 2011)},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
publishedas = {Druck Online},
isbn = {978-3-939897-36-1},
issn = {2190-6807},
language = {eng},
pages = {32--43},
year = {2012},
timestamp = {2011.07.01},
i11key = {conference},
url = {http://dx.doi.org/10.4230/OASIcs.SSV.2011.32},
for_reporting_period = {2011}
}
@INPROCEEDINGS {BBS+11,
location = {Freiburg},
author = {Brendle, Christian and Bensberg, Ralf and Stollenwerk, Andr{\'e} and Arens, Jutta and Walter, Marian},
title = {Patient Orientated Automation of the Therapy with the Extracorporeal Membrane Oxygenation (ECMO)},
booktitle = {45. Jahrestagung der Deutschen Gesellschaft f{\"u}r Biomedizinische Technik},
publisher = {DGBMT},
publishedas = {Druck},
language = {ger},
year = {2011},
timestamp = {2011.06.30},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/4e},
for_reporting_period = {2011}
}
@INPROCEEDINGS {SGA+11,
volume = {34},
month = {August},
organization = {European Society for Artificial Organs (ESAO)},
doi = {DOI 10.5301/IJAO.2011.8701},
location = {Porto},
author = {Stollenwerk, Andr{\'e} and Gathmann, Felix and Arens, Jutta and Bensberg, Ralf and Walter, Marian and Kopp, R{\"u}dger and Kowalewski, Stefan},
editor = {Rui L. Reis},
title = {Safety Aware Pump-Control for a Rotary ECMO Blood Pump},
booktitle = {38. Congress of the European Society for Artificial Organs (ESAO 2011) and 4. Biennial Congress of the International Federation on Artificial Organs (IFAO 2011) - (The International Journal of Artificial Organs)},
series = {2011},
publisher = {Wichtig Editore},
publishedas = {Druck Online},
issn = {0391-3988},
language = {eng},
pages = {617},
year = {2011},
timestamp = {2011.06.22},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/4c},
for_reporting_period = {2011}
}
@INPROCEEDINGS {RGHK11,
owner = {gueckel},
author = {Reinbacher, Thomas and G{\"u}ckel, Dominique and Horauer, Martin and Kowalewski, Stefan},
title = {Testing Microcontroller Software Simulators},
booktitle = {Informatik 2011},
publisher = {Gesellschaft für Informatik},
publishedas = {Druck Online},
isbn = {978-3-88579-286-4},
language = {eng},
pages = {333},
year = {2011},
timestamp = {2011.06.16},
i11key = {conference},
url = {http://www.user.tu-berlin.de/komm/CD/paper/061433.pdf},
for_reporting_period = {2011}
}
@INPROCEEDINGS {SGB+11,
location = {Freiburg},
author = {Stollenwerk, Andr{\'e} and Gathmann, Felix and Bensberg, Ralf and Walter, Marian and Arens, Jutta and Kopp, R{\"u}dger and Kowalewski, Stefan},
title = {A Model-Based Safety Concept for a Rotary Blood Pump},
booktitle = {45. Jahrestagung der Deutschen Gesellschaft f{\"u}r Biomedizinische Technik},
publisher = {DGBMT},
publishedas = {Druck},
language = {eng},
year = {2011},
timestamp = {2011.05.18},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/4o},
for_reporting_period = {2011}
}
@CONFERENCE {KS11,
owner = {stollenwerk},
url = {http://publications.embedded.rwth-aachen.de/file/4d},
author = {Kowalewski, Stefan and Stollenwerk, Andr{\'e}},
title = {Supporting Evolving Requirements in CPS by Abstraction Layers in the Architecture},
booktitle = {Workshop on Architectures for Cyber-Physical Systems, Chicago, IL, USA},
year = {2011},
timestamp = {2011.05.10},
language = {eng},
i11projectkey = {SmartECLA},
note = {Invited Talk},
for_reporting_period = {2011}
}
@INPROCEEDINGS {RBH+11,
author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
editor = {Sala{\"u}n, Gwen and Sch{\"a}tz, Bernhard},
title = {Past Time LTL Runtime Verification for Microcontroller Binary Code},
booktitle = {16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2011)},
series = {Lecture Notes in Computer Science},
volume = {6959},
publisher = {Springer},
publishedas = {Druck Online},
isbn = {978-3-642-24430-8},
language = {eng},
pages = {37--51},
year = {2011},
timestamp = {2011.05.09},
i11key = {conference},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rbh11.pdf},
slides = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:slides_rbh11.pdf},
note = {European Association of Software Science and Technology (EASST) Award for the best paper},
for_reporting_period = {2011}
}
@INPROCEEDINGS {FDWK11a,
location = {Salzburg, Austria},
author = {Franke, Dominik and Dzafic, Dzenan and Weise, Carsten and Kowalewski, Stefan},
title = {Konzept eines Mobilen OSM-Navigationssystems f{\"u}r Elektrofahrzeuge},
booktitle = {Angewandte Geoinformatik 2011 - Beitr{\"a}ge zum 23. AGIT-Symposium (AGIT)},
publisher = {Wichmann Verlag},
publishedas = {Druck},
isbn = {978-3-87907-508-9},
language = {ger},
pages = {148 -- 157},
year = {2011},
timestamp = {2011.05.05},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/50},
for_reporting_period = {2011}
}
@INPROCEEDINGS {MWF+11,
location = {Jeju Island, Korea},
author = {Mitsching, Ralf and Weise, Carsten and Franke, Dominik and Gerlitz, Thomas and Kowalewski, Stefan},
title = {Coping with Complexity of Testing Models for Real-Time Embedded Systems},
booktitle = {3rd Workshop on Model-Based Verification and Validation (MVV)},
publisher = {IEEE Press},
publishedas = {Online},
isbn = {978-1-4577-0781-0},
language = {eng},
pages = {128 -- 135},
year = {2011},
timestamp = {2011.05.05},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/4j},
for_reporting_period = {2011}
}
@INPROCEEDINGS {RSM+11,
author = {Reinbacher, Thomas and Steininger, Andreas and M{\"u}ller, Tobias and Horauer, Martin and Brauer, J{\"o}rg and Kowalewski, Stefan},
title = {Hardware Support for Efficient Testing of Embedded Software},
booktitle = {7th ASME/IEEE Conference on Mechatronics and Embedded Systems and Applications (MESA 2011)},
publisher = {ASME},
publishedas = {Druck Online},
isbn = {978-0-7918-5480-8},
language = {eng},
pages = {3--12},
year = {2011},
timestamp = {2011.04.29},
i11key = {conference},
slides = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:slides_rsm11.pdf},
for_reporting_period = {2011}
}
@INPROCEEDINGS {BKS11,
address = {D{\"u}sseldorf},
author = {Biallas, Sebastian and Kowalewski, Stefan and Schlich, Bastian},
title = {Leistungsf{\"a}hige Verifikation von industriellen SPS-Programmen mittels Model-Checking und statischer Analyse},
booktitle = {AUTOMATION 2011, Baden-Baden, Germany},
isbn = {978-3-18-092143-3},
issn = {0083-5560},
number = {2143},
pages = {67--72},
publisher = {VDI-Verlag},
publishedas = {Druck},
series = {VDI-Berichte},
language = {eng},
year = {2011},
timestamp = {2011.04.20},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2011}
}
@INPROCEEDINGS {BKK11a,
author = {Brauer, J{\"o}rg and King, Andy and Kriener, Jael},
title = {Existential Quantification as Incremental SAT},
booktitle = {Computer Aided Verification (CAV 2011)},
pages = {191-207},
volume = {6806},
series = {Lecture Notes in Computer Science},
editor = {Gopalakrishnan, Ganesh and Qadeer, Shaz},
publisher = {Springer},
issn = {0302-9743},
isbn = {978-3-642-22110-1},
i11key = {conference},
timestamp = {2011.03.22},
year = {2011},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkk11a.pdf},
slides = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:slides_bkk11a.pdf},
language = {eng},
publishedas = {Druck Online},
i11projectkey = {Arcade},
for_reporting_period = {2011}
}
@ARTICLE {ADM+10,
number = {2},
address = {Hagerstown, Md.},
doi = {10.1097/01.mat.0000369377.65122.a3},
author = {Arens, Jutta and De Brouwer, Petra and Mager, Ilona and Kopp, R{\"u}dger and Walter, Marian and Stollenwerk, Andre and Schmitz-Rode, Thomas and Steinseifer, Ulrich},
title = {A Dynamic Study on the Hemolytic Effect of Negative Pressure on Blood},
journal = {ASAIO journal},
year = {2010},
volume = {56},
pages = {96--96},
publisher = {Lippincott},
publishedas = {Online Druck},
issn = {1538-943X},
i11key = {journal},
i11projectkey = {SmartECLA},
language = {eng},
url = {http://publications.embedded.rwth-aachen.de/file/4a},
timestamp = {2011.03.18},
for_reporting_period = {2011}
}
@INPROCEEDINGS {BBK11,
author = {Biallas, Sebastian and Brauer, J{\"o}rg and Kowalewski, Stefan},
title = {SAT-Based Abstraction Refinement for Programmable Logic Controllers},
booktitle = {Dependable Control of Discrete Systems (DCDS'11)},
language = {eng},
publisher = {IEEE},
publishedas = {Druck},
isbn = {978-1-4244-8969-5},
pages = {96--101},
i11key = {conference},
i11projectkey = {Arcade},
year = {2011},
timestamp = {2011.03.15},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbk11.pdf},
for_reporting_period = {2011}
}
@INPROCEEDINGS {FDWK11,
location = {Heidelberg, Germany},
author = {Franke, Dominik and Dzafic, Dzenan and Weise, Carsten and Kowalewski, Stefan},
title = {Entwicklung eines mobilen Navigationssystems f{\"u}r Elektrofahrzeuge auf Basis von OpenStreetMap-Daten},
booktitle = {Konferenz f{\"u}r Freie und Open Source Software f{\"u}r Geoinformationssysteme (FOSSGIS)},
publisher = {FOSSGIS e.V.},
publishedas = {Druck Online},
isbn = {978-3-00-034124-3},
language = {ger},
pages = {92 -- 99},
year = {2011},
timestamp = {2011.03.14},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/4z},
for_reporting_period = {2011}
}
@INPROCEEDINGS {SGW+11,
owner = {stollenwerk},
author = {Stollenwerk, Andr{\'e} and G{\"o}be, Florian and Walter, Marian and Kopp, R{\"u}dger and Arens, Jutta and Kowalewski, Stefan},
title = {Smart Data Provisioning for Model-Based Generated Code in an Intensive Care Application},
booktitle = {High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS/MDPnP 2011), Chicago, USA},
publisher = {Upenn},
publishedas = {Druck Online},
language = {eng},
pages = {0--8},
year = {2011},
timestamp = {2011.03.11},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/49},
for_reporting_period = {2011}
}
@INPROCEEDINGS {BMH+11,
author = {Ben Makhlouf, Ibtissem and Maschuw, Jan Philipp and H{\"a}nsch, Paul and Diab, Hilal and Kowalewski, Stefan and Abel, Dirk},
title = {Safety Verification of a Cooperative Vehicle Platoon with Uncertain Inputs Using Zonotopes},
booktitle = {18th IFAC World Congress, 2011, Milano, Italy},
publisher = {IFAC},
publishedas = {Online},
isbn = {978-3-902661-93-7},
language = {eng},
pages = {9769--9774},
year = {2011},
timestamp = {2011.03.10},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/5o},
for_reporting_period = {2011}
}
@INPROCEEDINGS {BK11b,
author = {Brauer, J{\"o}rg and King, Andy},
title = {Approximate Quantifier Elimination for Propositional Boolean Formulae},
booktitle = {NASA Formal Methods Symposium (NFM 2011)},
i11key = {conference},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
isbn = {978-3-642-20397-8},
pages = {73--88},
volume = {6617},
year = {2011},
timestamp = {2011.03.04},
publishedas = {Druck Online},
language = {eng},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bk11b.pdf},
slides = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:slides_bk11b.pdf},
i11projectkey = {Arcade},
for_reporting_period = {2011}
}
@INPROCEEDINGS {PWKU11,
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 International Conference on Software Testing, Verification and Validation Workshops (ICSTW, TAIC PART) 2011},
pages = {590 -- 595},
publisher = {IEEE Computer Society},
isbn = {978-1-4577-0019-4},
year = {2011},
i11key = {conference},
publishedas = {Druck Online},
language = {eng},
timestamp = {2011.02.02},
for_reporting_period = {2011}
}
@INPROCEEDINGS {MFB+11,
author = {Mitsching, Ralf and Weise, Carsten and Bohnenkamp, Henrik and Fiedler, Frank and Kowalewski, Stefan},
title = {TripleT: Improving Test Responsiveness for High Performance Embedded Systems},
booktitle = {4th IEEE International Conference on Software Testing, Verification, and Validation},
pages = {67 -- 74},
year = {2011},
isbn = {978-1-4577-0019-4},
publisher = {IEEE},
timestamp = {2011.02.01},
i11key = {conference},
language = {eng},
publishedas = {Druck Online},
for_reporting_period = {2011}
}
@INPROCEEDINGS {MPBK11,
month = {January},
location = {Namur, Belgium},
owner = {merschen},
author = {Merschen, Daniel and Polzer, Andreas and Botterweck, Goetz and Kowalewski, Stefan},
editor = {Czarnecki, Krzysztof and Eisenecker, Ulrich W. and Heymans, Patrick},
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 (VAMOS 2011)},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-4503-0570-9},
language = {eng},
pages = {141 -- 150},
year = {2011},
timestamp = {2011.01.31},
i11key = {conference},
url = {http://dl.acm.org/citation.cfm?id=1944910},
for_reporting_period = {2011}
}
@INPROCEEDINGS {PWMK11,
author = {Jacob Palczynski and Carsten Weise and Sebastian Moj and Stefan Kowalewski},
title = {Comparing Continuous Behaviour in Model-based Development of Embedded Software},
booktitle = {Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII (MBEES 2011)},
year = {2011},
pages = {61 -- 70},
publisher = {fortiss GmbH},
publishedas = {Online},
language = {eng},
owner = {palczynski},
timestamp = {2011.01.28},
i11key = {conference},
for_reporting_period = {2011}
}
@INPROCEEDINGS {BPD+10,
author = {Botterweck, Goetz and Pleuss, Andreas and Dhungana, Deepak and Polzer, Andreas and Kowalewski, Stefan},
title = {EvoFM: Feature-driven Planning of Product-line Evolution},
booktitle = {Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering (PLEASE '10)},
year = {2010},
isbn = {978-1-60558-968-8},
pages = {24--31},
location = {Cape Town, South Africa},
month = {May},
publisher = {ACM},
doi = {http://doi.acm.org/10.1145/1808937.1808941},
owner = {polzer},
timestamp = {2011.01.20},
i11key = {conference},
for_reporting_period = {2011}
}
@INPROCEEDINGS {FW11,
location = {Berlin, Germany},
author = {Franke, Dominik and Weise, Carsten},
title = {Providing a Software Quality Framework for Testing of Mobile Applications},
booktitle = {4th International Conference on Software Testing Verification and Validation (ICST)},
publisher = {IEEE Computer Society},
publishedas = {Druck Online},
isbn = {978-1-61284-174-8},
language = {eng},
pages = {431--434},
year = {2011},
timestamp = {2011.01.19},
i11key = {conference},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5770636},
for_reporting_period = {2011}
}
%2010
@INPROCEEDINGS {BBSK11,
location = {Newport Beach, CA, USA},
doi = {10.1109/ISORCW.2011.40},
author = {Beckschulze, Eva and Brauer, J{\"o}rg and Stollenwerk, Andr{\'e} and Kowalewski, Stefan},
title = {Analyzing Embedded Systems Code for Mixed-Critical Systems using Hybrid Memory Representations},
booktitle = {2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops ISORCW 2011},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-1-4577-0303-4},
language = {eng},
pages = {33--40},
year = {2011},
timestamp = {2010.12.23},
i11key = {conference},
url = {http://publications.embedded.rwth-aachen.de/file/4f},
for_reporting_period = {2011}
}
@INPROCEEDINGS {BK11a,
author = {Brauer, J{\"o}rg and King, Andy},
title = {Transfer Function Synthesis without Quantifier Elimination},
booktitle = {European Symposium on Programming (ESOP 2011)},
i11key = {conference},
publisher = {Springer},
isbn = {978-3-642-19717-8},
series = {Lecture Notes in Computer Science},
pages = {97--115},
volume = {6602},
timestamp = {2010.12.07},
year = {2011},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bk11.pdf},
slides = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:slides_bk11a.pdf},
for_reporting_period = {2011}
}
@ARTICLE {SBK11,
author = {Schlich, Bastian and Brauer, J{\"o}rg and Kowalewski, Stefan},
title = {Application of Static Analyses for State Space Reduction to Microcontroller Binary Code},
journal = {Sci. Comput. Program.},
year = {2011},
volume = {76},
number = {2},
pages = {100--118},
issn = {0167-6423},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:sbk10.pdf},
i11key = {journal},
timestamp = {2010.12.06},
i11projectkey = {Arcade},
for_reporting_period = {2011}
}
@INPROCEEDINGS {PMT+10,
author = {Andreas Polzer and Daniel Merschen and Jacques Thomas and Bernd Hedenetz and Goetz Botterweck and Stefan Kowalewski},
title = {View-Supported Rollout and Evolution of Model-Based ECU Applications},
booktitle = {7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2010) collocated within the 25th IEEE/ACM International Conference on Automated Software Engineering},
year = {2010},
editor = {Goetz Botterweck and Jo\~{a}o M. Fernandes and Lu\'{\i}s Lamb},
pages = {37-44},
month = {September},
publisher = {ACM},
doi = {http://dx.doi.org/10.1145/1865875.1865881},
isbn = {978-1-4503-0123-7},
location = {Antwerpen, Belgium},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:PMT+10.pdf},
owner = {polzer},
timestamp = {2010.11.22},
i11key = {conference},
for_reporting_period = {2010}
}
@PROCEEDINGS {KR10,
title = {Formal Methods for Industrial Critical Systems. Proc. FMICS 2010,},
year = {2010},
editor = {Kowalewski, Stefan and Roveri, Marco},
number = {6371},
series = {LNCS},
publisher = {Springer},
isbn = {978-3642158971},
timestamp = {2010.10.29},
i11key = {editor},
for_reporting_period = {2010}
}
@INPROCEEDINGS {BPK10,
title = {Variability and Evolution in Model-based Engineering of Embedded Systems},
booktitle = {6. Dagstuhl-Workshop Model-Based Development of Embedded Systems (MBEES 2010)},
year = {2010},
month = {February},
pages = {87-96},
address = {Dagstuhl, Germany},
timestamp = {2010.10.15},
author = {Goetz Botterweck and Andreas Polzer and Stefan Kowalewski},
i11key = {conference},
for_reporting_period = {2010}
}
@ARTICLE {BBGK10,
author = {Biallas, Sebastian and Brauer, J{\"o}rg and G{\"u}ckel, Dominique and Kowalewski, Stefan},
title = {On-The-Fly Path Reduction},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2011},
volume = {274C},
pages = {3--16},
publisher = {Elsevier},
note = {4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2010)},
issn = {1571-0661},
i11key = {conference},
i11projectkey = {Arcade},
publishedas = {Online},
language = {eng},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbgk10.pdf},
timestamp = {2010.10.05},
for_reporting_period = {2010}
}
@INPROCEEDINGS {RBH+10,
author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
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, Mikulov, Czech Republic},
year = {2010},
timestamp = {2010.09.22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
isbn = {978-3-939897-22-4},
series = {OASICS},
volume = {16},
pages = {101--108},
note = {Best Paper Award},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rbh+10.pdf},
i11key = {conference},
for_reporting_period = {2010}
}
@INPROCEEDINGS {PWK10,
author = {Jacob Palczynski and Carsten Weise and Stefan Kowalewski},
title = {Testing Continuous Systems Conformance Using Cross Correlation},
booktitle = {Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers},
year = {2010},
pages = {31--36},
address = {Montr{\'e}al},
publisher = {CRIM},
i11key = {conference},
isbn = {978-2-89522-136-4},
timestamp = {2010.09.19},
for_reporting_period = {2010}
}
@INPROCEEDINGS {SDKS10,
month = {October},
organization = {ARTIST},
location = {Scottsdale, AZ,USA},
author = {Stollenwerk, Andr{\'e} and Derks, Andreas and Kowalewski, Stefan and Salewski, Falk},
title = {A Modular, Robust and Open Source Microcontroller Platform for Broad Educational Usage},
booktitle = {Workshop on Embedded Systems Education (WESE10), Scottsdale, AZ, USA},
publisher = {ACM},
publishedas = {Druck Online},
language = {eng},
pages = {48--54},
year = {2010},
timestamp = {2010.08.23},
i11key = {conference},
i11projectkey = {evaboard},
url = {http://publications.embedded.rwth-aachen.de/file/47},
for_reporting_period = {2010}
}
@INPROCEEDINGS {BBKS10,
author = {Biallas, Sebastian and Brauer, J{\"o}rg and Kowalewski, Stefan and Schlich, Bastian},
title = {Automatically Deriving Symbolic Invariants for {PLC} Programs Written in {IL}},
booktitle = {FORMS/FORMAT 2010},
editor = {Schnieder, Eckehard and Tarnai, Geza},
publisher = {Springer Berlin Heidelberg},
publishedas = {Druck},
language = {eng},
year = {2011},
timestamp = {2010.08.19},
isbn = {978-3-642-14261-1},
pages = {237--245},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbks10.pdf},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2010}
}
@ARTICLE {RHS+10,
author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Brauer, J{\"o}rg and Scheuer, Florian},
title = {Model Checking Embedded Software of an Industrial Knitting Machine},
journal = {International Journal of Information Technology, Communications and Convergenceonvergence},
year = {2010},
pages = {186--205},
publisher = {Inderscience Enterprises Ltd},
publishedas = {Online Druck},
issn = {2042-3217},
i11key = {journal},
language = {eng},
url = {http://inderscience.metapress.com/content/y664g84625r780l0/fulltext.pdf},
timestamp = {2010.08.15},
for_reporting_period = {2010}
}
@INPROCEEDINGS {BBK10,
author = {Biallas, Sebastian and Brauer, J\"{o}rg and Kowalewski, Stefan},
title = {Counterexample-guided abstraction refinement for {PLCs}},
booktitle = {5th International Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada},
year = {2010},
location = {Vancouver, BC, Canada},
pages = {2--12},
numpages = {1},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bbk10.pdf},
timestamp = {2010.07.19},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2010}
}
@INPROCEEDINGS {BKKN10,
author = {Brauer, J{\"o}rg and Kamin, Volker and Kowalewski, Stefan and Noll, Thomas},
title = {Loop Refinement using Octagons and Satisfiability},
booktitle = {Proceedings of the 5th international conference on Systems software verification},
year = {2010},
location = {Vancouver, BC, Canada},
pages = {1--9},
timestamp = {2010.07.19},
publisher = {USENIX Association},
address = {Berkeley, CA, USA},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkkn10.pdf},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2010}
}
@INPROCEEDINGS {CBD+10a,
month = {September},
owner = {diab},
author = {Ch\'{a}vez Grunewald, Mart\'{i}n and Ben Makhlouf, Ibtissem and Diab,Hilal and Abel, Dirk and Kowalewski, Stefan},
title = {On the Effects of Network Delays on an Energy-based Controller},
booktitle = {2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems(NecSys' 2010)},
publisher = {IFAC},
publishedas = {Online},
language = {eng},
pages = {169--174},
year = {2010},
timestamp = {2010.07.02},
i11key = {conference},
slides = {http://necsys2010.inrialpes.fr/files/2010/09/0011.pdf},
for_reporting_period = {2010}
}
@INPROCEEDINGS {DCB+10,
month = {September},
owner = {diab},
author = {Diab,Hilal and Ch\'{a}vez Grunewald, Mart\'{i}n and Ben Makhlouf, Ibtissem and Abel, Dirk and Kowalewski, Stefan},
title = {A Testing Platform for Cooperative Vehicle Platoon Controllers},
booktitle = {13th International IEEE Conference on Intelligent Transportation Systems (ITSC 2010)},
publisher = {IEEE},
publishedas = {Online},
isbn = {978-1-4244-7658-9},
language = {eng},
pages = {1718--1723},
year = {2010},
timestamp = {2010.07.02},
i11key = {conference},
url = {http://ieeexplore.ieee.org/document/5625258/?reload=true&arnumber=5625258},
for_reporting_period = {2010}
}
@PROCEEDINGS {BGL+10,
title = {Dagstuhl 2010: Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science.},
year = {2010},
editor = {Bollue, Kai and G{\"u}ckel, Dominique and Loup, Ulrich and Sp{\"o}nemann, Jacob and Winkler, Melanie},
publisher = {Verlagshaus Mainz},
note = {Technical report},
organization = {DFG Research Training Group 1298 "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)"},
owner = {gueckel},
isbn = {386-130-146-6},
timestamp = {2010.06.30},
url = {http://www.algosyn.rwth-aachen.de/GK%20Workshop/Dagstuhl2010.pdf},
i11key = {editor},
for_reporting_period = {2010}
}
@INPROCEEDINGS {WWS+10,
location = {Buenos Aires, Argentina},
month = {September},
organization = {IEEE},
author = {Walter, Marian and Weyer, S{\"o}ren and Stollenwerk, Andr{\'e} and Kopp, R{\"u}dger and Arens, Jutta and Leonhardt, Steffen},
title = {A Physiological Model for Extracorporeal Oxygenation Controller Design},
booktitle = {32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'10)},
publisher = {IEEE},
publishedas = {Druck},
isbn = {978-1-4244-4124-2},
language = {eng},
pages = {434--437},
year = {2010},
timestamp = {2010.06.11},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/43},
for_reporting_period = {2010}
}
@INPROCEEDINGS {BKK10,
author = {Brauer, J{\"o}rg and King, Andy and Kowalewski, Stefan},
title = {Range Analysis of Microcontroller Code using Bit-Level Congruences},
booktitle = {Formal Methods for Industrial Critical Systems (FMICS 2010), Antwerp, Belgium},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2010},
volume = {6371},
pages = {82--98},
timestamp = {2010.06.08},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bkk10.pdf},
slides = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:slides_bkk10.pdf},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2010}
}
@INPROCEEDINGS {GBK10,
author = {G{\"u}ckel, Dominique and Brauer, J{\"o}rg and Kowalewski, Stefan},
booktitle = {Industrial Embedded Systems (SIES 2010), Trento, Italy},
title = {A System for Synthesizing Abstraction-Enabled Simulators for Binary Code Verification},
year = {2010},
pages = {118--127},
publisher = {IEEE},
timestamp = {2010.06.01},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:gbk10.pdf},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2010}
}
@ARTICLE {SJA+10,
number = {7},
month = {September},
part = {63},
booktitle = {37. Annual Meeting European Society for Artificial Organs (ESAO10), Skopje, Macedonia},
organization = {ESAO},
author = {Stollenwerk, Andr{\'e} and J{\"o}rgens, J{\"o}rg and Arens, Jutta and Walter, Marian and Kopp, R{\"u}dger and Kowalewski, Stefan},
title = {Model Based Diagnosis for Extracorporeal Membrane Oxygenation},
journal = {The International Journal of Artificial Organs},
year = {2010},
volume = {33},
pages = {447},
publisher = {de Gruyter},
publishedas = {Druck},
issn = {0000-0000},
i11key = {journal},
i11projectkey = {SmartECLA},
language = {eng},
url = {http://publications.embedded.rwth-aachen.de/file/46},
timestamp = {2010.05.27},
for_reporting_period = {2010}
}
@INPROCEEDINGS {SJW+10,
volume = {55},
month = {Oktober},
organization = {VDE},
doi = {10.1515/BMT.2010.713},
location = {Rostock / Warnem{\"u}nde, Germany},
author = {Stollenwerk, Andr{\'e} and J{\"o}rgens, J{\"o}rg and Walter, Marian and Arens, Jutta and Kopp, R{\"u}dger and Kowalewski, Stefan},
title = {Modellbasierte Fehlerdiagnose eines Membranoxygenators},
booktitle = {Biomedizinische Technik (BMT2010)},
publisher = {de Gruyter},
publishedas = {Druck},
issn = {1862-278X},
language = {ger},
pages = {174--177},
year = {2010},
timestamp = {2010.05.27},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/45},
for_reporting_period = {2010}
}
@ARTICLE {CMD+10,
author = {Ch\'{a}vez Grunewald, Mart\'{i}n and Ben Makhlouf, Ibtissem and Diab, Hilal and Mut, Vicente and Kowalewski, Stefan and Abel, Dirk},
title = {Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden},
journal = {at – Automatisierungstechnik},
year = {2010},
volume = {58},
pages = {227-235},
number = {4},
doi = {10.1524/auto.2010.0829},
keywords = {energy-based control, nonlinear control, network systems, hybrid automata},
owner = {diab},
issn = {0178-2312},
timestamp = {2010.05.12},
i11key = {journal},
for_reporting_period = {2010}
}
@INPROCEEDINGS {BK10,
author = {Brauer, J{\"o}rg and King, Andy},
title = {Automatic Abstraction for Intervals using Boolean Formulae},
booktitle = {Static Analysis Symposium (SAS 2010), Perpignan, France},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2010},
volume = {6337},
pages = {167--183},
timestamp = {2010.05.04},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:bk10.pdf},
slides = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:slides_bk10.pdf},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2010}
}
@INPROCEEDINGS {BNS10,
author = {Brauer, J{\"o}rg and Noll, Thomas and Schlich, Bastian},
title = {Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software},
booktitle = {Proceedings of the 13th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2010)},
year = {2010},
publisher = {ACM},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:BNS10.pdf},
timestamp = {2010.04.01},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2010}
}
@INPROCEEDINGS {FK10,
location = {Bonn, Germany},
author = {Franke, Dominik and Kowalewski, Stefan},
title = {Verifikation der Java-Echtzeitf{\"a}higkeit f{\"u}r den Einsatz in zeitkritischen Systemen},
booktitle = {Gesellschaft f{\"u}r Informatik Seminars, Informatiktage},
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
publishedas = {Druck Online},
isbn = {978-3-88579-443-1},
language = {ger},
pages = {165--168},
year = {2010},
timestamp = {2010.03.19},
i11key = {conference},
for_reporting_period = {2010}
}
@INPROCEEDINGS {GSBK10,
author = {G{\"u}ckel, Dominique and Schlich, Bastian and Brauer, J{\"o}rg and Kowalewski, Stefan},
title = {Synthesizing Simulators for Model Checking Microcontroller Binary Code},
booktitle = {Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2010)},
year = {2010},
publisher = {IEEE},
pages = {313--316},
owner = {gueckel},
i11key = {conference},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5491761},
timestamp = {2010.03.08},
i11projectkey = {Arcade},
for_reporting_period = {2010}
}
@INPROCEEDINGS {WWS+09a,
author = {Wartzek, Tobias and Walter, Marian and Schmitz-Rode, Thomas and Kowalewski, Stefan and Rossaint, Rolf and Leonhardt, Steffen},
title = {In Vivo Validation of an Automatic Controlled Extracorporeal Membrane Oxygenator},
booktitle = {World Congress on Medical Physics and Biomedical Engineering},
year = {2009},
editor = {Olaf D{\"o}ssel and Wolfgang C. Schlegel},
volume = {25},
number = {7},
pages = {118-121},
month = {September},
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-642-03885-3_34},
isbn = {978-3-642-03885-3},
issn = {1433-9277},
owner = {stollenwerk},
timestamp = {2010.02.08},
url = {http://www.springerlink.com/content/k350721703265080/fulltext.pdf},
i11key = {conference},
i11projectkey = {SmartECLA},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SLW+10,
location = {Magdeburg, Germany},
volume = {11},
month = {Mai},
author = {Stollenwerk, Andr{\'e} and Lang, Martin and Walter, Marian and Arens, Jutta and Kopp, R{\"u}dger and Kowalewski, Stefan},
title = {Sicherheitskonzept f{\"u}r eine intensivmedizinische Anwendung am Beispiel der ECMO},
booktitle = {Entwurf komplexer Automatisierungssysteme (EKA 2010)},
publishedas = {Druck},
isbn = {978-3-940961-41-9},
language = {ger},
pages = {65--74},
year = {2010},
timestamp = {2010.02.02},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/3l},
for_reporting_period = {2010}
}
@ARTICLE {WSW+10,
number = {5},
month = {Mai},
doi = {10.1524/auto.2010.0838},
keywords = {Control, biomedical engineering, ECMO, safety, fault diagnosis},
owner = {stollenwerk},
author = {Walter, Marian and Stollenwerk, Andr{\'e} and Wartzek, Tobias and Arens, Jutta and Kopp, R{\"u}dger and Leonhardt, Steffen},
title = {Automatisierung und Fehlerdiagnose bei der extrakorporalen Membranoxygenierung},
journal = {at – Automatisierungstechnik},
year = {2010},
volume = {58},
pages = {277--285},
publisher = {Oldenbourg},
publishedas = {Online},
issn = {0178-2312},
i11key = {journal},
i11projectkey = {SmartECLA},
language = {ger},
url = {http://publications.embedded.rwth-aachen.de/file/44},
timestamp = {2010.01.28},
for_reporting_period = {2010}
}
@PHDTHESIS {Arm10,
author = {Armoush, Ashraf},
title = {Design Patterns for Safety-Critical Embedded Systems},
school = {Embedded Software Laboratory - RWTH Aachen University},
note = {AIB-2010-13},
issn = {0935-3232},
owner = {Ashraf Armoush},
type = {Dissertation},
url = {http://aib.informatik.rwth-aachen.de/2010/2010-13.pdf},
month = {June},
year = {2010},
i11key = {thesis},
for_reporting_period = {2010}
}
@INPROCEEDINGS {BFK+10,
author = {Biallas, Sebastian and Frey, Georg and Kowalewski, Stefan and Schlich, Bastian and Soliman, Doaa},
title = {Formale Verifikation von Sicherheits-Funktionsbausteinen der PLCopen auf Modell- und Code-Ebene},
booktitle = {Tagungsband Entwicklung und Betrieb komplexer Automatisierungssysteme (EKA 2010)},
publisher = {ifak Magdeburg},
publishedas = {Druck},
language = {ger},
pages = {49--57},
year = {2010},
isbn = {978-3-940961-41-9},
location = {Magdeburg, Germany},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {2010}
}
@INPROCEEDINGS {MWGK10,
author = {Mitsching, Ralf and Weise, Carsten and Gatterdam, Thomas and Kowalewski, Stefan},
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)},
year = {2010},
pages = {2433-2440},
publisher = {IEEE Computer Society},
doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2010.418},
i11key = {conference},
for_reporting_period = {2010}
}
@ARTICLE {Sch10,
author = {Schlich, Bastian},
journal = {ACM Transactions in Embedded Computing Systems (TECS)},
title = {Model Checking of Software for Microcontrollers},
year = {2010},
volume = {9},
number = {4},
pages = {1--27},
issn = {1539-9087},
doi = {http://doi.acm.org/10.1145/1721695.1721702},
publisher = {ACM},
i11key = {journal},
for_reporting_period = {2010}
}
%2009
@CONFERENCE {SL09,
month = {December},
organization = {ARTIST},
owner = {stollenwerk},
i11key = {conference},
slides = {http://www.artist-embedded.org/docs/Events/2009/WESH2009/SLIDES/WESH_2009_Stollenwerk_Lang.pdf},
url = {http://publications.embedded.rwth-aachen.de/file/4i},
author = {Stollenwerk, Andr{\'e} and Lang, Martin},
title = {Embedded Contributions to an Intensive Care Safety Concept},
booktitle = {ArtistDesign Workshop on Embedded Systems in Healthcare, Eindhoven - The Netherlands},
year = {2009},
timestamp = {2009.12.31},
i11projectkey = {SmartECLA},
note = {Invited Talk},
for_reporting_period = {2010}
}
@INPROCEEDINGS {SZR+09,
author = {Schmitz, Dominik and Zhang, M. and Rose, Thomas and Jarke, Matthias and Polzer, Andreas and Palczynski, Jacob and Kowalewski, Stefan and Reke, Michael},
title = {Mapping Requirements Models to Mathematical Models in Control Systems Development},
booktitle = {Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009},
year = {2009},
volume = {5562},
series = {Lecture Notes in Computer Science},
pages = {253-264},
address = {Enschede, The Netherlands},
publisher = {Springer},
doi = {http://dx.doi.org/10.1007/978-3-642-02674-4_18},
optmonth = {June},
owner = {polzer},
timestamp = {2009.12.15},
i11key = {conference},
for_reporting_period = {2010}
}
@INPROCEEDINGS {SFKW09,
location = {Madrid, Spain},
doi = {http://doi.acm.org/10.1145/1620405.1620413},
author = {Schommer, John F. and Franke, Dominik and Kowalewski, Stefan and Weise, Carsten},
title = {Evaluation of the Real-Time Java Runtime Environment for Deployment in Time-Critical Systems},
booktitle = {7th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES)},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-60558-732-5},
language = {eng},
pages = {51--60},
year = {2009},
timestamp = {2009.12.11},
i11key = {conference},
for_reporting_period = {Old}
}
@INBOOK {KGG+09,
chapter = {Hybrid Automata},
pages = {57-86},
title = {Handbook of Hybrid Systems Control},
publisher = {Cambridge University Press},
year = {2009},
author = {Kowalewski, Stefan and Garavello, Mauro and Guéguen, Hervé and Herberich, Gerlind and Langerak, Rom and Piccoli, Benedetto and Polderman, Jan Willem and Weise, Carsten},
timestamp = {2009.12.08},
for_reporting_period = {Old}
}
@PROCEEDINGS {KP09,
number = {5505},
series = {LNCS},
address = {York, UK},
editor = {Kowalewski, Stefan and Philippou, Anna},
title = {Tools and Algorithms for the Construction and Analysis of Systems. Proc. TACAS 2009},
year = {2009},
timestamp = {2009.12.08},
publisher = {Springer},
isbn = {978-3-642-00767-5},
i11key = {editor},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SJK09,
address = {New York, NY, USA},
month = {October},
organization = {ARTIST},
doi = {10.1145/1719010.1719017},
location = {Grenoble, France},
author = {Stollenwerk, Andr{\'e} and Jongdee,Chate and Kowalewski, Stefan},
title = {An Undergraduate Embedded Software Laboratory for the Masses},
booktitle = {Workshop on Embedded Systems Education (WESE09), Grenoble, France},
publisher = {ACM},
publishedas = {Druck Online},
isbn = {978-1-4503-0021-6},
language = {eng},
pages = {34--41},
year = {2009},
timestamp = {2009.11.19},
i11key = {conference},
i11projectkey = {evaboard},
url = {http://publications.embedded.rwth-aachen.de/file/3u},
slides = {http://www.artist-embedded.org/docs/Events/2009/WESE2009/wese09-11-stollenwerk.pdf},
for_reporting_period = {2010}
}
@INPROCEEDINGS {WWK+09,
month = {August},
organization = {European Union Control Association},
author = {Walter, Marian and Wartzek, Tobias and Kopp, R{\"u}dger and Stollenwerk, Andr{\'e} and Kashefi, Ali and Leonhardt, Steffen},
title = {Automation of Long Term Extracorporeal Oxygenation Systems},
booktitle = {European Control Conference (ECC09), Budapest, Hungary},
publisher = {European Union Control Association},
publishedas = {Druck},
language = {eng},
year = {2009},
timestamp = {2009.11.19},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/3t},
for_reporting_period = {Old}
}
@INPROCEEDINGS {BPK09,
author = {Botterweck, Goetz and Polzer, Andreas and Kowalewski, Stefan},
title = {Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems},
booktitle = {2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB 2009), Workshop at the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009)},
year = {2009},
editor = {Stefan Van Baelen and Thomas Weigert and Ileana Ober and Huascar Espinoza},
volume = {Vol-507},
pages = {107 - 121},
address = {Denver, Colorado, USA},
month = {September},
publisher = {CEUR Workshop Proceedings},
owner = {polzer},
timestamp = {2009.10.19},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {BPPK09,
author = {Botterweck, Goetz and Pleuss, Andreas and Polzer, Andreas and Kowalewski, Stefan},
title = {Towards Feature-driven Planning of Product-Line Evolution},
booktitle = {First Workshop on Feature-Oriented Software Development (FOSD), Workshop at the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009)},
year = {2009},
pages = {109 - 116},
address = {New York, NY, USA},
month = {September},
publisher = {ACM},
isbn = {978-1-60558-567-3},
location = {Denver, Colorado},
owner = {polzer},
timestamp = {2009.10.19},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {ABK09,
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)},
year = {2009},
pages = {523-527},
publisher = {IEEE CS},
owner = {armoush},
timestamp = {2009.09.16},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {AK09,
author = {Armoush, Ashraf and Kowalewski, Stefan},
title = {Safety Recommendations for Safety-Critical Design Patterns},
booktitle = {International Workshop on the Design of Dependable Critical Systems "Hardware, Software, and Human Factors in Dependable System Design" (DDCS 2009)},
publisher = {Universit{\"a}t Heidelberg},
pages = {9-16},
year = {2009},
owner = {armoush},
timestamp = {2009.09.16},
url = {http://archiv.ub.uni-heidelberg.de/volltextserver/volltexte/2009/10072/pdf/Safety_Recommendations_for_Safety_Critical_Design_Patterns.pdf},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {BPK09a,
author = {Botterweck, Goetz and Polzer, Andreas and Kowalewski, Stefan},
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)},
year = {2009},
editor = {Goetz Botterweck and Iris Groher and Andreas Polzer and Christa Schwanninger and Steffen Thiel and Markus Voelter},
volume = {557},
pages = {29 - 35},
address = {San Francisco, California, USA},
month = {August},
publisher = {CEUR Workshop Proceedings},
note = {ISSN 1613-0073},
owner = {andreas.polzer},
timestamp = {2009.09.15},
url = {http://ceur-ws.org/Vol-557},
i11key = {conference},
for_reporting_period = {Old}
}
@INBOOK {KLK09,
chapter = {IX},
pages = {341-349},
title = {Extracorporeal Membrane Oxygenation for Cardiac and Pulmonary Indications: How to Increase Patient Safety?},
publisher = {Springer Berlin Heidelberg},
year = {2009},
editor = {Vincent, Jean-Louis},
author = {Kopp, R{\"u}dger and Leonhardt, Steffen and Kowalewski, Stefan},
volume = {1},
doi = {10.1007/978-3-540-92276-6_33},
isbn = {978-3-540-92275-9},
journal = {Yearbook of Intensive Care and Emergency Medicine},
owner = {stollenwerk},
timestamp = {2009.09.01},
url = {http://www.springerlink.com/content/v37006313h1pp0w2/?p=0b93c1ead6454b3c8ed55c0d07f79770&pi=0},
i11projectkey = {SmartECLA},
for_reporting_period = {Old}
}
@INPROCEEDINGS {LWW+09,
month = {Juni},
organization = {VDI},
volume = {2067},
author = {Leonhardt, Steffen and Walter, Marian and Wartzek, Tobias and Kashefi, Ali and Stollenwerk, Andr{\'e} and Kopp, R{\"u}dger},
title = {Regelung des Gasaustauschs f{\"u}r die extrakorporale Oxygenierung},
booktitle = {Automation 2009, Baden-Baden, Germany},
publisher = {VDI},
publishedas = {Druck},
language = {ger},
pages = {281--284},
year = {2009},
timestamp = {2009.09.01},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/41},
for_reporting_period = {Old}
}
@INPROCEEDINGS {WWS+09,
volume = {17},
month = {M{\"a}rz},
organization = {VDE/VDI},
owner = {stollenwerk},
author = {Wartzek, Tobias and Walter, Marian and Stollenwerk, Andr{\'e} and Kopp, R{\"u}dger and Kashefi, Ali and Leonhardt, Steffen},
title = {Automatisierung der extrakorporalen Membranoxygenierung},
booktitle = {8. Workshop AUTOMED – Automatisierungstechnische Verfahren f{\"u}r die Medizin, Berlin, Germany},
publisher = {VDI-Verlag},
publishedas = {Druck},
language = {ger},
pages = {25--26},
year = {2009},
timestamp = {2009.09.01},
i11key = {conference},
i11projectkey = {SmartECLA},
url = {http://publications.embedded.rwth-aachen.de/file/3m},
note = {Best Paper Award},
for_reporting_period = {Old}
}
@INPROCEEDINGS {Mit09,
author = {Mitsching, Ralf},
title = {Testing in the Industrial Development Process for Embedded Systems},
booktitle = {Doctoral Symposium on Systems Software Verification (DS SSV’09) Real Software, Real Problems, Real Solutions},
year = {2009},
pages = {23--25},
publisher = {RWTH Aachen University},
editor = {Ralf Huuck and Gerwin Klein and Bastian Schlich},
isbn = {0935-3232},
owner = {mitsching},
timestamp = {2009.08.10},
url = {http://aib.informatik.rwth-aachen.de/2009/2009-14.pdf},
i11key = {conference},
for_reporting_period = {2010}
}
@INPROCEEDINGS {PBWK09,
author = {Polzer, Andreas and Botterweck, Goetz and Wangerin, Iris and Kowalewski, Stefan},
title = {Variabilit{\"a}t im modellbasierten {E}ngineering von eingebetteten {S}ystemen},
booktitle = {7. Workshop Automotive Software Engineering},
year = {2009},
volume = {P-154},
series = {Lecture Notes in Informatics (LNI)},
pages = {2702 - 2719},
organization = {Gesellschaft für Informatik (GI)},
owner = {andreas.polzer},
timestamp = {2009.06.05},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {Guec09,
author = {G{\"u}ckel, Dominique},
title = {Retargeting a Hardware-Dependent Model Checker by Using Architecture Description Languages},
booktitle = {Doctoral Symposium on Systems Software Verification (DS SSV 2009)},
issn = {0935–3232},
year = {2009},
series = {Aachener Informatik-Berichte},
owner = {gueckel},
timestamp = {2009.06.02},
url = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2009/2009-14.pdf},
i11key = {conference},
for_reporting_period = {Old}
}
@ARTICLE {TBG+09,
author = {Thomas, Wolfgang and Bollue, Kai and G{\"u}ckel, Dominique and Quiros, Gustavo and Slaats, Michaela and Ummels, Michael},
title = {DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)"},
journal = {it - Information Technology},
year = {2009},
volume = {4},
pages = {222-230},
owner = {gueckel},
timestamp = {2009.05.25},
i11key = {journal},
for_reporting_period = {Old}
}
@INPROCEEDINGS {ASK08c,
author = {Armoush, Ashraf and Salewski, Falk and Kowalewski, Stefan},
title = {A Hybrid Fault Tolerance Method for Recovery Block with a Weak Acceptance Test},
booktitle = {The 5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2008)},
year = {2008},
volume = {1},
pages = {484-491},
month = {Dec.},
publisher = {IEEE CS},
doi = {10.1109/EUC.2008.102},
isbn = {978-0-7695-3492-3},
owner = {Ashraf Armoush},
timestamp = {2009.01.20},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4756378},
for_reporting_period = {Old}
}
@INPROCEEDINGS {ASK08a,
author = {Armoush, Ashraf and Salewski, Falk and Kowalewski, Stefan},
title = {Effective Pattern Representation for Safety Critical Embedded Systems},
booktitle = {2008 International Conference on Computer Science and Software Engineering},
year = {2008},
volume = {4},
pages = {91--97},
month = {Dec.},
publisher = {IEEE CS},
doi = {10.1109/CSSE.2008.739},
isbn = {978-0-7695-3336-0},
owner = {Ashraf Armoush},
timestamp = {2009.01.12},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4722571},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {ASK08b,
author = {Armoush, Ashraf and Salewski, Falk and Kowalewski, Stefan},
title = {Recovery Block with Backup Voting: A New Pattern with Extended Representation for Safety Critical Embedded Systems},
booktitle = {11th International Conference on Information Technology (ICIT 2008)},
year = {2008},
pages = {232--237},
month = {Dec.},
publisher = {IEEE CS},
doi = {10.1109/ICIT.2008.60},
isbn = {978-0-7695-3513-5},
owner = {Ashraf Armoush},
timestamp = {2009.01.12},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4731332},
i11key = {conference},
for_reporting_period = {Old}
}
@ARTICLE {ASK09,
author = {Armoush, Ashraf and Salewski, Falk and Kowalewski, Stefan},
title = {Design Pattern Representation for Safety-Critical Embedded Systems},
journal = {Journal of Software Engineering and Applications (JSEA)},
year = {2009},
volume = {2},
pages = {1--12},
number = {1},
month = {April},
issn = {1945-3116 (Print) 1945-3124 (Online)},
owner = {armoush},
i11key = {journal},
for_reporting_period = {Old}
}
@ARTICLE {BHS09,
author = {Brauer, J{\"o}rg and Huuck, Ralf and Schlich, Bastian},
title = {Interprocedural Pointer Analysis in Goanna},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {65–83},
year = {2009},
note = {Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)},
publisher = {Elsevier},
issn = {1571-0661},
url = {http://portal.acm.org/citation.cfm?id=1630458},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {BSK09a,
author = {Beckschulze, Eva and Salewski, Falk and Kowalewski, Stefan},
title = {A Comparison of Dual-Core Approaches for Safety-Critical Automotive Applications},
booktitle = {Safety-Critical Systems, 2009 (SAE World Congress 2009)},
publisher = {SAE International},
pages = {209--216},
isbn = {978-0-7680-2118-9},
year = {2009},
i11key = {conference},
for_reporting_period = {Old}
}
@ARTICLE {BSK09b,
title = {Parallel and Distributed Invariant Checking of Microcontroller Software},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {254},
pages = {45–63},
year = {2009},
note = {Proceedings of the 4th International Workshop on Systems Software Verification (SSV 2009)},
publisher = {Elsevier},
issn = {1571-0661},
author = {Brauer, J{\"o}rg and Schlich, Bastian and Kowalewski, Stefan},
url = {http://portal.acm.org/citation.cfm?id=1630177.1630457},
i11key = {conference},
i11projectkey = {Arcade},
for_reporting_period = {Old}
}
@ARTICLE {BSK09c,
author = {Beckschulze, Eva and Salewski, Falk and Kowalewski, Stefan},
title = {{A Comparison of Dual-Core Approaches for Safety-Critical Automotive Applications}},
journal = {SAE International Journal of Passenger Cars - Electronic and Electrical Systems},
volume = {2},
number = {1},
pages = {301-308},
doi = {},
year = {2009},
abstract = {Safety is a requirement concerning an increasing number of automotive applications. Recent safety standards set requirements for designing safety-critical systems. Among others, these specifications include a comprehensive detection and handling of hardware faults. Currently emerging dual-core microcontrollers provide a cost-effective opportunity to fulfill these requirements. In this paper we analyze a safety-critical application example and discuss two different approaches, an application-specific approach and a generic approach for implementing functional safety requirements on a dual-core microcontroller. An investigation of the associated concepts called and reveals their differences and at the same time advantages and disadvantages. Besides effects on safety, effects on reliability, modifiability and costs are evaluated and presented graphically.},
url = {http://saepcelec.saejournals.org/content/2/1/301.abstract},
eprint = {http://saepcelec.saejournals.org/content/2/1/301.full.pdf+html},
i11key = {journal},
for_reporting_period = {Old}
}
@INPROCEEDINGS {BSRK09,
author = {Brauer, J{\"o}rg and Schlich, Bastian and Reinbacher, Thomas and Kowalewski, Stefan},
title = {Stack Bounds Analysis of Microcontroller Assembly Code},
booktitle = {Workshop on Embedded Security (WESS 2009), Grenoble, France},
year = {2009},
publisher = {ACM Press},
url = {http://portal.acm.org/citation.cfm?id=1631716.1631721},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {BSSK09,
author = {Beckschulze, Eva and Salewski, Falk and Siegbert, Thomas and Kowalewski, Stefan},
title = {Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation (ISoLA08)},
year = {2009},
volume = {17},
series = {Communications in Computer and Information Science},
pages = {82-92},
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-540-88479-8},
isbn = {978-3-540-88478-1 (Print) 978-3-540-88479-8 (Online)},
issn = {1865-0929 (Print) 1865-0937 (Online)},
owner = {Falk Salewski},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {DSK09,
author = {D{\"u}lks, Ramona and Salewski, Falk and Kowalewski, Stefan},
booktitle = {Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC Part 2009)},
title = {A Real-Time Test and Simulation Environment Based on Standard FPGA Hardware},
pages = {197--204},
isbn = {978-0-7695-3820-4},
doi = {http://dx.doi.org/10.1109/TAICPART.2009.24},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
year = {2009},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {FHST09,
author = {Fehnker, Ansgar and Huuck, Ralf and Schlich, Bastian and Tapp, Michael},
booktitle = {SOFSEM 2009: Theory and Practise of Computer Science, Spindleruv Ml\'{y}n, Czech Republic},
doi = {10.1007/978-3-540-95891-8_26},
isbn = {978-3-540-95890-1},
pages = {267--278},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Automatic Bug Detection in Microcontroller Software by Static Program Analysis},
volume = {5404},
year = {2009},
i11key = {conference},
for_reporting_period = {Old}
}
@PHDTHESIS {Klu09,
author = {Daniel Kl{\"u}nder},
title = {Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation},
institution = {RWTH Aachen University},
school = {Embedded Software Laboratory - RWTH Aachen University},
year = {2009},
number = {AIB-2009-04},
month = {feb},
url = {http://aib.informatik.rwth-aachen.de/2009/2009-04.pdf},
issn = {0935-3232},
i11key = {thesis},
for_reporting_period = {Old}
}
@ARTICLE {KWA+09,
number = {5},
month = {October},
doi = {10.1515/BMT.2009.036},
keywords = {akutes Lungenversagen, Automatisierung, extrakorporale Lungenunterst{\"u}tzung, extrakorporale Membranoxygenierung, modellbasierte Sicherheitskonzepte, Regelungstechnik, acute respiratory distress syndrome, automation, control engineering, extracorporeal lung support, extracorporeal membrane oxygenation, model-based safety concepts},
author = {Kopp, R{\"u}dger and Walter, Marian and Arens, Jutta and Stollenwerk, Andr{\'e} and Leonhardt, Steffen and Schmitz-Rode, Thomas and Kowalewski, Stefan and Rossaint, Rolf},
title = {Regelungs- und Sicherheitskonzepte f{\"u}r extrakorporale Systeme zur Lungenunterst{\"u}tzung / Automatic control and safety concepts for extracorporeal lung support},
journal = {Biomedizinische Technik},
year = {2009},
volume = {54},
pages = {289--297},
publisher = {DGBMT},
publishedas = {Online Druck},
issn = {0013-5585},
i11key = {journal},
i11projectkey = {SmartECLA},
language = {ger},
url = {http://publications.embedded.rwth-aachen.de/file/3y},
for_reporting_period = {Old}
}
@INPROCEEDINGS {MKCA09,
author = {Ben Makhlouf, Ibtissem and Kowalewski, Stefan and Ch\'{a}vez Grunewald, Martin Guillermo and Abel, Dirk},
title = {Safety Assessment of Networked Vehicle Platoon Controllers -- Practical Experiences With Available Tools},
booktitle = {3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spain 2009},
year = {2009},
i11key = {conference},
for_reporting_period = {Old}
}
@ARTICLE {MWK+09,
author = {Mitsching, Ralf and Weise, Carsten and Kolbe, André and Bohnenkamp, Henrik and Berzen, Norbert},
title = {Towards an Industrial Strength Process for Timed Testing},
journal = {IEEE International Conference on Software Testing, Verification, and Validation},
volume = {0},
year = {2009},
isbn = {978-0-7695-3671-2},
pages = {29-38},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.42},
publisher = {IEEE Computer Society},
i11key = {journal},
for_reporting_period = {2010}
}
@INPROCEEDINGS {PK09,
author = {Jacob Palczynski and Stefan Kowalewski},
title = {Early Behaviour Modelling for Control Systems},
booktitle = {UKSIM European Symposium on Computer Modeling and Simulation},
year = {2009},
volume = {0},
pages = {148-153},
address = {Los Alamitos, CA, USA},
publisher = {IEEE Computer Society},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMS.2009.69},
isbn = {978-0-7695-3886-0},
i11key = {conference},
for_reporting_period = {2010}
}
@INPROCEEDINGS {PKB09,
author = {Polzer, Andreas and Kowalewski, Stefan and Botterweck, Goetz},
title = {Applying Software Product Line Techniques in Model-based Embedded Systems Engineering},
booktitle = {Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2009), Workshop at the 31st International Conference on Software Engineering (ICSE 2009)},
year = {2009},
volume = {0},
pages = {2-10},
month = {May},
publisher = {IEEE Computer Society},
day = {16},
doi = {http://doi.ieeecomputersociety.org/10.1109/MOMPES.2009.5069132},
isbn = {978-1-4244-3721-4},
owner = {gb},
shortkey = {PKB09},
status = {status-published},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {RBHS09,
author = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Schlich, Bastian},
booktitle = {Industrial Embedded Systems (SIES'09), Lausanne, Switzerland},
doi = {10.1109/SIES.2009.5196212},
isbn = {978-1-4244-4109-9},
pages = {161--170},
publisher = {IEEE Computer Society Press},
title = {Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller},
year = {2009},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5196212},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {RHS+09,
author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Brauer, J{\"o}rg and Scheuer, Florian},
title = {Model Checking Assembly Code of an Industrial Knitting Machine},
booktitle = {Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea},
year = {2009},
publisher = {IEEE Computer Society Press},
pages = {1--8},
i11key = {conference},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5402986},
for_reporting_period = {2010}
}
@INPROCEEDINGS {RHS09,
author = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian},
booktitle = {Design and Diagnostics of Electronic Circuits and Systems (DDECS 2009), Liberec, Czech Republic},
doi = {10.1109/DDECS.2009.5012109},
isbn = {978-1-4244-3341-4},
pages = {114--119},
publisher = {IEEE Computer Society Press},
title = {Using 3-Valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking},
year = {2009},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SBWK09,
author = {Schlich, Bastian and Brauer, J{\"o}rg and Wernerus, J{\"o}rg and Kowalewski, Stefan},
booktitle = {Dependable Control of Discrete Systems (DCDS'09), Bari, Italy},
isbn = {978-3-902661-44-9},
title = {Direct Model Checking of {PLC} Programs in {IL}},
year = {2009},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:SBWK09.pdf},
i11key = {conference},
pages = {28--33},
for_reporting_period = {Old}
}
@ARTICLE {SK09,
author = {Schlich, Bastian and Kowalewski, Stefan},
doi = {10.1007/s10009-009-0106-5},
issn = {1433-2779},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
number = {3},
pages = {187--202},
publisher = {Springer},
read = {No},
title = {Model Checking {C} Source Code for Embedded Systems},
volume = {11},
year = {2009},
i11key = {journal},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SKW09,
address = {D{\"u}sseldorf},
author = {Schlich, Bastian and Kowalewski, Stefan and Wernerus, J{\"o}rg},
booktitle = {AUTOMATION 2009, Baden-Baden, Germany},
isbn = {978-3-18-092067-2},
number = {2067},
publisher = {VDI Verlag},
series = {VDI-Berichte},
title = {{Verifikation von SPS-Programmen in AWL mit Hilfe von direktem Model-Checking}},
url = {http://publications.embedded.rwth-aachen.de/file/42},
year = {2009},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SNBB09,
author = {Schlich, B. and Noll, T. and Brauer, J. and Brutschy, L.},
title = {Reduction of Interrupt Handler Executions for Model Checking Embedded Software},
booktitle = {Haifa Verification Conference (HVC 2009), Haifa, Israel},
year = {2009},
url = {http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:SNBB09.pdf},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6405},
pages = {5--20},
i11key = {conference},
for_reporting_period = {Old}
}
@ARTICLE {SWW+09,
author = {Stollenwerk, Andr{\'e} and Walter, Marian and Wartzek, Tobias and Kopp, R{\"u}dger and Arens, Jutta and Kowalewski, Stefan},
title = {A Safety and Control Concept for Extracorporeal Membrane Oxygenation},
journal = {The International Journal of Artificial Organs},
year = {2009},
volume = {32},
pages = {428},
number = {7},
month = {September},
booktitle = {36. Annual Meeting European Society for Artificial Organs (ESAO09), Compiegne, France},
issn = {0391-3988},
organization = {ESAO},
url = {http://www.artificial-organs.com/public/ijao/Article.action?cmd=navigate&urlkey=Public_Details&uid=B21049FA-B9E6-4AF6-96BC-F3AAEB904F59&t=IJAO},
i11key = {journal},
i11projectkey = {SmartECLA},
for_reporting_period = {Old}
}
%2008
@INPROCEEDINGS {MK06,
author = {Ben Makhlouf, Ibtissem and Kowalewski, Stefan},
title = {An Evaluation of Two Recent Reachability Analysis Tools for Hybrid Systems},
booktitle = {2nd IFAC Conference on Analysis and Design of Hybrid Systems},
year = {2006},
month = {},
abstract = {The hybrid systems community is still struggling to provide practically applicable verification tools. Recently, two new tools, PHAVer and Hsolver, were introduced which promise to be a further step in this direction. We evaluate and compare both tools with the help of several benchmark examples. The results show that both have their strengths and weaknesses, and that there still is no all-purpose reachability analysis tool for hybrid systems.},
file = {:Q\:\\Papiere\\2006_ADHS_Alghero\\20060422_Final\\Latex\\MakhKowa_ADHS1.pdf:PDF},
owner = {IBM},
timestamp = {2008.09.15},
url = {http://www.ifac-papersonline.net/cgi-bin/links/page.cgi?g=Detailed/30190.html;d=1},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {Klu08a,
author = {Kl{\"u}nder, Daniel and Li, J. and Kowalewski, Stefan},
title = {Design-by-Contract for Embedded Systems},
booktitle = {International Symposium on Software Variability: a Programmers' Perspective (SVPP 2008)},
year = {2008},
owner = {daniel.kluender},
timestamp = {2008.07.11},
i11key = {conference},
for_reporting_period = {Old}
}
@CONFERENCE {KK07,
editor = {Prinz, Andreas},
owner = {daniel.kluender},
url = {http://publications.embedded.rwth-aachen.de/file/4k},
i11key = {conference},
author = {Kl{\"u}nder, Daniel and Kowalewski, Stefan},
title = {Scenario-Based Evaluation of Abstract State Machines},
booktitle = {The 14th International ASM Workshop (ASM'07)},
year = {2007},
timestamp = {2008.06.17},
for_reporting_period = {Old}
}
@INPROCEEDINGS {KKK08,
author = {Kl{\"u}nder, Daniel and Kameni, Dimitri and Kowalewski, Stefan},
title = {Nahtloser Entwurf sicherheitskritischer, eingebetteter Softwaresysteme mit abstrakten Zustandsmaschinen und Business Object Notation},
booktitle = {Entwurf komplexer Automatisierungssysteme (EKA 2008)},
year = {2008},
editor = {U. Jumar and E. Schnieder and C. Diedrich},
month = {April},
organization = {Institut f\"ur Automation und Kommunikation e. V. Magdeburg (ifak)},
isbn = {978-3-940961-01-3},
owner = {daniel.kluender},
timestamp = {2008.06.17},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {Klu08b,
author = {Kl{\"u}nder, Daniel},
title = {Modellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines},
booktitle = {Modellierung 2008},
year = {2008},
editor = {T. K{\"u}hne and W. Reisig and F. Steinmann},
series = {Lecture Notes in Informatics},
pages = {225-228},
month = {March},
organization = {Gesellschaft f{\"u}r Informatik},
isbn = {978-3-88579-221-5},
issn = {1617-5468},
owner = {daniel.kluender},
timestamp = {2008.06.17},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {BKKS08,
author = {Beckers, J{\"o}rg and Kl{\"u}nder, Daniel and Kowalewski, Stefan and Schlich, Bastian},
booktitle = {Abstract State Machines, B and Z (ABZ 2008), London, UK},
doi = {10.1007/978-3-540-87603-8_10},
isbn = {978-3-540-87602-1},
pages = {112--124},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Direct Support for Model Checking of Abstract State Machines by Utilizing Simulation},
volume = {5238},
year = {2008},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {DHH+08,
author = {Drews, Peter and He{\ss}eler, Frank-Josef and Hoffmann, Kai and Abel, Dirk and Schmitz, Dominik and Polzer, Andreas and Kowalewski, Stefan},
title = {{E}ntwicklung einer {L}uftpfadregelung am {D}ieselmotor unter {B}er{\"u}cksichtigung nichtfunktionaler {A}nforderungen},
booktitle = {Steuerung und Regelung von Fahrzeugen und Motoren – AUTOREG 2008, Baden-Baden, Germany},
year = {2008},
pages = {91--102},
volume = {VDI-Berichte Nr. 2009},
publisher = {VDI-Verlag},
isbn = {978-3-18-092009-2},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {HFSB08,
author = {Huuck, Ralf and Fehnker, Ansgar and Seefried, Sean and Brauer, J{\"o}rg},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Automated Technology for Verification and Analysis (ATVA 2008), Seoul, Korea},
doi = {10.1007/978-3-540-88387-6},
ee = {http://dx.doi.org/10.1007/978-3-540-88387-6_17},
isbn = {978-3-540-88386-9},
pages = {216-221},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Goanna: Syntactic Software Model Checking},
volume = {5311},
year = {2008},
bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-88387-6},
url = {http://www.springerlink.com/content/7h567h368nt7v719/},
i11key = {conference},
for_reporting_period = {Old}
}
@ARTICLE {HNSW08,
author = {Herberich, Gerlind and Noll, Thomas and Schlich, Bastian and Weise, Carsten},
doi = {10.1016/j.entcs.2008.06.046},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
note = {Proceedings of the 3rd International Workshop on Systems Software Verification (SSV 2008)},
pages = {133--150},
publisher = {Elsevier},
title = {Proving Correctness of an Efficient Abstraction for Interrupt Handling},
volume = {217},
year = {2008},
i11key = {journal},
for_reporting_period = {Old}
}
@INPROCEEDINGS {NS08,
author = {Noll, Thomas and Schlich, Bastian},
booktitle = {Hardware and Software: Verification and Testing (HVC 2007), Haifa, Israel},
doi = {10.1007/978-3-540-77966-7_16},
isbn = {978-3-540-77964-3},
issn = {0302-9743},
pages = {185--201},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code},
volume = {4899},
year = {2008},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {RKHS08a,
author = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian},
booktitle = {Industrial Embedded Systems (SIES 2008), Le Grande Motte, France},
doi = {10.1109/SIES.2008.4577709},
isbn = {978-1-4244-1994-4},
pages = {245--248},
publisher = {IEEE Computer Society Press},
title = {Challenges in Embedded Model Checking --- A Simulator for the [mc]square Model Checker},
year = {2008},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {RKHS08b,
author = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian},
booktitle = {Mechatronic and Embedded Systems and Applications (MESA08), Beijing, China},
doi = {10.1109/MESA.2008.4735653},
isbn = {978-1-4244-2367-5},
pages = {546--551},
publisher = {IEEE Computer Society Press},
title = {Motivating Model Checking for Embedded Systems Software},
year = {2008},
i11key = {conference},
for_reporting_period = {Old}
}
@PHDTHESIS {Sal08,
author = {Salewski, Falk},
title = {Empirical Evaluations of Safety-Critical Embedded Systems},
school = {Embedded Software Laboratory - RWTH Aachen University},
year = {2008},
note = {AIB-2008-18},
issn = {0935-3232},
owner = {Falk Salewski},
url = {http://aib.informatik.rwth-aachen.de},
i11key = {thesis},
for_reporting_period = {Old}
}
@PHDTHESIS {Sch08,
address = {Aachen, Germany},
author = {Schlich, Bastian},
issn = {0935-3232},
month = {June},
school = {RWTH Aachen University},
title = {Model Checking of Software for Microcontrollers},
type = {Dissertation},
url = {http://aib.informatik.rwth-aachen.de/2008/2008-14.pdf},
year = {2008},
i11key = {thesis},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SDH+08a,
author = {Drews, Peter and He{\ss}eler, Frank and Schmitz, Dominik and Polzer, Andreas and Kowalewski, Stefan and Abel, Dirk},
title = {{E}ntwicklungsprozess f{\"u}r eine {L}uftpfadregelung am {D}ieselmotor unter {B}er{\"u}cksichtigung nichtfunktionaler {A}nforderungen},
booktitle = {Systeme von morgen - Technische Innovationen und Entwicklungstrends},
year = {2008},
pages = {167--179},
crossref = {DBLP:conf/se/2008},
publisher = {Haus der Technik},
isbn = {978-3-8169-2819-5},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SDH+08b,
author = {Schmitz, Dominik and Drews, Peter and He{\ss}eler, Frank and Jarke, Matthias and Kowalewski, Stefan and Palczynski, Jacob and Polzer, Andreas and Reke, Michael and Rose, Thomas},
title = {{M}odellbasierte {A}nforderungserfassung f{\"u}r softwarebasierte {R}egelungen},
booktitle = {Software Engineering},
year = {2008},
pages = {257--271},
crossref = {DBLP:conf/se/2008},
publisher = {GI},
series = {LNI},
volume = {121},
isbn = {978-3-88579-215-4},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SGK08,
address = {Budapest, Hungary},
author = {Schlich, Bastian and G{\"u}ckel, Dominique and Kowalewski, Stefan},
booktitle = {Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), Budapest, Hungary},
editor = {Tarnai, G. and Schnieder, E.},
isbn = {978-963-236-138-3},
pages = {27--34},
publisher = {L'Harmattan},
title = {Modeling the Environment of Microcontrollers to Tackle the State-Explosion Problem in Model Checking},
year = {2008},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SK08a,
author = {Salewski, Falk and Kowalewski, Stefan},
title = {The Effect of Real-Time Software Reuse in FPGAs and Microcontrollers with respect to Software Faults},
booktitle = {Industrial Embedded Systems (SIES'08)},
pages = {141-148},
publisher = {IEEE},
year = {2008},
isbn = {978-1-4244-1995-1},
owner = {Falk Salewski},
i11key = {conference},
for_reporting_period = {Old}
}
@ARTICLE {SK08b,
author = {Salewski, Falk and Kowalewski, Stefan},
title = {Hardware/Software Design Considerations for Automotive Embedded Systems},
journal = {IEEE Transactions on Industrial Informatics},
year = {2008},
volume = {4},
pages = {156 - 163},
number = {3},
month = {Aug},
issn = {1551-3203},
owner = {Falk Salewski},
i11key = {journal},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SLK08,
author = {Schlich, Bastian and L{\"o}ll, Jann and Kowalewski, Stefan},
booktitle = {Formal Methods for Industrial Critical Systems (FMICS 2007), Berlin, Germany},
doi = {10.1007/978-3-540-79707-4_4},
isbn = {978-3-540-79706-7},
pages = {21--37},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code},
volume = {4916},
year = {2008},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {ST08,
author = {Salewski, Falk and Taylor, Adam},
title = {Systematic Considerations for the Application of FPGAs in Industrial Applications},
booktitle = {Industrial Electronics 2008(ISIE'08)},
year = {2008},
isbn = {978-1-4244-1666-0},
owner = {Falk Salewski},
i11key = {conference},
for_reporting_period = {Old}
}
@PHDTHESIS {Wil08,
institution = {RWTH Aachen University},
number = {AIB-2008-19},
author = {Wilking, Dirk},
title = {Empirical Studies for the Application of Agile Methods to Embedded Systems},
school = {Embedded Software Laboratory - RWTH Aachen University},
type = {thesis},
year = {2008},
month = {dec},
i11key = {thesis},
url = {http://aib.informatik.rwth-aachen.de/2008/2008-19.pdf},
for_reporting_period = {Old}
}
%2007
@INPROCEEDINGS {WK07,
author = {Wilking, Dirk and Kowalewski, Stefan},
title = {Analyzing Software Engineering Processes on Source Code Level},
booktitle = {New trends in software methodologies, tools and techniques (SOMET'2007)},
pages = {305-314},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
year = {2007},
editor = {Hamido Fujita and Domenico M. Pisanelli},
owner = {dirk.wilking},
timestamp = {2007.09.05},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {WSK07,
author = {Wilking, Dirk and Schili, David and Kowalewski, Stefan},
title = {Measuring the Human Factor with the Rasch Model},
booktitle = {Balancing Agility and Formalism in Software Engineering (CEE-SET 2007)},
year = {2007},
editor = {Bertrand Meyer and J.R. Nawrocki and Bartosz Walter},
volume = {5082},
series = {LNCS},
pages = {157-168},
publisher = {Springer},
isbn = {978-3-540-85278-0},
issn = {0302-9743},
doi = {http://dx.doi.org/10.1007/978-3-540-85279-7_13},
owner = {dirk.wilking},
timestamp = {2007.09.05},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {CKSS07,
author = {Chen, Xi and Salewski, Falk and Kowalewski, Stefan and Spisic, Kresimir},
title = {Concept and Prototyping of a Fault Management Framework for Automotive Safety Relevant Systems},
booktitle = {Moderne Elektronik im Kraftfahrzeug II},
year = {2007},
pages = {70-79},
publisher = {expert-verlag},
isbn = {978-3-8169-2668-9},
owner = {Falk Salewski},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SK07a,
author = {Salewski, Falk and Kowalewski, Stefan},
title = {Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches},
booktitle = {Computer Safety, Reliability, and Security (SAFECOMP'07)},
year = {2007},
editor = {Francesca Saglietti and Norbert Oster},
volume = {4680/2007},
series = {Lecture Notes in Computer Science},
pages = {270-275},
month = {Sept.},
publisher = {Springer},
isbn = {978-3-540-75100-7},
issn = {0302-9743},
owner = {Falk Salewski},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SK07b,
volume = {4},
month = {Jan.},
organization = {SIGBED Review},
owner = {Falk Salewski},
author = {Salewski, Falk and Kowalewski, Stefan},
title = {Hardware Platform Design Decisions In Embedded Systems - A Systematic Teaching Approach},
booktitle = {Special Issue on the Second Workshop on Embedded System Education (WESE'06)},
publisher = {ACM},
publishedas = {Druck Online},
issn = {1551-3688},
language = {eng},
pages = {27--35},
year = {2007},
i11key = {conference},
i11projectkey = {evaboard},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SK07d,
author = {Salewski, Falk and Kowalewski, Stefan},
title = {The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations},
booktitle = {IEEE Symposium on Industrial Embedded Systems (SIES'07)},
year = {2007},
pages = {78-85},
month = {July},
publisher = {IEEE},
isbn = {1-4244-0840-7},
owner = {Falk Salewski},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SK07e,
author = {Salewski, Falk and Kowalewski, Stefan},
title = {Testing Issues in Empirical Reliability Evaluation of Embedded Real-Time Systems},
booktitle = {IEEE Real-Time and Embedded Technology and Applications Symposium, WiP session (RTAS'07)},
year = {2007},
volume = {Technical Report WUCSE-2007-17},
pages = {48-51},
month = {March},
publisher = {Washington University in St. Louis},
owner = {Falk Salewski},
url = {http://cse.wustl.edu/Research/Lists/Technical%20Reports/Attachments/792/proceedings.pdf#page=54},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SK07f,
address = {Braunschweig, Germany},
author = {Schlich, Bastian and Kowalewski, Stefan},
booktitle = {Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig, Germany},
editor = {Schnieder, E. and Tarnai, G.},
isbn = {978-3-937655-09-3},
pages = {202--212},
publisher = {GZVB},
title = {An Extendable Architecture for Model Checking Hardware-Specific Automotive Microcontroller Code},
year = {2007},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SSK07,
author = {Schlich, , Bastian and Salewski, Falk and Kowalewski, Stefan},
booktitle = {Industrial Embedded Systems (SIES'07), Lisbon, Portugal},
doi = {10.1109/SIES.2007.4297337},
isbn = {1-4244-0840-7},
pages = {209--216},
publisher = {IEEE Computer Society Press},
title = {Applying Model Checking to an Automotive Microcontroller Application},
year = {2007},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {ST07,
author = {Salewski, Falk and Taylor, Adam},
title = {Fault Handling in {FPGAs} and Microcontrollers in Safety-Critical Embedded Applications: A Comparative Survey},
booktitle = {10th Euromicro Conference on Digital System Design (DSD'07)},
year = {2007},
editor = {Hana Kubatova},
pages = {124-131},
month = {Aug.},
publisher = {IEEE},
isbn = {0-7695-2978-X},
owner = {Falk Salewski},
i11key = {conference},
for_reporting_period = {Old}
}
%2006
@INPROCEEDINGS {Klu06a,
author = {Kl{\"u}nder, Daniel},
title = {TRIZ for Software Architecture},
booktitle = {Creativity, Quality and Efficiency - Building an Innovation Culture (TRIZ Future 2006)},
year = {2006},
editor = {Joost R. Duflou and Joris D'hondt and Tom Devoldere and Simon Dewulf and Nele Dekeyser},
volume = {1: Scientific Contributions},
pages = {93-98},
isbn = {90-77071-05-9},
owner = {daniel.kluender},
timestamp = {2006.12.19},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {Klu06b,
author = {Kl{\"u}nder, Daniel},
title = {An Approach to Resolving Contradictions in Software Architecture Design},
booktitle = {Perspectives in Software Architecture Quality (QoSA 2006)},
year = {2006},
editor = {Christine Hofmeister and Ivica Crnkovic and Ralf Reussner and Steffen Becker},
pages = {59-63},
month = {June 27-29},
publisher = {Universit\"at Karlsruhe, Fakult\"at f\"ur Informatik},
issn = {1432 - 7864},
owner = {daniel.kluender},
timestamp = {2006.12.19},
url = {http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=ira/2006/10},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {WK05,
author = {Wilking, Dirk and Kowalewski, Stefan},
title = {Agile Methods for Embedded Systems},
booktitle = {Extreme Programming and Agile Processes in Software Engineering (XP 2005)},
year = {2005},
editor = {Hubert Baumeister and Michele Marchesi and Mike Holcombe},
volume = {3556/2005},
pages = {319-320},
publisher = {Springer},
isbn = {978-3-540-26277-0},
issn = {0302-9743},
owner = {dirk.wilking},
timestamp = {2006.12.19},
i11key = {conference},
for_reporting_period = {Old}
}
@ARTICLE {WKK07,
author = {Wilking, Dirk and Khan, Umar Farooq and Kowalewski, Stefan},
title = {An Empirical Evaluation of Refactoring},
journal = {Software Development Theory, Practice and Experimentation},
year = {2007},
volume = {1},
pages = {28--44},
number = {1},
month = {February},
owner = {dirk.wilking},
timestamp = {2006.12.19},
i11key = {journal},
for_reporting_period = {Old}
}
@INPROCEEDINGS {MK06a,
author = {Mitsching, Ralf and Kowalewski, Stefan},
title = {Coping with the Variability of Hybrid Models for Automotive Software},
booktitle = {HYCON & CEmACS Workshop on Automotive Systems and Control, Lund},
year = {2006},
pages = {31--38},
publisher = {University Lund, Dept. Automatic Control},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {PSK06,
author = {Palczynski, Jacob and Schlich, Bastian and Kowalewski, Stefan},
booktitle = {Informatik 2006: Informatik f{\"u}r Menschen (INFORMATIK 2006), Dresden, Germany},
isbn = {978-3-88579-187-4},
issn = {1617-5468},
number = {P-93},
pages = {751--755},
publisher = {Gesellschaft f{\"u}r Informatik e.V.},
series = {Lecture Notes in Informatics},
title = {{Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern}},
volume = {1},
year = {2006},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SK06a,
author = {Salewski, Falk and Kowalewski, Stefan},
title = {Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications},
booktitle = {IEEE Symposium on Industrial Embedded Systems (IES'06)},
year = {2006},
pages = {1-4},
month = {Oct.},
publisher = {IEEE},
isbn = {1-4244-0777-X},
owner = {Falk Salewski},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SK06b,
author = {Schlich, Bastian and Kowalewski, Stefan},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), Paphos, Cyprus},
doi = {10.1109/ISoLA.2006.62},
isbn = {978-0-7695-3071-0},
pages = {466--473},
publisher = {IEEE Computer Society Press},
title = {[mc]square: A model checker for microcontroller code},
year = {2006},
i11key = {conference},
for_reporting_period = {Old}
}
@TECHREPORT {SRWK06,
address = {Aachen, Germany},
author = {Schlich, Bastian and Rohrbach, Michael and Weber, Michael and Kowalewski, Stefan},
institution = {RWTH Aachen University},
issn = {0935-3232},
number = {AIB-2006-11},
title = {Model Checking Software for Microcontrollers},
url = {http://aib.informatik.rwth-aachen.de/2006/2006-11.pdf},
year = {2006},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SWK06,
author = {Salewski, Falk and Wilking, Dirk and Kowalewski, Stefan},
title = {The effect of diverse hardware platforms on {N-version programming} in embedded systems - an empirical evaluation},
booktitle = {Proc. of the 3rd. Workshop on Dependable Embedded Sytems (WDES'06)},
year = {2006},
volume = {TR 105/2006},
pages = {61-66},
month = {Nov.},
publisher = {Vienna University of Technology},
institution = {Vienna University of Technology},
owner = {Falk Salewski},
type = {Proceedings of the 3rd International Workshop on Dependable Embedded Sytems},
i11key = {conference},
for_reporting_period = {Old}
}
%2005
@INPROCEEDINGS {SK05,
address = {Maryland, USA},
author = {Schlich, Bastian and Kowalewski, Stefan},
booktitle = {IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2005), Columbia, Maryland, USA},
month = {September},
note = {NASA/CP-2005-212788},
pages = {65--77},
publisher = {NASA},
title = {Model Checking {C} Source Code for Embedded Systems},
year = {2005},
i11key = {conference},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SK05b,
author = {Salewski, Falk and Kowalewski, Stefan},
title = {{Z}uverl\"assigkeitsmechanismen f\"ur {E}ingebettete {S}ysteme},
booktitle = {Workshop on Zuverl\"assigkeit in eingebetteten Systemen - Ada Deutschland Tagung},
year = {2005},
pages = {39-51},
publisher = {Shaker Verlag},
isbn = {3-8322-4522-7},
issn = {1433-9986},
owner = {Falk Salewski},
i11key = {conference},
for_reporting_period = {Old}
}
@ARTICLE {SK05c,
author = {Salewski, Falk and Kowalewski, Stefan},
title = {Zuverl{\"a}ssigkeitsmechanismen f\"ur Eingebettete Systeme},
journal = {GI Softwaretechnik-Trends},
year = {2005},
volume = {25},
pages = {7-8},
number = {4},
issn = {0720-8928},
owner = {Falk Salewski},
i11key = {journal},
for_reporting_period = {Old}
}
@INPROCEEDINGS {SWK05,
volume = {2},
month = {Oct.},
organization = {SIGBED Review},
doi = {http://doi.acm.org/10.1145/1121812.1121825},
owner = {Falk Salewski},
author = {Salewski, Falk and Wilking, Dirk and Kowalewski, Stefan},
title = {Diverse hardware platforms in embedded systems lab courses: A way to teach the differences},
booktitle = {Special Issue: The First Workshop on Embedded System Education (WESE)},
publisher = {ACM},
publishedas = {Online},
issn = {1551-3688},
language = {eng},
pages = {70--74},
year = {2005},
i11key = {conference},
i11projectkey = {evaboard},
url = {http://doi.acm.org/10.1145/1121812.1121825},
for_reporting_period = {Old}
}
%2004
@TECHREPORT {SK04,
address = {Aachen, Germany},
author = {Schlich, Bastian and Kowalewski, Stefan},
institution = {Embedded Software Laboratory, RWTH Aachen University},
number = {RWTH-I11-2004-1},
title = {{C Model Checker: Eine {\"U}bersicht}},
year = {2004},
for_reporting_period = {Old}
}
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland