Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Naujokat
@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 = {Wed, 17 Apr 2024 15:47:24 +0200},
biburl = {https://dblp.org/rec/conf/edcc/SchallauMNH24.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}
}
@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}
}
@article{DBLP:journals/eceasst/SchallauN22,
author = {Till Schallau and
Stefan Naujokat},
title = {Validating Behavioral Requirements, Conditions, and Rules of Autonomous
Systems with Scenario-Based Testing},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {82},
year = {2022},
url = {https://doi.org/10.14279/tuj.eceasst.82.1222},
doi = {10.14279/TUJ.ECEASST.82.1222},
timestamp = {Wed, 10 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/SchallauN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse-seeng/MauritzNRS22,
author = {Malte Mauritz and
Stefan Naujokat and
Christian Riest and
Till Schallau},
title = {Aligning the learning experience in a project-based course: lessons
learned from the redesign of a programming lab},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering
Education for the Next Generation, SEENG@ICSE 2022, Pittsburgh, Pennsylvania,
17 May 2022},
pages = {12--19},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3528231.3528358},
doi = {10.1145/3528231.3528358},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse-seeng/MauritzNRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/JorgesLMN21,
author = {Sven J{\"{o}}rges and
Anna{-}Lena Lamprecht and
Anila Mjeda and
Stefan Naujokat},
title = {Preface},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {81},
year = {2021},
url = {https://doi.org/10.14279/tuj.eceasst.81.1206.1136},
doi = {10.14279/TUJ.ECEASST.81.1206.1136},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eceasst/JorgesLMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KopetzkiLNS21,
author = {Dawid Kopetzki and
Michael Lybecait and
Stefan Naujokat and
Bernhard Steffen},
title = {Towards language-to-language transformation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {5},
pages = {655--677},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00630-2},
doi = {10.1007/S10009-021-00630-2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/KopetzkiLNS21.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/fase/ZweihoffNS19,
author = {Philip Zweihoff and
Stefan Naujokat and
Bernhard Steffen},
editor = {Reiner H{\"{a}}hnle and
Wil M. P. van der Aalst},
title = {Pyro: Generating Domain-Specific Collaborative Online Modeling Environments},
booktitle = {Fundamental Approaches to Software Engineering - 22nd International
Conference, {FASE} 2019, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic,
April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11424},
pages = {101--115},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16722-6\_6},
doi = {10.1007/978-3-030-16722-6\_6},
timestamp = {Tue, 29 Dec 2020 18:33:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/ZweihoffNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SteffenGNM19,
author = {Bernhard Steffen and
Frederik Gossen and
Stefan Naujokat and
Tiziana Margaria},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Language-Driven Engineering: From General-Purpose to Purpose-Specific
Languages},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {311--344},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_17},
doi = {10.1007/978-3-319-91908-9\_17},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/SteffenGNM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/NaujokatLKS18,
author = {Stefan Naujokat and
Michael Lybecait and
Dawid Kopetzki and
Bernhard Steffen},
title = {{CINCO:} a simplicity-driven approach to full generation of domain-specific
graphical modeling tools},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {3},
pages = {327--354},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0453-6},
doi = {10.1007/S10009-017-0453-6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/NaujokatLKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ChadliKLLNST18,
author = {Mounir Chadli and
Jin Hyun Kim and
Kim G. Larsen and
Axel Legay and
Stefan Naujokat and
Bernhard Steffen and
Louis{-}Marie Traonouez},
title = {High-level frameworks for the specification and verification of scheduling
problems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {4},
pages = {397--422},
year = {2018},
url = {https://doi.org/10.1007/s10009-017-0466-1},
doi = {10.1007/S10009-017-0466-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/ChadliKLLNST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BosselmannNS18,
author = {Steve Bo{\ss}elmann and
Stefan Naujokat and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On the Difficulty of Drawing the Line},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {340--356},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_20},
doi = {10.1007/978-3-030-03418-4\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BosselmannNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LybecaitKZFNS18,
author = {Michael Lybecait and
Dawid Kopetzki and
Philip Zweihoff and
Annika Fuhge and
Stefan Naujokat and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Tutorial Introduction to Graphical Modeling and Metamodeling with
{CINCO}},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {519--538},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_31},
doi = {10.1007/978-3-030-03418-4\_31},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/LybecaitKZFNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GossenMMNS18,
author = {Frederik Gossen and
Tiziana Margaria and
Alnis Murtovi and
Stefan Naujokat and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {DSLs for Decision Services: {A} Tutorial Introduction to Language-Driven
Engineering},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {546--564},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_33},
doi = {10.1007/978-3-030-03418-4\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GossenMMNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Naujokat17,
author = {Stefan Naujokat},
title = {Heavy meta: Model-driven domain-specific generation of generative
domain-specific modeling tools},
school = {Technical University of Dortmund, Germany},
year = {2017},
url = {https://hdl.handle.net/2003/36060},
urn = {urn:nbn:de:101:1-2017090136},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Naujokat17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fomac/SteffenN16,
author = {Bernhard Steffen and
Stefan Naujokat},
title = {Archimedean Points: The Essence for Mastering Change},
journal = {{LNCS} Trans. Found. Mastering Chang.},
volume = {1},
pages = {22--46},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46508-1\_3},
doi = {10.1007/978-3-319-46508-1\_3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fomac/SteffenN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ChadliKLTNSL16,
author = {Mounir Chadli and
Jin Hyun Kim and
Axel Legay and
Louis{-}Marie Traonouez and
Stefan Naujokat and
Bernhard Steffen and
Kim Guldstrand Larsen},
editor = {Maurice H. ter Beek and
Stefania Gnesi and
Alexander Knapp},
title = {A Model-Based Framework for the Specification and Analysis of Hierarchical
Scheduling Systems},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
21st International Workshop on Formal Methods for Industrial Critical
Systems and 16th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9933},
pages = {133--141},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45943-1\_9},
doi = {10.1007/978-3-319-45943-1\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ChadliKLTNSL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/NaujokatNMS16,
author = {Stefan Naujokat and
Johannes Neubauer and
Tiziana Margaria and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Meta-Level Reuse for Mastering Domain Specialization},
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 = {218--237},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_16},
doi = {10.1007/978-3-319-47169-3\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NaujokatNMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JorgesLMNS16,
author = {Sven J{\"{o}}rges and
Anna{-}Lena Lamprecht and
Tiziana Margaria and
Stefan Naujokat and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Synthesis from a Practical Perspective},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {282--302},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_20},
doi = {10.1007/978-3-319-47166-2\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/JorgesLMNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WortmannMN16,
author = {Nils Wortmann and
Malte Michel and
Stefan Naujokat},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Fully Model-Based Approach to Software Development for Industrial
Centrifuges},
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 = {774--783},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_58},
doi = {10.1007/978-3-319-47169-3\_58},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/WortmannMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BosselmannFKLNN16,
author = {Steve Bo{\ss}elmann and
Markus Frohme and
Dawid Kopetzki and
Michael Lybecait and
Stefan Naujokat and
Johannes Neubauer and
Dominic Wirkner and
Philip Zweihoff and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{DIME:} {A} Programming-Less Modeling Environment for Web Applications},
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 = {809--832},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_60},
doi = {10.1007/978-3-319-47169-3\_60},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BosselmannFKLNN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/NaujokatNLSJM14,
author = {Stefan Naujokat and
Johannes Neubauer and
Anna{-}Lena Lamprecht and
Bernhard Steffen and
Sven J{\"{o}}rges and
Tiziana Margaria},
title = {Simplicity-first model-based plug-in development},
journal = {Softw. Pract. Exp.},
volume = {44},
number = {3},
pages = {277--297},
year = {2014},
url = {https://doi.org/10.1002/spe.2243},
doi = {10.1002/SPE.2243},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/NaujokatNLSJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/SteffenINMG14,
author = {Bernhard Steffen and
Malte Isberner and
Stefan Naujokat and
Tiziana Margaria and
Maren Geske},
title = {Property-driven benchmark generation: synthesizing programs of realistic
structure},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {16},
number = {5},
pages = {465--479},
year = {2014},
url = {https://doi.org/10.1007/s10009-014-0336-z},
doi = {10.1007/S10009-014-0336-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/SteffenINMG14.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/NaujokatTISL14,
author = {Stefan Naujokat and
Louis{-}Marie Traonouez and
Malte Isberner and
Bernhard Steffen and
Axel Legay},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Domain-Specific Code Generator Modeling: {A} Case Study for Multi-faceted
Concurrent Systems},
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 = {481--498},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_33},
doi = {10.1007/978-3-662-45234-9\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/NaujokatTISL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/LamprechtNS13,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Ina Schaefer},
title = {Variability Management beyond Feature Models},
journal = {Computer},
volume = {46},
number = {11},
pages = {48--54},
year = {2013},
url = {https://doi.org/10.1109/MC.2013.299},
doi = {10.1109/MC.2013.299},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/LamprechtNS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SteffenINMG13,
author = {Bernhard Steffen and
Malte Isberner and
Stefan Naujokat and
Tiziana Margaria and
Maren Geske},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Property-Driven Benchmark Generation},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {341--357},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_21},
doi = {10.1007/978-3-642-39176-7\_21},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/SteffenINMG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NaujokatLS12,
author = {Stefan Naujokat and
Anna{-}Lena Lamprecht and
Bernhard Steffen},
editor = {Juan de Lara and
Andrea Zisman},
title = {Loose Programming with {PROPHETS}},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 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 = {7212},
pages = {94--98},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_7},
doi = {10.1007/978-3-642-28872-2\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/NaujokatLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NaujokatLSJM12,
author = {Stefan Naujokat and
Anna{-}Lena Lamprecht and
Bernhard Steffen and
Sven J{\"{o}}rges and
Tiziana Margaria},
editor = {Diego Garbervetsky and
Sunghun Kim},
title = {Simplicity principles for plug-in development: the jABC approach},
booktitle = {Proceedings of the Second International Workshop on Developing Tools
as Plug-Ins, {TOPI} 2012, Zurich, Switzerland, June 3, 2012},
pages = {7--12},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TOPI.2012.6229816},
doi = {10.1109/TOPI.2012.6229816},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NaujokatLSJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biomedsem/LamprechtNMS11,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Tiziana Margaria and
Bernhard Steffen},
title = {Semantics-based composition of {EMBOSS} services},
journal = {J. Biomed. Semant.},
volume = {2},
number = {{S-1}},
pages = {S5},
year = {2011},
url = {http://www.jbiomedsem.com/content/2/S1/S5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biomedsem/LamprechtNMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/NaujokatLS11,
author = {Stefan Naujokat and
Anna{-}Lena Lamprecht and
Bernhard Steffen},
editor = {Isabelle Perseil and
Karin K. Breitman and
Roy Sterritt},
title = {Tailoring Process Synthesis to Domain Characteristics},
booktitle = {16th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2011, Las Vegas, Nevada, USA, 27-29 April 2011},
pages = {167--175},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICECCS.2011.24},
doi = {10.1109/ICECCS.2011.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/NaujokatLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/LamprechtNMS10,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Tiziana Margaria and
Bernhard Steffen},
editor = {Fernando Brito e Abreu and
Jo{\~{a}}o Pascoal Faria and
Ricardo Jorge Machado},
title = {Synthesis-Based Loose Programming},
booktitle = {Quality of Information and Communications Technology, 7th International
Conference on the Quality of Information and Communications Technology,
{QUATIC} 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings},
pages = {262--267},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QUATIC.2010.53},
doi = {10.1109/QUATIC.2010.53},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/quatic/LamprechtNMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/LamprechtNSM10,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Bernhard Steffen and
Tiziana Margaria},
editor = {Albert Burger and
M. Scott Marshall and
Paolo Romano and
Adrian Paschke and
Andrea Splendiani},
title = {Constraint-Guided Workflow Composition Based on the {EDAM} Ontology},
booktitle = {Proceedings of the Workshop on Semantic Web Applications and Tools
for Life Sciences, Berlin, Germany, December 10, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {698},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-698/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/swat4ls/LamprechtNSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-1640,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Bernhard Steffen and
Tiziana Margaria},
title = {Constraint-Guided Workflow Composition Based on the {EDAM} Ontology},
journal = {CoRR},
volume = {abs/1012.1640},
year = {2010},
url = {http://arxiv.org/abs/1012.1640},
eprinttype = {arXiv},
eprint = {1012.1640},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-1640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/LamprechtNMS09,
author = {Anna{-}Lena Lamprecht and
Stefan Naujokat and
Tiziana Margaria and
Bernhard Steffen},
editor = {M. Scott Marshall and
Albert Burger and
Paolo Romano and
Adrian Paschke and
Andrea Splendiani},
title = {Semantics-Based Composition of {EMBOSS} Services with Bio-jETI},
booktitle = {Proceedings of the Workshop on Semantic Web Applications and Tools
for Life Sciences, Amsterdam, The Netherlands, November 20, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {559},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-559/Paper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/swat4ls/LamprechtNMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/MargariaBKNS09,
author = {Tiziana Margaria and
Marco Bakera and
Christian Kubczak and
Stefan Naujokat and
Bernhard Steffen},
editor = {Charles Petrie and
Tiziana Margaria and
Holger Lausen and
Michal Zaremba},
title = {Automatic Generation of the {SWS-} Challenge Mediator with jABC/ABC},
booktitle = {Semantic Web Services Challenge, Results from the First Year},
series = {Semantic Web And Beyond},
volume = {8},
pages = {119--138},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-72496-6\_7},
doi = {10.1007/978-0-387-72496-6\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/09/MargariaBKNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/KubczakMSN07,
author = {Christian Kubczak and
Tiziana Margaria and
Bernhard Steffen and
Stefan Naujokat},
title = {Service-Oriented Mediation with jETI/jABC: Verification and Export},
booktitle = {Proceedings of the 2007 {IEEE/WIC/ACM} International Conference on
Web Intelligence and International Conference on Intelligent Agent
Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, {USA}},
pages = {144--147},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WIIATW.2007.4427559},
doi = {10.1109/WIIATW.2007.4427559},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iat/KubczakMSN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/MargariaKSN06,
author = {Tiziana Margaria and
Christian Kubczak and
Bernhard Steffen and
Stefan Naujokat},
title = {The FMICS-jETI Platform: Status and Perspectives},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {402--407},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.50},
doi = {10.1109/ISOLA.2006.50},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/MargariaKSN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
