default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Malte Schmitz 0001
@phdthesis{DBLP:phd/dnb/Schmitz24,
author = {Malte Schmitz},
title = {Efficient implementation of stream transformations},
school = {University of L{\"{u}}beck, Germany},
year = {2024},
url = {https://www.zhb.uni-luebeck.de/epubs/ediss3011.pdf},
urn = {urn:nbn:de:gbv:841-20231218146},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Schmitz24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BegemannKLS23,
author = {Marian Johannes Begemann and
Hannes Kallwies and
Martin Leucker and
Malte Schmitz},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {TeSSLa-ROS-Bridge - Runtime Verification of Robotic Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {388--398},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_23},
doi = {10.1007/978-3-031-47963-2\_23},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BegemannKLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/KallwiesLS0T22,
author = {Hannes Kallwies and
Martin Leucker and
Torben Scheffel and
Malte Schmitz and
Daniel Thoma},
editor = {Jae W. Lee and
Sebastian Hack and
Tatiana Shpeisman},
title = {Aggregate Update Problem for Multi-clocked Dataflow Languages},
booktitle = {{IEEE/ACM} International Symposium on Code Generation and Optimization,
{CGO} 2022, Seoul, Korea, Republic of, April 2-6, 2022},
pages = {79--91},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CGO53902.2022.9741275},
doi = {10.1109/CGO53902.2022.9741275},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cgo/KallwiesLS0T22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KallwiesLSSTW22,
author = {Hannes Kallwies and
Martin Leucker and
Malte Schmitz and
Albert Schulz and
Daniel Thoma and
Alexander Weiss},
editor = {Thao Dang and
Volker Stolz},
title = {TeSSLa - An Ecosystem for Runtime Verification},
booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi,
Georgia, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13498},
pages = {314--324},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17196-3\_20},
doi = {10.1007/978-3-031-17196-3\_20},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/KallwiesLSSTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/KallwiesLPS22,
author = {Hannes Kallwies and
Martin Leucker and
Meiko Prilop and
Malte Schmitz},
editor = {Yamine A{\"{\i}}t Ameur and
Florin Craciun},
title = {Optimizing Trans-Compilers in Runtime Verification Makes Sense - Sometimes},
booktitle = {Theoretical Aspects of Software Engineering - 16th International Symposium,
{TASE} 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13299},
pages = {197--204},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10363-6\_14},
doi = {10.1007/978-3-031-10363-6\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/KallwiesLPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/LeuckerSSSS20,
author = {Martin Leucker and
C{\'{e}}sar S{\'{a}}nchez and
Torben Scheffel and
Malte Schmitz and
Alexander Schramm},
title = {Runtime verification of real-time event streams under non-synchronized
arrival},
journal = {Softw. Qual. J.},
volume = {28},
number = {2},
pages = {745--787},
year = {2020},
url = {https://doi.org/10.1007/s11219-019-09493-y},
doi = {10.1007/S11219-019-09493-Y},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/LeuckerSSSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-11366,
author = {Fernando Mac{\'{\i}}as and
Adrian Rutle and
Volker Stolz and
Torben Scheffel and
Malte Schmitz},
title = {Empowering Multilevel DSMLs with Integrated Runtime Verification},
journal = {CoRR},
volume = {abs/2005.11366},
year = {2020},
url = {https://arxiv.org/abs/2005.11366},
eprinttype = {arXiv},
eprint = {2005.11366},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-11366.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pearl/PreusserSWHL0ST19,
author = {Thomas Preu{\ss}er and
Albert Schulz and
Alexander Weiss and
Martin Heininger and
Martin Leucker and
Malte Schmitz and
Torben Scheffel and
Daniel Thoma},
editor = {Herwig Unger},
title = {Test und Fehlersuche in komplexen Autonomen Systemen},
booktitle = {Echtzeit 2019 - Autonome Systeme - 50 Jahre PEARL, Fachtagung des
gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft f{\"{u}}r
Informatik e.V. (GI), VDI/VDE-Gesellschaft f{\"{u}}r Mess- und
Automatisierungstechnik {(GMA)} und Informationstechnischer Gesellschaft
im {VDE} (ITG,) Boppard, 21. und 22. November 2019},
series = {Informatik Aktuell},
pages = {33--42},
publisher = {Springer Vieweg},
year = {2019},
url = {https://doi.org/10.1007/978-3-658-27808-3\_4},
doi = {10.1007/978-3-658-27808-3\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pearl/PreusserSWHL0ST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/LeuckerSS0T19,
author = {Martin Leucker and
C{\'{e}}sar S{\'{a}}nchez and
Torben Scheffel and
Malte Schmitz and
Daniel Thoma},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {Runtime Verification for Timed Event Streams with Partial Information},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {273--291},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_16},
doi = {10.1007/978-3-030-32079-9\_16},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/LeuckerSS0T19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/AhishakiyeJL0ST19,
author = {Faustin Ahishakiye and
Svetlana Jaksic and
Felix Dino Lange and
Malte Schmitz and
Volker Stolz and
Daniel Thoma},
editor = {Dominique M{\'{e}}ry and
Shengchao Qin},
title = {Non-Intrusive {MC/DC} Measurement Based on Traces},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2019, Guilin, China, July 29-31, 2019},
pages = {86--92},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/TASE.2019.00-15},
doi = {10.1109/TASE.2019.00-15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/AhishakiyeJL0ST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-07761,
author = {Martin Leucker and
C{\'{e}}sar S{\'{a}}nchez and
Torben Scheffel and
Malte Schmitz and
Daniel Thoma},
title = {Runtime Verification For Timed Event Streams With Partial Information},
journal = {CoRR},
volume = {abs/1907.07761},
year = {2019},
url = {http://arxiv.org/abs/1907.07761},
eprinttype = {arXiv},
eprint = {1907.07761},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-07761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ConventHS0TW18,
author = {Lukas Convent and
Sebastian Hungerecker and
Torben Scheffel and
Malte Schmitz and
Daniel Thoma and
Alexander Weiss},
editor = {Christian Colombo and
Martin Leucker},
title = {Hardware-Based Runtime Verification with Embedded Tracing Units and
Stream Processing},
booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol,
Cyprus, November 10-13, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11237},
pages = {43--63},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03769-7\_5},
doi = {10.1007/978-3-030-03769-7\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ConventHS0TW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeuckerSS0S18,
author = {Martin Leucker and
C{\'{e}}sar S{\'{a}}nchez and
Torben Scheffel and
Malte Schmitz and
Alexander Schramm},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {TeSSLa: runtime verification of non-synchronized real-time streams},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1925--1933},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167338},
doi = {10.1145/3167132.3167338},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/LeuckerSS0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/ConventHLS0T18,
author = {Lukas Convent and
Sebastian Hungerecker and
Martin Leucker and
Torben Scheffel and
Malte Schmitz and
Daniel Thoma},
editor = {Tiago Massoni and
Mohammad Reza Mousavi},
title = {TeSSLa: Temporal Stream-Based Specification Language},
booktitle = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
{SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11254},
pages = {144--162},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03044-5\_10},
doi = {10.1007/978-3-030-03044-5\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/ConventHLS0T18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-10717,
author = {Lukas Convent and
Sebastian Hungerecker and
Martin Leucker and
Torben Scheffel and
Malte Schmitz and
Daniel Thoma},
title = {TeSSLa: Temporal Stream-based Specification Language},
journal = {CoRR},
volume = {abs/1808.10717},
year = {2018},
url = {http://arxiv.org/abs/1808.10717},
eprinttype = {arXiv},
eprint = {1808.10717},
timestamp = {Mon, 03 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-10717.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DeckerGHLS0W17,
author = {Normann Decker and
Philip Gottschling and
Christian Hochberger and
Martin Leucker and
Torben Scheffel and
Malte Schmitz and
Alexander Weiss},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core
Systems},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {179--196},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_12},
doi = {10.1007/978-3-319-70848-5\_12},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/DeckerGHLS0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Leucker0T16,
author = {Martin Leucker and
Malte Schmitz and
Danilo {\`{a}} Tellinghusen},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Runtime Verification for Interconnected Medical Devices},
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 = {380--387},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_29},
doi = {10.1007/978-3-319-47169-3\_29},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/Leucker0T16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/MaciasS0W16,
author = {Fernando Mac{\'{\i}}as and
Torben Scheffel and
Malte Schmitz and
Rui Wang},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Integration of Runtime Verification into Metamodeling for Simulation
and Code Generation (Position Paper)},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {454--461},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_29},
doi = {10.1007/978-3-319-46982-9\_29},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/MaciasS0W16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DeckerHS0T16,
author = {Normann Decker and
Jannis Harder and
Torben Scheffel and
Malte Schmitz and
Daniel Thoma},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Runtime Monitoring with Union-Find Structures},
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 = {868--884},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_54},
doi = {10.1007/978-3-662-49674-9\_54},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DeckerHS0T16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/LeuckerS15,
author = {Martin Leucker and
Malte Schmitz},
editor = {Wolf Zimmermann and
Wolfgang B{\"{o}}hm and
Clemens Grelck and
Robert Heinrich and
Reiner Jung and
Marco Konersmann and
Alexander Schlaefer and
Eric Schmieders and
Sibylle Schupp and
Baltasar Tranc{\'{o}}n y Widemann and
Thorsten Weyer},
title = {Secured {SOA} for the Safe Interconnection of Medical Devices (Position
Paper)},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2015, Dresden, Germany, 17.-18. M{\"{a}}rz 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1337},
pages = {11--14},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1337/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/LeuckerS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Busshaus0KLMS15,
author = {Timm B. Bu{\ss}haus and
Stefan Fischer and
Franziska K{\"{u}}hn and
Martin Leucker and
Alexander Mildner and
Malte Schmitz},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Vom Forschungsprototypen zur industriellen Nutzung einer qualit{\"{a}}tsgesicherten
medizinischen Softwarekomponente - Technologietransfer im {CMSSE}},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {243--248},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/2559},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/Busshaus0KLMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Scheffel014,
author = {Torben Scheffel and
Malte Schmitz},
title = {Three-valued asynchronous distributed runtime verification},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {52--61},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961843},
doi = {10.1109/MEMCOD.2014.6961843},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Scheffel014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-24 23:08 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:
