Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexander Bainczyk
@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/sttt/MurtoviBNSS23,
author = {Alnis Murtovi and
Alexander Bainczyk and
Gerrit Nolte and
Maximilian Schl{\"{u}}ter and
Bernhard Steffen},
title = {Forest {GUMP:} a tool for verification and explanation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {3},
pages = {287--299},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00702-5},
doi = {10.1007/S10009-023-00702-5},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/MurtoviBNSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/BuschBS23,
author = {Daniel Busch and
Alexander Bainczyk and
Bernhard Steffen},
editor = {Jan Kofron and
Tiziana Margaria and
Cristina Seceleanu},
title = {Towards LLM-Based System Migration in Language-Driven Engineering},
booktitle = {Engineering of Computer-Based Systems - 8th International Conference,
{ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14390},
pages = {191--200},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49252-5\_14},
doi = {10.1007/978-3-031-49252-5\_14},
timestamp = {Thu, 07 Dec 2023 14:16:20 +0100},
biburl = {https://dblp.org/rec/conf/ecbseerc/BuschBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecos/BuschNBS23,
author = {Daniel Busch and
Gerrit Nolte and
Alexander Bainczyk and
Bernhard Steffen},
editor = {Bernhard Steffen},
title = {ChatGPT in the Loop: {A} Natural Language Extension for Domain-Specific
Modeling Languages},
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 = {375--390},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-46002-9\_24},
doi = {10.1007/978-3-031-46002-9\_24},
timestamp = {Sun, 07 Jan 2024 14:24:23 +0100},
biburl = {https://dblp.org/rec/conf/vecos/BuschNBS23.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/isola/MargariaWBBTS22,
author = {Tiziana Margaria and
Dominic Wirkner and
Daniel Busch and
Alexander Bainczyk and
Tim Tegeler and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{DIME} Days (ISoLA 2022 Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {367--373},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_20},
doi = {10.1007/978-3-031-19756-7\_20},
timestamp = {Fri, 21 Oct 2022 19:54:54 +0200},
biburl = {https://dblp.org/rec/conf/isola/MargariaWBBTS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BainczykBKKWS22,
author = {Alexander Bainczyk and
Steve Bo{\ss}elmann and
Marvin Krause and
Marco Krumrey and
Dominic Wirkner and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Continuous Quality Control in the Context of Language-Driven
Engineering},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {389--406},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_22},
doi = {10.1007/978-3-031-19756-7\_22},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BainczykBKKWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BainczykBKMSDS22,
author = {Alexander Bainczyk and
Daniel Busch and
Marco Krumrey and
Daniel Sami Mitwalli and
Jonas Sch{\"{u}}rmann and
Joel Tagoukeng Dongmo and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Cinco Cloud: {A} Holistic Approach for Web-Based Language-Driven Engineering},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes,
Greece, October 22-30, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13702},
pages = {407--425},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_23},
doi = {10.1007/978-3-031-19756-7\_23},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BainczykBKMSDS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MurtoviBS22,
author = {Alnis Murtovi and
Alexander Bainczyk and
Bernhard Steffen},
editor = {Dana Fisman and
Grigore Rosu},
title = {Forest {GUMP:} {A} Tool for Explanation},
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 = {314--331},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_17},
doi = {10.1007/978-3-030-99527-0\_17},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MurtoviBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/TegelerTSBBS21,
author = {Tim Tegeler and
Sebastian Teumert and
Jonas Sch{\"{u}}rmann and
Alexander Bainczyk and
Daniel Busch and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Introduction to Graphical Modeling of {CI/CD} Workflows with Rig},
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 = {3--17},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_1},
doi = {10.1007/978-3-030-89159-6\_1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/TegelerTSBBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ZweihoffTSBS21,
author = {Philip Zweihoff and
Tim Tegeler and
Jonas Sch{\"{u}}rmann and
Alexander Bainczyk and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Aligned, Purpose-Driven Cooperation: The Future Way of System Development},
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 = {426--449},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_27},
doi = {10.1007/978-3-030-89159-6\_27},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/ZweihoffTSBS21.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/isola/BainczykSIMNS16,
author = {Alexander Bainczyk and
Alexander Schieweck and
Malte Isberner and
Tiziana Margaria and
Johannes Neubauer and
Bernhard Steffen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{ALEX:} Mixed-Mode Learning of Web Applications at Ease},
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 = {655--671},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_51},
doi = {10.1007/978-3-319-47169-3\_51},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BainczykSIMNS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:14 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:
