Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexander Schulz-Rosengarten
@article{DBLP:journals/corr/abs-2401-09185,
author = {Alexander Schulz{-}Rosengarten and
Akash Ahmad and
Malte Clement and
Reinhard von Hanxleden and
Benjamin Asch and
Marten Lohstroh and
Edward A. Lee and
Gustavo Quiros Araya and
Ankit Shukla},
title = {Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua
Franca},
journal = {CoRR},
volume = {abs/2401.09185},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.09185},
doi = {10.48550/ARXIV.2401.09185},
eprinttype = {arXiv},
eprint = {2401.09185},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-09185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/Schulz-Rosengarten23,
author = {Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Marten Lohstroh and
Edward A. Lee and
Soroush Bateni},
title = {Polyglot Modal Models through Lingua Franca},
booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week
2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12,
2023},
pages = {337--342},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576914.3587498},
doi = {10.1145/3576914.3587498},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/Schulz-Rosengarten23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SchulzRosengartenHLBL23,
author = {Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Marten Lohstroh and
Soroush Bateni and
Edward A. Lee},
title = {Polyglot Modal Models through Lingua Franca},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2023, Antwerp, Belgium, April 17-19, 2023},
pages = {1--2},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.23919/DATE56975.2023.10136890},
doi = {10.23919/DATE56975.2023.10136890},
timestamp = {Wed, 07 Jun 2023 22:08:03 +0200},
biburl = {https://dblp.org/rec/conf/date/SchulzRosengartenHLBL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-09597,
author = {Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Marten Lohstroh and
Soroush Bateni and
Edward A. Lee},
title = {Modal Reactors},
journal = {CoRR},
volume = {abs/2301.09597},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.09597},
doi = {10.48550/ARXIV.2301.09597},
eprinttype = {arXiv},
eprint = {2301.09597},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-09597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HanxledenLFSDLB22,
author = {Reinhard von Hanxleden and
Edward A. Lee and
Hauke Fuhrmann and
Alexander Schulz{-}Rosengarten and
S{\"{o}}ren Domr{\"{o}}s and
Marten Lohstroh and
Soroush Bateni and
Christian Menard},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Pragmatics Twelve Years Later: {A} Report on Lingua Franca},
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 = {60--89},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19756-7\_5},
doi = {10.1007/978-3-031-19756-7\_5},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HanxledenLFSDLB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/Schulz-Rosengarten21,
author = {Alexander Schulz{-}Rosengarten and
Steven Smyth and
Michael Mendler},
title = {Toward Object-oriented Modeling in SCCharts},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {20},
number = {4},
pages = {37:1--37:26},
year = {2021},
url = {https://doi.org/10.1145/3453482},
doi = {10.1145/3453482},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/Schulz-Rosengarten21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/LucasSHGG21,
author = {Daniel Lucas and
Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Friedrich Gretz and
Franz{-}Josef Grosch},
title = {Extracting Mode Diagrams from Blech Code},
booktitle = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
Antibes, France, September 8-10, 2021},
pages = {1--8},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FDL53530.2021.9568375},
doi = {10.1109/FDL53530.2021.9568375},
timestamp = {Fri, 29 Oct 2021 16:42:37 +0200},
biburl = {https://dblp.org/rec/conf/fdl/LucasSHGG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BoysenSH20,
author = {Andreas Boysen and
Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden},
title = {A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts},
booktitle = {Forum for Specification and Design Languages, {FDL} 2020, Kiel, Germany,
September 15-17, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FDL50818.2020.9232943},
doi = {10.1109/FDL50818.2020.9232943},
timestamp = {Tue, 10 Nov 2020 11:14:51 +0100},
biburl = {https://dblp.org/rec/conf/fdl/BoysenSH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmSSHP20,
author = {Lena Grimm and
Steven Smyth and
Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Marc Pouzet},
title = {From Lustre to Graphical Models and SCCharts},
booktitle = {Forum for Specification and Design Languages, {FDL} 2020, Kiel, Germany,
September 15-17, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FDL50818.2020.9232944},
doi = {10.1109/FDL50818.2020.9232944},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/GrimmSSHP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/LohstrohMSWCL20,
author = {Marten Lohstroh and
Christian Menard and
Alexander Schulz{-}Rosengarten and
Matthew Weber and
Jer{\'{o}}nimo Castrill{\'{o}}n and
Edward A. Lee},
title = {A Language for Deterministic Coordination Across Multiple Timelines},
booktitle = {Forum for Specification and Design Languages, {FDL} 2020, Kiel, Germany,
September 15-17, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FDL50818.2020.9232939},
doi = {10.1109/FDL50818.2020.9232939},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/LohstrohMSWCL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SmythSH19,
author = {Steven Smyth and
Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {Practical Causality Handling for Synchronous Languages},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {1281--1284},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8715081},
doi = {10.23919/DATE.2019.8715081},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/SmythSH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Schulz-Rosengarten19,
author = {Alexander Schulz{-}Rosengarten and
Steven Smyth and
Michael Mendler},
editor = {Tom J. Kazmierski and
Reinhard von Hanxleden and
Terrence S. T. Mak},
title = {Towards Object-Oriented Modeling in SCCharts},
booktitle = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
United Kingdom, September 2-4, 2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/FDL.2019.8876901},
doi = {10.1109/FDL.2019.8876901},
timestamp = {Tue, 22 Oct 2019 15:47:03 +0200},
biburl = {https://dblp.org/rec/conf/fdl/Schulz-Rosengarten19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Schulz-Rosengarten18,
author = {Alexander Schulz{-}Rosengarten and
Steven Smyth and
Reinhard von Hanxleden and
Michael Mendler},
title = {On Reconciling Concurrency, Sequentiality and Determinacy for Reactive
Systems - {A} Sequentially Constructive Circuit Semantics for Esterel},
booktitle = {18th International Conference on Application of Concurrency to System
Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.00018},
doi = {10.1109/ACSD.2018.00018},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/Schulz-Rosengarten18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WechselbergSSH18,
author = {Nis Wechselberg and
Alexander Schulz{-}Rosengarten and
Steven Smyth and
Reinhard von Hanxleden},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {Augmenting State Models with Data Flow},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {504--523},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_28},
doi = {10.1007/978-3-319-95246-8\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WechselbergSSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Schulz-Rosengarten18,
author = {Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden and
Fr{\'{e}}d{\'{e}}ric Mallet and
Robert de Simone and
Julien Deantoni},
editor = {Hiren D. Patel and
Tom J. Kazmierski and
Sebastian Steinhorst},
title = {Time in SCCharts},
booktitle = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
Garching, Germany, September 10-12, 2018},
pages = {5--16},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/FDL.2018.8524111},
doi = {10.1109/FDL.2018.8524111},
timestamp = {Tue, 29 Nov 2022 08:40:57 +0100},
biburl = {https://dblp.org/rec/conf/fdl/Schulz-Rosengarten18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/SmythSH18,
author = {Steven Smyth and
Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Interactive Compilation Models},
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 = {246--260},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_15},
doi = {10.1007/978-3-030-03418-4\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/SmythSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RybickiSMSH16,
author = {Francesca Rybicki and
Steven Smyth and
Christian Motika and
Alexander Schulz{-}Rosengarten and
Reinhard von Hanxleden},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Interactive Model-Based Compilation Continued - Incremental Hardware
Synthesis for SCCharts},
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 = {150--170},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_12},
doi = {10.1007/978-3-319-47169-3\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/RybickiSMSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/FuhrmannBHS16,
author = {Insa Fuhrmann and
David Broman and
Reinhard von Hanxleden and
Alexander Schulz{-}Rosengarten},
editor = {Alain Plantec and
Frank Singhoff and
S{\'{e}}bastien Faucou and
Lu{\'{\i}}s Miguel Pinho},
title = {Time for Reactive System Modeling: Interactive Timing Analysis with
Hotspot Highlighting},
booktitle = {Proceedings of the 24th International Conference on Real-Time Networks
and Systems, {RTNS} 2016, Brest, France, October 19-21, 2016},
pages = {289--298},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2997465.2997467},
doi = {10.1145/2997465.2997467},
timestamp = {Tue, 29 Dec 2020 18:28:06 +0100},
biburl = {https://dblp.org/rec/conf/rtns/FuhrmannBHS16.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:47 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:
