Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Falk Howar"
download as .bib file
@inproceedings{DBLP:conf/edcc/SchallauMNH24,
author = {Till Schallau and
Dominik M{\"{a}}ckel and
Stefan Naujokat and
Falk Howar},
editor = {Behrooz Sangchoolie and
Rasmus Adler and
Richard Hawkins and
Philipp Schleiss and
Alessia Arteconi and
Adriano Mancini},
title = {{STARS:} {A} Tool for Measuring Scenario Coverage When Testing Autonomous
Robotic Systems},
booktitle = {Dependable Computing - {EDCC} 2024 Workshops - SafeAutonomy, {TRUST}
in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings},
series = {Communications in Computer and Information Science},
volume = {2078},
pages = {62--70},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56776-6\_6},
doi = {10.1007/978-3-031-56776-6\_6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/SchallauMNH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SchallauNKH24,
author = {Till Schallau and
Stefan Naujokat and
Fiona Kullmann and
Falk Howar},
editor = {Nathaniel Benz and
Divya Gopinath and
Nija Shi},
title = {Tree-Based Scenario Classification - {A} Formal Framework for Measuring
Domain Coverage When Testing Autonomous Systems},
booktitle = {{NASA} Formal Methods - 16th International Symposium, {NFM} 2024,
Moffett Field, CA, USA, June 4-6, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14627},
pages = {259--278},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-60698-4\_15},
doi = {10.1007/978-3-031-60698-4\_15},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/SchallauNKH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DierlFHJST24,
author = {Simon Dierl and
Paul Fiterau{-}Brostean and
Falk Howar and
Bengt Jonsson and
Konstantinos Sagonas and
Fredrik T{\aa}quist},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Scalable Tree-based Register Automata Learning},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {87--108},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_5},
doi = {10.1007/978-3-031-57249-4\_5},
timestamp = {Sat, 08 Jun 2024 13:13:56 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DierlFHJST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-14324,
author = {Simon Dierl and
Paul Fiterau{-}Brostean and
Falk Howar and
Bengt Jonsson and
Konstantinos Sagonas and
Fredrik T{\aa}quist},
title = {Scalable Tree-based Register Automata Learning},
journal = {CoRR},
volume = {abs/2401.14324},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.14324},
doi = {10.48550/ARXIV.2401.14324},
eprinttype = {arXiv},
eprint = {2401.14324},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-14324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-10684,
author = {Bernhard Steffen and
Tiziana Margaria and
Alexander Bainczyk and
Steve Bo{\ss}elmann and
Daniel Busch and
Marc Driessen and
Markus Frohme and
Falk Howar and
Sven J{\"{o}}rges and
Marvin Krause and
Marco Krumrey and
Anna{-}Lena Lamprecht and
Michael Lybecait and
Alnis Murtovi and
Stefan Naujokat and
Johannes Neubauer and
Alexander Schieweck and
Jonas Sch{\"{u}}rmann and
Steven Smyth and
Barbara Steffen and
Fabian Storek and
Tim Tegeler and
Sebastian Teumert and
Dominic Wirkner and
Philip Zweihoff},
title = {Language-Driven Engineering An Interdisciplinary Software Development
Paradigm},
journal = {CoRR},
volume = {abs/2402.10684},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.10684},
doi = {10.48550/ARXIV.2402.10684},
eprinttype = {arXiv},
eprint = {2402.10684},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-10684.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/HellmeierPQH23,
author = {Malte Hellmeier and
Julia Pampus and
Haydar Qarawlus and
Falk Howar},
title = {Implementing Data Sovereignty: Requirements {\&} Challenges from
Practice},
booktitle = {Proceedings of the 18th International Conference on Availability,
Reliability and Security, {ARES} 2023, Benevento, Italy, 29 August
2023- 1 September 2023},
pages = {143:1--143:9},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3600160.3604995},
doi = {10.1145/3600160.3604995},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/HellmeierPQH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/data/KlannAH23,
author = {Timon Sebastian Klann and
Marcel Altendeitering and
Falk Howar},
editor = {Oleg Gusikhin and
Slimane Hammoudi and
Alfredo Cuzzocrea},
title = {Towards a Low-Code Tool for Developing Data Quality Rules},
booktitle = {Proceedings of the 12th International Conference on Data Science,
Technology and Applications, {DATA} 2023, Rome, Italy, July 11-13,
2023},
pages = {22--29},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0012050400003541},
doi = {10.5220/0012050400003541},
timestamp = {Mon, 31 Jul 2023 15:42:50 +0200},
biburl = {https://dblp.org/rec/conf/data/KlannAH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/data/TebernumH23,
author = {Daniel Tebernum and
Falk Howar},
editor = {Oleg Gusikhin and
Slimane Hammoudi and
Alfredo Cuzzocrea},
title = {Structuring the End of the Data Life Cycle},
booktitle = {Proceedings of the 12th International Conference on Data Science,
Technology and Applications, {DATA} 2023, Rome, Italy, July 11-13,
2023},
pages = {207--218},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011999300003541},
doi = {10.5220/0011999300003541},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/data/TebernumH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/OgorelyshevaVSRH23,
author = {Natalia Ogorelysheva and
Anna Vasileva and
Jannik Stadtler and
Moritz Roidl and
Falk Howar},
title = {Mitigating Emergency Stop Collisions in {AGV} Fleets in Case of Control
Failure},
booktitle = {Seventh {IEEE} International Conference on Robotic Computing, {IRC}
2023, Laguna Hills, CA, USA, December 11-13, 2023},
pages = {314--322},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IRC59093.2023.00058},
doi = {10.1109/IRC59093.2023.00058},
timestamp = {Wed, 17 Apr 2024 17:17:12 +0200},
biburl = {https://dblp.org/rec/conf/irc/OgorelyshevaVSRH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/ZhuPZHPH23,
author = {Zhijing Zhu and
Robin Philipp and
Yongqi Zhao and
Constanze Hungar and
J{\"{u}}rgen Pannek and
Falk Howar},
title = {Automatic Disengagement Scenario Reconstruction Based on Urban Test
Drives of Automated Vehicles},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2023, Anchorage, AK, USA,
June 4-7, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IV55152.2023.10186640},
doi = {10.1109/IV55152.2023.10186640},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/ZhuPZHPH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DierlHKKLLM23,
author = {Simon Dierl and
Falk Maria Howar and
Sean Kauffman and
Martin Kristjansen and
Kim Guldstrand Larsen and
Florian Lorber and
Malte Mauritz},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Learning Symbolic Timed Models from Concrete Timed Data},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {104--121},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_7},
doi = {10.1007/978-3-031-33170-1\_7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DierlHKKLLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/HowarH23,
author = {Falk Howar and
Hardi Hungar},
editor = {Bernhard Steffen},
title = {Safe {AI} in Autonomous Vehicles - Track at AISoLA 2023},
booktitle = {Bridging the Gap Between {AI} and Reality - First International Conference,
AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14380},
pages = {421--425},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_27},
doi = {10.1007/978-3-031-46002-9\_27},
timestamp = {Sat, 08 Jun 2024 13:13:50 +0200},
biburl = {https://dblp.org/rec/conf/vecos/HowarH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wirtschaftsinformatik/TebernumH23,
author = {Daniel Tebernum and
Falk Howar},
title = {Treating the End of the Data Life Cycle as a First-Class Citizen in
Data Engineering},
booktitle = {Digital Responsibility: Social, Ethical, Ecological Implications of
IS, 18. Internationale Tagung Wirtschaftsinformatik {(WI} 2023), September
18-21, 2023, Paderborn, Germany},
pages = {8},
publisher = {AISeL},
year = {2023},
url = {https://aisel.aisnet.org/wi2023/8},
timestamp = {Fri, 03 Nov 2023 15:25:54 +0100},
biburl = {https://dblp.org/rec/conf/wirtschaftsinformatik/TebernumH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14111,
author = {Simon Lutz and
Florian Wittbold and
Simon Dierl and
Benedikt B{\"{o}}ing and
Falk Howar and
Barbara K{\"{o}}nig and
Emmanuel M{\"{u}}ller and
Daniel Neider},
title = {Interpretable Anomaly Detection via Discrete Optimization},
journal = {CoRR},
volume = {abs/2303.14111},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14111},
doi = {10.48550/ARXIV.2303.14111},
eprinttype = {arXiv},
eprint = {2303.14111},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05106,
author = {Till Schallau and
Stefan Naujokat and
Fiona Kullmann and
Falk Howar},
title = {Tree-Based Scenario Classification: {A} Formal Framework for Coverage
Analysis on Test Drives of Autonomous Vehicles},
journal = {CoRR},
volume = {abs/2307.05106},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05106},
doi = {10.48550/ARXIV.2307.05106},
eprinttype = {arXiv},
eprint = {2307.05106},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BoingHHMS22,
author = {Benedikt B{\"{o}}ing and
Falk Howar and
Jelle H{\"{u}}ntelmann and
Emmanuel M{\"{u}}ller and
Richard Stewing},
editor = {Luca Geatti and
Guido Sciavicco and
Alessandro Umbrico},
title = {Neural Network Verification with {DSE}},
booktitle = {Short Paper Proceedings of the 4th Workshop on Artificial Intelligence
and Formal Verification, Logic, Automata, and Synthesis hosted by
the 21st International Conference of the Italian Association for Artificial
Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3311},
pages = {1--6},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3311/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BoingHHMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/HoutaWKH22,
author = {Salima Houta and
Tim Wilking and
Marcel Kl{\"{o}}tgen and
Falk Howar},
editor = {Nathalie Bier and
Ana L. N. Fred and
Hugo Gamboa},
title = {Migration of Telemedicine Applications to National Telematics Infrastructure
using Epilepsy Treatment as an Example},
booktitle = {Proceedings of the 15th International Joint Conference on Biomedical
Engineering Systems and Technologies, {BIOSTEC} 2022, Volume 5: HEALTHINF,
Online Streaming, February 9-11, 2022},
pages = {697--704},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010904000003123},
doi = {10.5220/0010904000003123},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/HoutaWKH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BainczykSH20,
author = {Alexander Bainczyk and
Bernhard Steffen and
Falk Howar},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Lifelong Learning of Reactive Systems in Practice},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {38--53},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_3},
doi = {10.1007/978-3-031-08166-8\_3},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BainczykSH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HowarS22,
author = {Falk Howar and
Bernhard Steffen},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {Active Automata Learning as Black-Box Search and Lazy Partition Refinement},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {321--338},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_17},
doi = {10.1007/978-3-031-15629-8\_17},
timestamp = {Sat, 24 Sep 2022 20:46:57 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HowarS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cain/AltendeiteringP22,
author = {Marcel Altendeitering and
Julia Pampus and
Felix Larrinaga and
Jon Legaristi and
Falk Howar},
editor = {Ivica Crnkovic},
title = {Data sovereignty for {AI} pipelines: lessons learned from an industrial
project at Mondragon corporation},
booktitle = {Proceedings of the 1st International Conference on {AI} Engineering:
Software Engineering for AI, {CAIN} 2022, Pittsburgh, Pennsylvania,
May 16-17, 2022},
pages = {193--204},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3522664.3528593},
doi = {10.1145/3522664.3528593},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cain/AltendeiteringP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/data/TebernumAH22,
author = {Daniel Tebernum and
Marcel Altendeitering and
Falk Howar},
editor = {Alfredo Cuzzocrea and
Oleg Gusikhin and
Slimane Hammoudi and
Christoph Quix},
title = {A Survey-Based Evaluation of the Data Engineering Maturity in Practice},
booktitle = {Data Management Technologies and Applications - 10th International
Conference, {DATA} 2021, Virtual Event, July 6-8, 2021, and 11th International
Conference, {DATA} 2022, Lisbon, Portugal, July 11-13, 2022, Revised
Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1860},
pages = {1--23},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-37890-4\_1},
doi = {10.1007/978-3-031-37890-4\_1},
timestamp = {Wed, 06 Sep 2023 15:26:06 +0200},
biburl = {https://dblp.org/rec/conf/data/TebernumAH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HessenkamperHHR22,
author = {Axel Hessenk{\"{a}}mper and
Falk Howar and
Hardi Hungar and
Andreas Rausch},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods for a Digital Industry - Industrial Track at ISoLA
2022},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece,
October 22-30, 2022, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {13704},
pages = {337--339},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19762-8\_25},
doi = {10.1007/978-3-031-19762-8\_25},
timestamp = {Fri, 21 Oct 2022 19:54:55 +0200},
biburl = {https://dblp.org/rec/conf/isola/HessenkamperHHR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/ZhuPHH22,
author = {Zhijing Zhu and
Robin Philipp and
Constanze Hungar and
Falk Howar},
title = {Systematization and Identification of Triggering Conditions: {A} Preliminary
Step for Efficient Testing of Autonomous Vehicles},
booktitle = {2022 {IEEE} Intelligent Vehicles Symposium, {IV} 2022, Aachen, Germany,
June 4-9, 2022},
pages = {798--805},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IV51971.2022.9827238},
doi = {10.1109/IV51971.2022.9827238},
timestamp = {Tue, 26 Jul 2022 10:29:07 +0200},
biburl = {https://dblp.org/rec/conf/ivs/ZhuPHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/MuesH22,
author = {Malte Mues and
Falk Howar},
editor = {Lars Grunske and
Janet Siegmund and
Andreas Vogelsang},
title = {Data-Driven Design and Evaluation of {SMT} Meta-Solving Strategies},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
pages = {75--76},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/se2022-ws-024},
doi = {10.18420/SE2022-WS-024},
timestamp = {Fri, 21 Jan 2022 16:00:25 +0100},
biburl = {https://dblp.org/rec/conf/se/MuesH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MuesHD22,
author = {Malte Mues and
Falk Howar and
Simon Dierl},
editor = {Bernd{-}Holger Schlingloff and
Ming Chai},
title = {SPouT: Symbolic Path Recording During Testing - {A} Concolic Executor
for the {JVM}},
booktitle = {Software Engineering and Formal Methods - 20th International Conference,
{SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {91--107},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_6},
doi = {10.1007/978-3-031-17108-6\_6},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/MuesHD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/PhilippRGHZSH22,
author = {Robin Philipp and
Jana Rehbein and
Felix Gr{\"{u}}n and
Lukas Hartjen and
Zhijing Zhu and
Fabian Schuldt and
Falk Howar},
title = {Systematization of Relevant Road Users for the Evaluation of Autonomous
Vehicle Perception},
booktitle = {{IEEE} International Systems Conference, SysCon 2022, Montreal, QC,
Canada, April 25-28, 2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SysCon53536.2022.9773877},
doi = {10.1109/SYSCON53536.2022.9773877},
timestamp = {Wed, 25 May 2022 22:56:18 +0200},
biburl = {https://dblp.org/rec/conf/syscon/PhilippRGHZSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HowarM22,
author = {Falk Howar and
Malte Mues},
editor = {Dana Fisman and
Grigore Rosu},
title = {{GWIT:} {A} Witness Validator for Java based on GraalVM (Competition
Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {446--450},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_29},
doi = {10.1007/978-3-030-99527-0\_29},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HowarM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MuesH22,
author = {Malte Mues and
Falk Howar},
editor = {Dana Fisman and
Grigore Rosu},
title = {GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the
Java Virtual Machine (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {435--439},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_27},
doi = {10.1007/978-3-030-99527-0\_27},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MuesH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DierlH22,
author = {Simon Dierl and
Falk Howar},
editor = {Laura Kov{\'{a}}cs and
Karl Meinke},
title = {Reach on Register Automata via History Independence},
booktitle = {Tests and Proofs - 16th International Conference, {TAP} 2022, Held
as Part of {STAF} 2022, Nantes, France, July 5, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13361},
pages = {11--30},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09827-7\_2},
doi = {10.1007/978-3-031-09827-7\_2},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/DierlH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/HowarMM21,
author = {Falk Howar and
Malte Mues},
title = {Can We Trust Theorem Provers for Industrial AI?},
journal = {{IEEE} Softw.},
volume = {38},
number = {6},
pages = {104--108},
year = {2021},
url = {https://doi.org/10.1109/MS.2021.3103448},
doi = {10.1109/MS.2021.3103448},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/HowarMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HowarJMSS21,
author = {Falk Howar and
Marc Jasper and
Malte Mues and
David Schmidt and
Bernhard Steffen},
title = {The {RERS} challenge: towards controllable and scalable benchmark
synthesis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {6},
pages = {917--930},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00617-z},
doi = {10.1007/S10009-021-00617-Z},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HowarJMSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DierlH21,
author = {Simon Dierl and
Falk Howar},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {A Taxonomy and Reductions for Common Register Automata Formalisms},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {186--218},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_10},
doi = {10.1007/978-3-030-91384-7\_10},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DierlH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/data/TebernumAH21,
author = {Daniel Tebernum and
Marcel Altendeitering and
Falk Howar},
editor = {Christoph Quix and
Slimane Hammoudi and
Wil M. P. van der Aalst},
title = {{DERM:} {A} Reference Model for Data Engineering},
booktitle = {Proceedings of the 10th International Conference on Data Science,
Technology and Applications, {DATA} 2021, Online Streaming, July 6-8,
2021},
pages = {165--175},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010517301650175},
doi = {10.5220/0010517301650175},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/data/TebernumAH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/BrucknerH21,
author = {Fabian Bruckner and
Falk Howar},
title = {Utilizing Remote Evaluation for Providing Data Sovereignty in Data-sharing
Ecosystems},
booktitle = {54th Hawaii International Conference on System Sciences, {HICSS} 2021,
Kauai, Hawaii, USA, January 5, 2021},
pages = {1--10},
publisher = {ScholarSpace},
year = {2021},
url = {https://hdl.handle.net/10125/71463},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/BrucknerH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-seeng/DierlHMNS21,
author = {Simon Dierl and
Falk Howar and
Malte Mues and
Stefan Naujokat and
Till Schallau},
title = {Do Away with the Frankensteinian Programs! {A} Proposal for a Genuine
{SE} Education},
booktitle = {3rd International Workshop on Software Engineering Education for the
Next Generation, SEENG@ICSE 2021, Madrid, Spain, May 24, 2021},
pages = {26--30},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SEENG53126.2021.00012},
doi = {10.1109/SEENG53126.2021.00012},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse-seeng/DierlHMNS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/PhilippZFHSH21,
author = {Robin Philipp and
Zhijing Zhu and
Julian Fuchs and
Lukas Hartjen and
Fabian Schuldt and
Falk Howar},
title = {Automated 3D Object Reference Generation for the Evaluation of Autonomous
Vehicle Perception},
booktitle = {5th International Conference on System Reliability and Safety, {ICSRS}
2021, Palermo, Italy, November 24-26, 2021},
pages = {312--321},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSRS53853.2021.9660660},
doi = {10.1109/ICSRS53853.2021.9660660},
timestamp = {Tue, 11 Jan 2022 13:04:53 +0100},
biburl = {https://dblp.org/rec/conf/icsrs/PhilippZFHSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarHR21,
author = {Falk Howar and
Hardi Hungar and
Andreas Rausch},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {71--76},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_5},
doi = {10.1007/978-3-030-89159-6\_5},
timestamp = {Thu, 14 Oct 2021 09:48:48 +0200},
biburl = {https://dblp.org/rec/conf/isola/HowarHR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/PhilippQHSH21,
author = {Robin Philipp and
Hedan Qian and
Lukas Hartjen and
Fabian Schuldt and
Falk Howar},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Simulation-Based Elicitation of Accuracy Requirements for the Environmental
Perception of Autonomous Vehicles},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {129--145},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_9},
doi = {10.1007/978-3-030-89159-6\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/PhilippQHSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SteffenHTS21,
author = {Barbara Steffen and
Falk Howar and
Tim Tegeler and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Agile Business Engineering: From Transformation Towards ContinuousInnovation},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {77--94},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_6},
doi = {10.1007/978-3-030-89159-6\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/SteffenHTS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MuesH21,
author = {Malte Mues and
Falk Howar},
title = {Data-Driven Design and Evaluation of {SMT} Meta-Solving Strategies:
Balancing Performance, Accuracy, and Cost},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {179--190},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678881},
doi = {10.1109/ASE51524.2021.9678881},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MuesH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/MuesSH21,
author = {Malte Mues and
Till Schallau and
Falk Howar},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {Jaint: {A} Framework for User-Defined Dynamic Taint-Analyses based
on Dynamic Symbolic Execution of Java Programs},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {77--78},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_27},
doi = {10.18420/SE2021\_27},
timestamp = {Thu, 18 Feb 2021 17:09:52 +0100},
biburl = {https://dblp.org/rec/conf/se/MuesSH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MuesH21,
author = {Malte Mues and
Falk Howar},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings
(Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {448--452},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_30},
doi = {10.1007/978-3-030-72013-1\_30},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MuesH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-05894,
author = {Eric Fiege and
Salima Houta and
Pinar Bisgin and
Rainer Surges and
Falk Howar},
title = {Automatic Seizure Detection Using the Pulse Transit Time},
journal = {CoRR},
volume = {abs/2107.05894},
year = {2021},
url = {https://arxiv.org/abs/2107.05894},
eprinttype = {arXiv},
eprint = {2107.05894},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-05894.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/MuesH20,
author = {Malte Mues and
Falk Howar},
editor = {Marian Daun and
Elke Hochm{\"{u}}ller and
Stephan Krusche and
Bernd Br{\"{u}}gge and
Bastian Tenbergen},
title = {Teaching a Project-Based Course at a Safe Distance: An Experience
Report},
booktitle = {32nd {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2020, Virtual Conference, Germany, November 9-12, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CSEET49119.2020.9206192},
doi = {10.1109/CSEET49119.2020.9206192},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csee/MuesH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/data/BrucknerPH20,
author = {Fabian Bruckner and
Julia Pampus and
Falk Howar},
editor = {Slimane Hammoudi and
Christoph Quix and
Jorge Bernardino},
title = {A Framework for Creating Policy-agnostic Programming Languages},
booktitle = {Proceedings of the 9th International Conference on Data Science, Technology
and Applications, {DATA} 2020, Lieusaint, Paris, France, July 7-9,
2020},
pages = {31--42},
publisher = {SciTePress},
year = {2020},
url = {https://doi.org/10.5220/0009782200310042},
doi = {10.5220/0009782200310042},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/data/BrucknerPH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/data/BrucknerPH20a,
author = {Fabian Bruckner and
Julia Pampus and
Falk Howar},
editor = {Slimane Hammoudi and
Christoph Quix and
Jorge Bernardino},
title = {A Policy-Agnostic Programming Language for the International Data
Spaces},
booktitle = {Data Management Technologies and Applications - 9th International
Conference, {DATA} 2020, Virtual Event, July 7-9, 2020, Revised Selected
Papers},
series = {Communications in Computer and Information Science},
volume = {1446},
pages = {172--194},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83014-4\_9},
doi = {10.1007/978-3-030-83014-4\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/data/BrucknerPH20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GarhewalVHSLS20,
author = {Bharat Garhewal and
Frits W. Vaandrager and
Falk Howar and
Timo Schrijvers and
Toon Lenaerts and
Rob Smits},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Grey-Box Learning of Register Automata},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {22--40},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_2},
doi = {10.1007/978-3-030-63461-2\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/GarhewalVHSLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/MuesSH20,
author = {Malte Mues and
Till Schallau and
Falk Howar},
editor = {Brijesh Dongol and
Elena Troubitsyna},
title = {Jaint: {A} Framework for User-Defined Dynamic Taint-Analyses Based
on Dynamic Symbolic Execution of Java Programs},
booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
Lugano, Switzerland, November 16-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12546},
pages = {123--140},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63461-2\_7},
doi = {10.1007/978-3-030-63461-2\_7},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/MuesSH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/MuesGH20,
author = {Malte Mues and
Sebastian Gerard and
Falk Howar},
title = {Identification of Spurious Labels in Machine Learning Data Sets using
N-Version Validation},
booktitle = {23rd {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2020, Rhodes, Greece, September 20-23, 2020},
pages = {1--7},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ITSC45102.2020.9294223},
doi = {10.1109/ITSC45102.2020.9294223},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/MuesGH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MuesH20,
author = {Malte Mues and
Falk Howar},
editor = {Armin Biere and
David Parker},
title = {JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {398--402},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_28},
doi = {10.1007/978-3-030-45237-7\_28},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MuesH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-09975,
author = {Bharat Garhewal and
Frits W. Vaandrager and
Falk Howar and
Timo Schrijvers and
Toon Lenaerts and
Rob Smits},
title = {Grey-Box Learning of Register Automata},
journal = {CoRR},
volume = {abs/2009.09975},
year = {2020},
url = {https://arxiv.org/abs/2009.09975},
eprinttype = {arXiv},
eprint = {2009.09975},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JasperMMSHSSHSK19,
author = {Marc Jasper and
Malte Mues and
Alnis Murtovi and
Maximilian Schl{\"{u}}ter and
Falk Howar and
Bernhard Steffen and
Markus Schordan and
Dennis Hendriks and
Ramon R. H. Schiffelers and
Harco Kuppens and
Frits W. Vaandrager},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {{RERS} 2019: Combining Synthesis with Real-World Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {101--115},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_7},
doi = {10.1007/978-3-030-17502-3\_7},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JasperMMSHSSHSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/HowarJV19,
author = {Falk Howar and
Bengt Jonsson and
Frits W. Vaandrager},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Combining Black-Box and White-Box Techniques for Learning Register
Automata},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {563--588},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_26},
doi = {10.1007/978-3-319-91908-9\_26},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/HowarJV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HowarJM97,
author = {Falk Howar and
Fadi Jabbour and
Malte Mues},
editor = {Tiziana Margaria and
Susanne Graf and
Kim G. Larsen},
title = {JConstraints: {A} Library for Working with Logic Expressions in Java},
booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays
Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11200},
pages = {310--325},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-22348-9\_19},
doi = {10.1007/978-3-030-22348-9\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HowarJM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CasselHJS16,
author = {Sofia Cassel and
Falk Howar and
Bengt Jonsson and
Bernhard Steffen},
editor = {Amel Bennaceur and
Reiner H{\"{a}}hnle and
Karl Meinke},
title = {Extending Automata Learning to Extended Finite State Machines},
booktitle = {Machine Learning for Dynamic Software Analysis: Potentials and Limits
- International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany,
April 24-27, 2016, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {11026},
pages = {149--177},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96562-8\_6},
doi = {10.1007/978-3-319-96562-8\_6},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CasselHJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HowarS16,
author = {Falk Howar and
Bernhard Steffen},
editor = {Amel Bennaceur and
Reiner H{\"{a}}hnle and
Karl Meinke},
title = {Active Automata Learning in Practice - An Annotated Bibliography of
the Years 2011 to 2016},
booktitle = {Machine Learning for Dynamic Software Analysis: Potentials and Limits
- International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany,
April 24-27, 2016, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {11026},
pages = {123--148},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96562-8\_5},
doi = {10.1007/978-3-319-96562-8\_5},
timestamp = {Tue, 25 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HowarS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ToennemannRHC18,
author = {Jan Toennemann and
Andreas Rausch and
Falk Howar and
Benjamin Cool},
editor = {Falk Howar and
Jiri Barnat},
title = {Checking Consistency of Real-Time Requirements on Distributed Automotive
Control Software Early in the Development Process Using {UPPAAL}},
booktitle = {Formal Methods for Industrial Critical Systems - 23rd International
Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11119},
pages = {67--82},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00244-2\_5},
doi = {10.1007/978-3-030-00244-2\_5},
timestamp = {Sat, 19 Oct 2019 20:28:59 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ToennemannRHC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DimjasevicHLR18,
author = {Marko Dimjasevic and
Falk Howar and
Kasper S{\o}e Luckow and
Zvonimir Rakamaric},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Study of Integrating Random and Symbolic Testing for Object-Oriented
Software},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {89--109},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_6},
doi = {10.1007/978-3-319-98938-9\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DimjasevicHLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HessenkamperHR18,
author = {Axel Hessenk{\"{a}}mper and
Falk Howar and
Andreas Rausch},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Digital Transformation Trends: Industry 4.0, Automation, and {AI}
- Industrial Track at ISoLA 2018},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {469--471},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_34},
doi = {10.1007/978-3-030-03427-6\_34},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/HessenkamperHR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarGMN18,
author = {Falk Howar and
Dimitra Giannakopoulou and
Malte Mues and
Jorge A. Navas},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Generating Component Interfaces by Integrating Static and Symbolic
Analysis, Learning, and Runtime Monitoring},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {120--136},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_9},
doi = {10.1007/978-3-030-03421-4\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HowarGMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JasperMSSH18,
author = {Marc Jasper and
Malte Mues and
Maximilian Schl{\"{u}}ter and
Bernhard Steffen and
Falk Howar},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{RERS} 2018: CTL, LTL, and Reachability},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {433--447},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_27},
doi = {10.1007/978-3-030-03421-4\_27},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JasperMSSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/AniculaeseiHDR18,
author = {Adina Aniculaesei and
Falk Howar and
Peer Denecke and
Andreas Rausch},
editor = {Cyrille Artho and
Rudolf Ramler},
title = {Automated generation of requirements-based test cases for an adaptive
cruise control system},
booktitle = {2018 {IEEE} Workshop on Validation, Analysis and Evolution of Software
Tests, VST@SANER 2018, Campobasso, Italy, March 20, 2018},
pages = {11--15},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/VST.2018.8327150},
doi = {10.1109/VST.2018.8327150},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/AniculaeseiHDR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2018,
editor = {Falk Howar and
Jiri Barnat},
title = {Formal Methods for Industrial Critical Systems - 23rd International
Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11119},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00244-2},
doi = {10.1007/978-3-030-00244-2},
isbn = {978-3-030-00243-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BainczykSSH17,
author = {Alexander Bainczyk and
Alexander Schieweck and
Bernhard Steffen and
Falk Howar},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Model-Based Testing Without Models: The TodoMVC Case Study},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {125--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_7},
doi = {10.1007/978-3-319-68270-9\_7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BainczykSSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Fiterau-Brostean17,
author = {Paul Fiterau{-}Brostean and
Falk Howar},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Learning-Based Testing the Sliding Window Behavior of {TCP} Implementations},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {185--200},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_12},
doi = {10.1007/978-3-319-67113-0\_12},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fmics/Fiterau-Brostean17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/JasperFSSMPHS17,
author = {Marc Jasper and
Maximilian Fecke and
Bernhard Steffen and
Markus Schordan and
Jeroen Meijer and
Jaco van de Pol and
Falk Howar and
Stephen F. Siegel},
editor = {Hakan Erdogmus and
Klaus Havelund},
title = {The {RERS} 2017 challenge and workshop (invited paper)},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium
on Model Checking of Software, Santa Barbara, CA, USA, July 10-14,
2017},
pages = {11--20},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092282.3098206},
doi = {10.1145/3092282.3098206},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/JasperFSSMPHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CasselHJS16,
author = {Sofia Cassel and
Falk Howar and
Bengt Jonsson and
Bernhard Steffen},
title = {Active learning for extended finite state machines},
journal = {Formal Aspects Comput.},
volume = {28},
number = {2},
pages = {233--263},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0355-5},
doi = {10.1007/S00165-016-0355-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CasselHJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MuesHLKR16,
author = {Malte Mues and
Falk Howar and
Kasper S{\o}e Luckow and
Temesghen Kahsai and
Zvonimir Rakamaric},
title = {Releasing the {PSYCO:} Using Symbolic Search in Interface Generation
for Java},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {6},
pages = {1--5},
year = {2016},
url = {https://doi.org/10.1145/3011286.3011298},
doi = {10.1145/3011286.3011298},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/MuesHLKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GeskeJSHSP16,
author = {Maren Geske and
Marc Jasper and
Bernhard Steffen and
Falk Howar and
Markus Schordan and
Jaco van de Pol},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{RERS} 2016: Parallel and Sequential Benchmarks with Focus on {LTL}
Verification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {787--803},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_59},
doi = {10.1007/978-3-319-47169-3\_59},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/GeskeJSHSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarMR16,
author = {Falk Howar and
Karl Meinke and
Andreas Rausch},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Learning Systems: Machine-Learning in Software Products and Learning-Based
Analysis of Software Systems - Special Track at ISoLA 2016},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {651--654},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_50},
doi = {10.1007/978-3-319-47169-3\_50},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HowarMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MauritzHR16,
author = {Malte Mauritz and
Falk Howar and
Andreas Rausch},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Assuring the Safety of Advanced Driver Assistance Systems Through
a Combination of Simulation and Runtime Monitoring},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {672--687},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_52},
doi = {10.1007/978-3-319-47169-3\_52},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MauritzHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LuckowDGHIKRR16,
author = {Kasper S{\o}e Luckow and
Marko Dimjasevic and
Dimitra Giannakopoulou and
Falk Howar and
Malte Isberner and
Temesghen Kahsai and
Zvonimir Rakamaric and
Vishwanath Raman},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {JDart: {A} Dynamic Symbolic Analysis Framework},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {442--459},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_26},
doi = {10.1007/978-3-662-49674-9\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LuckowDGHIKRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/PetersHR16,
author = {Henrik Peters and
Falk Howar and
Andreas Rausch},
title = {Towards Inferring Environment Models for Control Functions from Recorded
Signal Data},
booktitle = {First International Workshop on Validating Software Tests, VST@SANER
2016, Osaka, Japan, March 15, 2016},
pages = {1--4},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SANER.2016.83},
doi = {10.1109/SANER.2016.83},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/PetersHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AniculaeseiAHR16,
author = {Adina Aniculaesei and
Daniel Arnsberger and
Falk Howar and
Andreas Rausch},
editor = {Mehdi Kargahi and
Ashutosh Trivedi},
title = {Towards the Verification of Safety-critical Autonomous Systems in
Dynamic Environments},
booktitle = {Proceedings of the The First Workshop on Verification and Validation
of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjav{\'{\i}}k,
Iceland, June 4-5, 2016},
series = {{EPTCS}},
volume = {232},
pages = {79--90},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.232.10},
doi = {10.4204/EPTCS.232.10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AniculaeseiAHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CasselHJMS15,
author = {Sofia Cassel and
Falk Howar and
Bengt Jonsson and
Maik Merten and
Bernhard Steffen},
title = {A succinct canonical register automaton model},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {1},
pages = {54--66},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2014.07.004},
doi = {10.1016/J.JLAMP.2014.07.004},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/CasselHJMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/DimjasevicGHIRR15,
author = {Marko Dimjasevic and
Dimitra Giannakopoulou and
Falk Howar and
Malte Isberner and
Zvonimir Rakamaric and
Vishwanath Raman},
title = {The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder
and its Applications},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {1},
pages = {1--5},
year = {2015},
url = {https://doi.org/10.1145/2693208.2693248},
doi = {10.1145/2693208.2693248},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/DimjasevicGHIRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/IsbernerHS15,
author = {Malte Isberner and
Falk Howar and
Bernhard Steffen},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {The Open-Source LearnLib - {A} Framework for Active Automata Learning},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {487--495},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_32},
doi = {10.1007/978-3-319-21690-4\_32},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/IsbernerHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BratBDGHK15,
author = {Guillaume Brat and
David H. Bushnell and
Misty D. Davies and
Dimitra Giannakopoulou and
Falk Howar and
Temesghen Kahsai},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Verifying the Safety of a Flight-Critical System},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {308--324},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_20},
doi = {10.1007/978-3-319-19249-9\_20},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BratBDGHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MauritzHR15,
author = {Malte Mauritz and
Falk Howar and
Andreas Rausch},
editor = {Michal Antkiewicz and
Joanne M. Atlee and
Juergen Dingel and
S. Ramesh},
title = {From Simulation to Operation: Using Design Time Artifacts to Ensure
the Safety of Advanced Driving Assistance Systems at Runtime},
booktitle = {Proceedings of the International Workshop on Modelling in Automotive
Software Engineering co-located with {ACM/IEEE} 18th International
Conference on Model Driven Engineering Languages and Systems (MoDELS
2015), Ottawa, Canada. September 27, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1487},
pages = {43--52},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1487/MASE\_2015\_paper\_14.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/MauritzHR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/IsbernerSH15,
author = {Malte Isberner and
Bernhard Steffen and
Falk Howar},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {LearnLib Tutorial - An Open-Source Java Library for Active Automata
Learning},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {358--377},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_25},
doi = {10.1007/978-3-319-23820-3\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/IsbernerSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BratBDGHK15,
author = {Guillaume Brat and
David H. Bushnell and
Misty D. Davies and
Dimitra Giannakopoulou and
Falk Howar and
Temesghen Kahsai},
title = {Verifying the Safety of a Flight-Critical System},
journal = {CoRR},
volume = {abs/1502.02605},
year = {2015},
url = {http://arxiv.org/abs/1502.02605},
eprinttype = {arXiv},
eprint = {1502.02605},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BratBDGHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/IsbernerHS14,
author = {Malte Isberner and
Falk Howar and
Bernhard Steffen},
title = {Learning register automata: from languages to program structures},
journal = {Mach. Learn.},
volume = {96},
number = {1-2},
pages = {65--98},
year = {2014},
url = {https://doi.org/10.1007/s10994-013-5419-7},
doi = {10.1007/S10994-013-5419-7},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/IsbernerHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HowarIMSBP14,
author = {Falk Howar and
Malte Isberner and
Maik Merten and
Bernhard Steffen and
Dirk Beyer and
Corina S. Pasareanu},
title = {Rigorous examination of reactive systems - The {RERS} challenges 2012
and 2013},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {457--464},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0337-y},
doi = {10.1007/S10009-014-0337-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HowarIMSBP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SteffenHINM14,
author = {Bernhard Steffen and
Falk Howar and
Malte Isberner and
Stefan Naujokat and
Tiziana Margaria},
title = {Tailored generation of concurrent benchmarks},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {543--558},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0339-9},
doi = {10.1007/S10009-014-0339-9},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SteffenHINM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AartsHKV14,
author = {Fides Aarts and
Falk Howar and
Harco Kuppens and
Frits W. Vaandrager},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Algorithms for Inferring Register Automata - {A} Comparison of Existing
Approaches},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {202--219},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_15},
doi = {10.1007/978-3-662-45234-9\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AartsHKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarIS14,
author = {Falk Howar and
Malte Isberner and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Tutorial: Automata Learning in Practice},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {499--513},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_34},
doi = {10.1007/978-3-662-45234-9\_34},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HowarIS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarS14,
author = {Falk Howar and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Learning Models for Verification and Testing - Special Track at ISoLA
2014 Track Introduction},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {199--201},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_14},
doi = {10.1007/978-3-662-45234-9\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HowarS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GiannakopoulouHILRR14,
author = {Dimitra Giannakopoulou and
Falk Howar and
Malte Isberner and
Todd Lauderdale and
Zvonimir Rakamaric and
Vishwanath Raman},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Taming test inputs for separation assurance},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {373--384},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2642940},
doi = {10.1145/2642937.2642940},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GiannakopoulouHILRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GarocheHKT14,
author = {Pierre{-}Lo{\"{\i}}c Garoche and
Falk Howar and
Temesghen Kahsai and
Xavier Thirioux},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {Testing-Based Compiler Validation for Synchronous Languages},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {246--251},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06200-6\_19},
doi = {10.1007/978-3-319-06200-6\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GarocheHKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/IsbernerHS14,
author = {Malte Isberner and
Falk Howar and
Bernhard Steffen},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {The {TTT} Algorithm: {A} Redundancy-Free Approach to Active Automata
Learning},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {307--322},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_26},
doi = {10.1007/978-3-319-11164-3\_26},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/IsbernerHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CasselHJS14,
author = {Sofia Cassel and
Falk Howar and
Bengt Jonsson and
Bernhard Steffen},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Learning Extended Finite State Machines},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {250--264},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_18},
doi = {10.1007/978-3-319-10431-7\_18},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CasselHJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/HowarMW13,
author = {Falk Howar and
Tiziana Margaria and
Christian Wagner},
title = {Simplifying Translation Validation via Model Extrapolation},
journal = {J. Integr. Des. Process. Sci.},
volume = {17},
number = {3},
pages = {71--91},
year = {2013},
url = {https://doi.org/10.3233/jid-2013-0022},
doi = {10.3233/JID-2013-0022},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jid/HowarMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/WindmullerNSHB13,
author = {Stephan Windm{\"{u}}ller and
Johannes Neubauer and
Bernhard Steffen and
Falk Howar and
Oliver Bauer},
editor = {Philippe Kruchten and
Dimitra Giannakopoulou and
Massimo Tivoli},
title = {Active continuous quality control},
booktitle = {CBSE'13, Proceedings of the 16th {ACM} {SIGSOFT} Symposium on Component
Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada,
June 17-21, 2013},
pages = {111--120},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465449.2465469},
doi = {10.1145/2465449.2465469},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/cbse/WindmullerNSHB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HowarGR13,
author = {Falk Howar and
Dimitra Giannakopoulou and
Zvonimir Rakamaric},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Hybrid learning: interface generation through static, dynamic, and
symbolic analysis},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {268--279},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483783},
doi = {10.1145/2483760.2483783},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/HowarGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/IsbernerHS13,
author = {Malte Isberner and
Falk Howar and
Bernhard Steffen},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Inferring Automata with State-Local Alphabet Abstractions},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {124--138},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_9},
doi = {10.1007/978-3-642-38088-4\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/IsbernerHS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Howar12,
author = {Falk Howar},
title = {Active learning of interface programs},
school = {Dortmund University of Technology},
year = {2012},
url = {https://hdl.handle.net/2003/29486},
urn = {urn:nbn:de:101:1-201605033153},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Howar12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CasselJHS12,
author = {Sofia Cassel and
Bengt Jonsson and
Falk Howar and
Bernhard Steffen},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {A Succinct Canonical Register Automaton Model for Data Domains with
Binary Relations},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {57--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_6},
doi = {10.1007/978-3-642-33386-6\_6},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/CasselJHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BennaceurISHISJM12,
author = {Amel Bennaceur and
Val{\'{e}}rie Issarny and
Daniel Sykes and
Falk Howar and
Malte Isberner and
Bernhard Steffen and
Richard Johansson and
Alessandro Moschitti},
editor = {Alessandro Moschitti and
Barbara Plank},
title = {Machine Learning for Emergent Middleware},
booktitle = {Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
- Second International Workshop, EternalS 2012, Montpellier, France,
August 28, 2012, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {379},
pages = {16--29},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-45260-4\_2},
doi = {10.1007/978-3-642-45260-4\_2},
timestamp = {Sun, 25 Oct 2020 23:05:37 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BennaceurISHISJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NeubauerSBWMMH12,
author = {Johannes Neubauer and
Bernhard Steffen and
Oliver Bauer and
Stephan Windm{\"{u}}ller and
Maik Merten and
Tiziana Margaria and
Falk Howar},
editor = {Stefania Gnesi and
Stefan Gruner and
Nico Plat and
Bernhard Rumpe},
title = {Automated continuous quality assurance},
booktitle = {Proceedings of the First International Workshop on Formal Methods
in Software Engineering - Rigorous and Agile Approaches, FormSERA
2012, Zurich, Switzerland, June 2, 2012},
pages = {37--43},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/FormSERA.2012.6229787},
doi = {10.1109/FORMSERA.2012.6229787},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NeubauerSBWMMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarIMS12,
author = {Falk Howar and
Malte Isberner and
Maik Merten and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {LearnLib Tutorial: From Finite Automata to Register Interface Programs},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {587--590},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_43},
doi = {10.1007/978-3-642-34026-0\_43},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HowarIMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarIMSB12,
author = {Falk Howar and
Malte Isberner and
Maik Merten and
Bernhard Steffen and
Dirk Beyer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The {RERS} Grey-Box Challenge 2012: Analysis of Event-Condition-Action
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {608--614},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_45},
doi = {10.1007/978-3-642-34026-0\_45},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HowarIMSB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarISBJ12,
author = {Falk Howar and
Malte Isberner and
Bernhard Steffen and
Oliver Bauer and
Bengt Jonsson},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Inferring Semantic Interfaces of Data Structures},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {554--571},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_41},
doi = {10.1007/978-3-642-34026-0\_41},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HowarISBJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenHSPT12,
author = {Maik Merten and
Falk Howar and
Bernhard Steffen and
Patrizio Pelliccione and
Massimo Tivoli},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automated Inference of Models for Black Box Systems Based on Interface
Descriptions},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {79--96},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_7},
doi = {10.1007/978-3-642-34026-0\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/MertenHSPT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenIHSM12,
author = {Maik Merten and
Malte Isberner and
Falk Howar and
Bernhard Steffen and
Tiziana Margaria},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Automated Learning Setups in Automata Learning},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {591--607},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_44},
doi = {10.1007/978-3-642-34026-0\_44},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MertenIHSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MertenHSCJ12,
author = {Maik Merten and
Falk Howar and
Bernhard Steffen and
Sofia Cassel and
Bengt Jonsson},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {Demonstrating Learning of Register Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {466--471},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_32},
doi = {10.1007/978-3-642-28756-5\_32},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MertenHSCJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HowarSJC12,
author = {Falk Howar and
Bernhard Steffen and
Bengt Jonsson and
Sofia Cassel},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Inferring Canonical Register Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {251--266},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_17},
doi = {10.1007/978-3-642-27940-9\_17},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HowarSJC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/jmlr/SteffenHI12,
author = {Bernhard Steffen and
Falk Howar and
Malte Isberner},
editor = {Jeffrey Heinz and
Colin de la Higuera and
Tim Oates},
title = {Active Automata Learning: From DFAs to Interface Programs and Beyond},
booktitle = {Proceedings of the Eleventh International Conference on Grammatical
Inference, {ICGI} 2012, University of Maryland, College Park, USA,
September 5-8, 2012},
series = {{JMLR} Proceedings},
volume = {21},
pages = {195--209},
publisher = {JMLR.org},
year = {2012},
url = {http://proceedings.mlr.press/v21/steffen12a.html},
timestamp = {Sun, 16 Oct 2022 14:19:56 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/SteffenHI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk11,
author = {Howard Falk},
title = {Applications, Architectures, and Protocol Design Issues for Mobile
Social Networks: {A} Survey},
journal = {Proc. {IEEE}},
volume = {99},
number = {12},
pages = {2125--2129},
year = {2011},
url = {https://doi.org/10.1109/JPROC.2011.2170750},
doi = {10.1109/JPROC.2011.2170750},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CasselHJMS11,
author = {Sofia Cassel and
Falk Howar and
Bengt Jonsson and
Maik Merten and
Bernhard Steffen},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {A Succinct Canonical Register Automaton Model},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {366--380},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_26},
doi = {10.1007/978-3-642-24372-1\_26},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/CasselHJMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fet/BauerNSH11,
author = {Oliver Bauer and
Johannes Neubauer and
Bernhard Steffen and
Falk Howar},
editor = {Alessandro Moschitti and
Riccardo Scandariato},
title = {Reusing System States by Active Learning Algorithms},
booktitle = {Eternal Systems - First International Workshop, EternalS@FET 2011,
Budapest, Hungary, May 3, 2011, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {255},
pages = {61--78},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-28033-7\_6},
doi = {10.1007/978-3-642-28033-7\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fet/BauerNSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarBMSM11,
author = {Falk Howar and
Oliver Bauer and
Maik Merten and
Bernhard Steffen and
Tiziana Margaria},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata
Learning},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {232--247},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_18},
doi = {10.1007/978-3-642-34781-8\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HowarBMSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MertenHSM11,
author = {Maik Merten and
Falk Howar and
Bernhard Steffen and
Tiziana Margaria},
editor = {Reiner H{\"{a}}hnle and
Jens Knoop and
Tiziana Margaria and
Dietmar Schreiner and
Bernhard Steffen},
title = {Automata Learning with On-the-Fly Direct Hypothesis Construction},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under
the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {336},
pages = {248--260},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34781-8\_19},
doi = {10.1007/978-3-642-34781-8\_19},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MertenHSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/SteffenHM11,
author = {Bernhard Steffen and
Falk Howar and
Maik Merten},
editor = {Marco Bernardo and
Val{\'{e}}rie Issarny},
title = {Introduction to Active Automata Learning from a Practical Perspective},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International
School on Formal Methods for the Design of Computer, Communication
and Software Systems, {SFM} 2011, Bertinoro, Italy, June 13-18, 2011.
Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {6659},
pages = {256--296},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21455-4\_8},
doi = {10.1007/978-3-642-21455-4\_8},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/SteffenHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MertenSHM11,
author = {Maik Merten and
Bernhard Steffen and
Falk Howar and
Tiziana Margaria},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Next Generation LearnLib},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {220--223},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_18},
doi = {10.1007/978-3-642-19835-9\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MertenSHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HowarSM11,
author = {Falk Howar and
Bernhard Steffen and
Maik Merten},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Automata Learning with Automated Alphabet Abstraction Refinement},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {263--277},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_19},
doi = {10.1007/978-3-642-18275-4\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HowarSM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gac/ConsalvoADFFHY10,
author = {Mia Consalvo and
Timothy Dodd Alley and
Nathan Dutton and
Matthew Falk and
Howard Fisher and
Todd Harper and
Adam Yulish},
title = {Where's My Montage? The Performance of Hard Work and Its Reward in
Film, Television, and MMOGs},
journal = {Games Cult.},
volume = {5},
number = {4},
pages = {381--402},
year = {2010},
url = {https://doi.org/10.1177/1555412009360413},
doi = {10.1177/1555412009360413},
timestamp = {Mon, 15 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gac/ConsalvoADFFHY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BennaceurBCHGGHIIP10,
author = {Amel Bennaceur and
Gordon S. Blair and
Franck Chauvel and
Gang Huang and
Nikolaos Georgantas and
Paul Grace and
Falk Howar and
Paola Inverardi and
Val{\'{e}}rie Issarny and
Massimo Paolucci and
Animesh Pathak and
Romina Spalazzese and
Bernhard Steffen and
Bertrand Souville},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards an Architecture for Runtime Interoperability},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {206--220},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_23},
doi = {10.1007/978-3-642-16561-0\_23},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BennaceurBCHGGHIIP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarJMSC10,
author = {Falk Howar and
Bengt Jonsson and
Maik Merten and
Bernhard Steffen and
Sofia Cassel},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Handling Data in Automata Learning - Considerations from the {CONNECT}
Perspective},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6416},
pages = {221--235},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16561-0\_24},
doi = {10.1007/978-3-642-16561-0\_24},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HowarJMSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HowarSM10,
author = {Falk Howar and
Bernhard Steffen and
Maik Merten},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {From {ZULU} to {RERS} - Lessons Learned in the {ZULU} Challenge},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation
- 4th International Symposium on Leveraging Applications, ISoLA 2010,
Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {687--704},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16558-0\_55},
doi = {10.1007/978-3-642-16558-0\_55},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HowarSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk07,
author = {Howard Falk},
title = {Prolog to Multi-User {MIMO-OFDM} for Next-Generation Wireless},
journal = {Proc. {IEEE}},
volume = {95},
number = {7},
pages = {1428--1429},
year = {2007},
url = {https://doi.org/10.1109/JPROC.2007.897976},
doi = {10.1109/JPROC.2007.897976},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk06,
author = {Howard Falk},
title = {Prolog to Substrate Noise Coupling in SoC Design: Modeling, Avoidance,
and Validation},
journal = {Proc. {IEEE}},
volume = {94},
number = {12},
pages = {2107--2108},
year = {2006},
url = {https://doi.org/10.1109/JPROC.2006.886024},
doi = {10.1109/JPROC.2006.886024},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk05,
author = {Howard Falk},
title = {Temple of the computer},
journal = {Electron. Libr.},
volume = {23},
number = {2},
pages = {244--248},
year = {2005},
url = {https://doi.org/10.1108/02640470510592951},
doi = {10.1108/02640470510592951},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk05a,
author = {Howard Falk},
title = {State library databases on the internet},
journal = {Electron. Libr.},
volume = {23},
number = {4},
pages = {492--498},
year = {2005},
url = {https://doi.org/10.1108/02640470510611553},
doi = {10.1108/02640470510611553},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk05,
author = {Howard Falk},
title = {Prolog to Active Harmonic Filters},
journal = {Proc. {IEEE}},
volume = {93},
number = {12},
pages = {2127},
year = {2005},
url = {https://doi.org/10.1109/JPROC.2005.859601},
doi = {10.1109/JPROC.2005.859601},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk04,
author = {Howard Falk},
title = {The revolt against journal publishers},
journal = {Electron. Libr.},
volume = {22},
number = {2},
pages = {184--187},
year = {2004},
url = {https://doi.org/10.1108/02640470410533452},
doi = {10.1108/02640470410533452},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk04a,
author = {Howard Falk},
title = {Privacy in libraries},
journal = {Electron. Libr.},
volume = {22},
number = {3},
pages = {281--284},
year = {2004},
url = {https://doi.org/10.1108/02640470410541697},
doi = {10.1108/02640470410541697},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk04b,
author = {Howard Falk},
title = {Open access gains momentum},
journal = {Electron. Libr.},
volume = {22},
number = {6},
pages = {527--530},
year = {2004},
url = {https://doi.org/10.1108/02640470410570848},
doi = {10.1108/02640470410570848},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk04b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk04,
author = {Howard Falk},
title = {Interdigital Sensors and Transducers},
journal = {Proc. {IEEE}},
volume = {92},
number = {5},
pages = {806--807},
year = {2004},
url = {https://doi.org/10.1109/JPROC.2004.826604},
doi = {10.1109/JPROC.2004.826604},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk04a,
author = {Howard Falk},
title = {Formal Verification of Timed Systems: {A} Survey and Perspective},
journal = {Proc. {IEEE}},
volume = {92},
number = {8},
pages = {1281--1282},
year = {2004},
url = {https://doi.org/10.1109/JPROC.2004.831210},
doi = {10.1109/JPROC.2004.831210},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk04b,
author = {Howard Falk},
title = {Decisive Aspects in the Evolution of Microprocessors},
journal = {Proc. {IEEE}},
volume = {92},
number = {12},
pages = {1895},
year = {2004},
url = {https://doi.org/10.1109/JPROC.2004.837615},
doi = {10.1109/JPROC.2004.837615},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk04b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/FalknerDHMMN04,
author = {Katrina Falkner and
Henry Detmold and
Diana Howard and
David S. Munro and
Ronald Morrison and
Stuart J. Norcross},
title = {Unifying Static and Dynamic Approaches to Evolution through the Compliant
Systems Architecture},
booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37}
2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HICSS.2004.1265637},
doi = {10.1109/HICSS.2004.1265637},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/FalknerDHMMN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk03,
author = {Howard Falk},
title = {Electronic campuses},
journal = {Electron. Libr.},
volume = {21},
number = {1},
pages = {63--66},
year = {2003},
url = {https://doi.org/10.1108/02640470310462452},
doi = {10.1108/02640470310462452},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk03a,
author = {Howard Falk},
title = {Journal publishing is ripe for change},
journal = {Electron. Libr.},
volume = {21},
number = {2},
pages = {165--168},
year = {2003},
url = {https://doi.org/10.1108/02640470310470534},
doi = {10.1108/02640470310470534},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk03b,
author = {Howard Falk},
title = {Developing digital libraries},
journal = {Electron. Libr.},
volume = {21},
number = {3},
pages = {258--261},
year = {2003},
url = {https://doi.org/10.1108/02640470310480515},
doi = {10.1108/02640470310480515},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk03b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk03c,
author = {Howard Falk},
title = {Digital archive developments},
journal = {Electron. Libr.},
volume = {21},
number = {4},
pages = {375--379},
year = {2003},
url = {https://doi.org/10.1108/02640470310491603},
doi = {10.1108/02640470310491603},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk03c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk03,
author = {Howard Falk},
title = {Prolog to: Leakage current mechanisms and leakage reduction techniques
in deep-submicrometer cmos circuits},
journal = {Proc. {IEEE}},
volume = {91},
number = {2},
pages = {303--304},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2003.808154},
doi = {10.1109/JPROC.2003.808154},
timestamp = {Mon, 30 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bncod/HowardDFM03,
author = {Diana Howard and
Henry Detmold and
Katrina Falkner and
David S. Munro},
editor = {Anne E. James and
Brian Lings and
Muhammad Younas},
title = {Using the Compliant Systems Architecture to Deliver Flexible Policies
within Two-Phase Commit},
booktitle = {New Horizons in Information Management, 20th British National Conference
on Databases, {BNCOD} 20, Coventry, UK, July 15-17, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2712},
pages = {245--252},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45073-4\_19},
doi = {10.1007/3-540-45073-4\_19},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bncod/HowardDFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk02,
author = {Howard Falk},
title = {Prolog to technical advances in digital audio radio broadcasting in
the united states},
journal = {Proc. {IEEE}},
volume = {90},
number = {8},
pages = {1301--1302},
year = {2002},
url = {https://doi.org/10.1109/JPROC.2002.800721},
doi = {10.1109/JPROC.2002.800721},
timestamp = {Tue, 17 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/MeijeringF02,
author = {Erik Meijering and
Howard Falk},
title = {Prolog to a chronology of interpolation: from ancient astronomy to
modern signal and image processing},
journal = {Proc. {IEEE}},
volume = {90},
number = {3},
pages = {317--318},
year = {2002},
url = {https://doi.org/10.1109/JPROC.2002.993399},
doi = {10.1109/JPROC.2002.993399},
timestamp = {Tue, 17 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/MeijeringF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk01,
author = {Howard Falk},
title = {Prolog to renewable energy today and tomorrow},
journal = {Proc. {IEEE}},
volume = {89},
number = {8},
pages = {1214--1215},
year = {2001},
url = {https://doi.org/10.1109/JPROC.2001.940289},
doi = {10.1109/JPROC.2001.940289},
timestamp = {Tue, 17 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk00,
author = {Howard Falk},
title = {Prolog to perceptual coding of digital audio},
journal = {Proc. {IEEE}},
volume = {88},
number = {4},
pages = {449--450},
year = {2000},
url = {https://doi.org/10.1109/jproc.2000.842995},
doi = {10.1109/JPROC.2000.842995},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/Falk00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk00a,
author = {Howard Falk},
title = {Prolog to electrostatic discharge in semiconductor devices: protection
techniques},
journal = {Proc. {IEEE}},
volume = {88},
number = {12},
pages = {1876--1877},
year = {2000},
url = {https://doi.org/10.1109/jproc.2000.899056},
doi = {10.1109/JPROC.2000.899056},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/Falk00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk99,
author = {Howard Falk},
title = {Storing and viewing electronic documents},
journal = {Electron. Libr.},
volume = {17},
number = {1},
pages = {40--44},
year = {1999},
url = {https://doi.org/10.1108/02640479910329419},
doi = {10.1108/02640479910329419},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk99a,
author = {Howard Falk},
title = {Computer intrusions and attacks},
journal = {Electron. Libr.},
volume = {17},
number = {2},
pages = {115--119},
year = {1999},
url = {https://doi.org/10.1108/02640479910329635},
doi = {10.1108/02640479910329635},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk99b,
author = {Howard Falk},
title = {Network kits},
journal = {Electron. Libr.},
volume = {17},
number = {3},
pages = {181--186},
year = {1999},
url = {https://doi.org/10.1108/02640479910329806},
doi = {10.1108/02640479910329806},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk99b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk99c,
author = {Howard Falk},
title = {The view through the display window},
journal = {Electron. Libr.},
volume = {17},
number = {4},
pages = {263--267},
year = {1999},
url = {https://doi.org/10.1108/02640479910330598},
doi = {10.1108/02640479910330598},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk99c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk99d,
author = {Howard Falk},
title = {Library web site innovations},
journal = {Electron. Libr.},
volume = {17},
number = {5},
pages = {323--328},
year = {1999},
url = {https://doi.org/10.1108/02640479910329897},
doi = {10.1108/02640479910329897},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk99d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/el/Falk99e,
author = {Howard Falk},
title = {Projecting the library onto the web},
journal = {Electron. Libr.},
volume = {17},
number = {6},
pages = {395--399},
year = {1999},
url = {https://doi.org/10.1108/02640479910330011},
doi = {10.1108/02640479910330011},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/el/Falk99e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk99,
author = {Howard Falk},
title = {Prolog To {A} Categorization Of Multiscale-decomposition-based Image
Fusion Schemes With {A} Performance Study For {A} Digital Camera Application},
journal = {Proc. {IEEE}},
volume = {87},
number = {8},
pages = {1313--1314},
year = {1999},
url = {https://doi.org/10.1109/jproc.1999.775419},
doi = {10.1109/JPROC.1999.775419},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/Falk99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk98,
author = {Howard Falk},
title = {Prolog To Electrical Characteristics Of Interconnections For High-performance
Systems},
journal = {Proc. {IEEE}},
volume = {86},
number = {2},
pages = {313--314},
year = {1998},
url = {https://doi.org/10.1109/jproc.1998.659488},
doi = {10.1109/JPROC.1998.659488},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/Falk98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk98a,
author = {Howard Falk},
title = {Prolog To Defect Tolerance In Vlsi Circuits: Techniques And Yield
Analysis},
journal = {Proc. {IEEE}},
volume = {86},
number = {9},
pages = {1817--1818},
year = {1998},
url = {https://doi.org/10.1109/jproc.1998.705524},
doi = {10.1109/JPROC.1998.705524},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pieee/Falk98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk96,
author = {Howard Falk},
title = {Prolog to: {A} Survey of Heterogeneous Computing: Concepts and Systems},
journal = {Proc. {IEEE}},
volume = {84},
number = {8},
pages = {1124},
year = {1996},
url = {https://doi.org/10.1109/jproc.1996.533957},
doi = {10.1109/JPROC.1996.533957},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/Falk95,
author = {Howard Falk},
title = {Prolog to: Detection of signals in chaos},
journal = {Proc. {IEEE}},
volume = {83},
number = {1},
pages = {94},
year = {1995},
url = {https://doi.org/10.1109/jproc.1995.1200273},
doi = {10.1109/JPROC.1995.1200273},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/Falk95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ior/FalkPSCC92,
author = {James E. Falk and
Susan W. Palocsay and
William J. Sacco and
Wayne S. Copes and
Howard R. Champion},
title = {Bounds on a Trauma Outcome Function via Optimization},
journal = {Oper. Res.},
volume = {40},
number = {Supplement-1},
pages = {S86--S95},
year = {1992},
url = {https://doi.org/10.1287/opre.40.1.S86},
doi = {10.1287/OPRE.40.1.S86},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ior/FalkPSCC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-29 03:35 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
