![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Alexander Weinert
Person information
- affiliation: German Aerospace Center (DLR), Institute for Software Technology, Cologne, Germany
- affiliation (former): Saarland University, Saarbrücken, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j9]Daniel Neider
, Alexander Weinert
, Martin Zimmermann
:
Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Inf. Comput. 285(Part): 104810 (2022) - [c14]Robert Mischke
, Kathrin Schaffert
, Dominik Schneider
, Alexander Weinert
:
Automated and Manual Testing in the Development of the Research Software RCE. ICCS (4) 2022: 531-544 - [c13]Martin Stoffers
, Alexander Weinert
:
Towards Specificationless Monitoring of Provenance-Emitting Systems. RV 2022: 253-263 - [i14]Robert Mischke, Kathrin Schaffert, Dominik Schneider
, Alexander Weinert:
Automated and manual testing as part of the research software development process of RCE. CoRR abs/2204.05600 (2022) - [i13]Jan Flink, Robert Mischke, Kathrin Schaffert, Dominik Schneider, Alexander Weinert:
Orchestrating Tool Chains for Model-based Systems Engineering with RCE. CoRR abs/2207.04865 (2022) - [i12]Martin Stoffers, Alexander Weinert:
Towards Specificationless Monitoring of Provenance-Emitting Systems. CoRR abs/2207.14163 (2022) - [i11]Tobias Hecking, Alexander Weinert:
Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract). CoRR abs/2210.09924 (2022) - 2021
- [j8]Corto Mascle, Daniel Neider
, Maximilian Schwenger, Paulo Tabuada
, Alexander Weinert, Martin Zimmermann
:
From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods Syst. Des. 59(1): 170-204 (2021) - [j7]Alexander Weinert:
Quantitative reductions and vertex-ranked infinite games. Inf. Comput. 278: 104596 (2021) - [j6]Brigitte Boden, Jan Flink, Niklas Först
, Robert Mischke
, Kathrin Schaffert
, Alexander Weinert
, Annika Wohlan, Andreas Schreiber:
RCE: An Integration Environment for Engineering and Science. SoftwareX 15: 100759 (2021) - [c12]Kevin Wittek, Neslihan Wittek, James Lawton, Iryna Dohndorf, Alexander Weinert
, Andrei Ionita:
A Blockchain-Based Approach to Provenance and Reproducibility in Research Workflows. IEEE ICBC 2021: 1-6 - [c11]Dominik Schneider
, Alexander Weinert
:
Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis. MoDELS (Companion) 2021: 98-107 - [i10]Dominik Schneider, Alexander Weinert:
Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis. CoRR abs/2111.15285 (2021) - 2020
- [j5]Daniel Neider
, Alexander Weinert
, Martin Zimmermann
:
Synthesizing optimally resilient controllers. Acta Informatica 57(1-2): 195-221 (2020) - [c10]Corto Mascle, Daniel Neider
, Maximilian Schwenger, Paulo Tabuada
, Alexander Weinert
, Martin Zimmermann
:
From LTL to rLTL monitoring: improved monitorability through robust semantics. HSCC 2020: 7:1-7:12 - [c9]Brigitte Boden, Robert Mischke, Alexander Weinert
, Andreas Schreiber
:
Supporting the composition of domain-specific software via task-specific roles. Programming 2020: 17-18
2010 – 2019
- 2019
- [j4]Sven Schewe
, Alexander Weinert
, Martin Zimmermann
:
Parity Games with Weights. Log. Methods Comput. Sci. 15(3) (2019) - [c8]Daniel Neider, Alexander Weinert
, Martin Zimmermann
:
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. GandALF 2019: 1-16 - [i9]Brigitte Boden, Jan Flink, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, Andreas Schreiber:
RCE: An Integration Environment for Engineering and Science. CoRR abs/1908.03461 (2019) - 2018
- [b1]Alexander Weinert:
Optimality and resilience in parity games. Saarland University, Germany, 2018 - [j3]Alexander Weinert
, Martin Zimmermann
:
Visibly linear dynamic logic. Theor. Comput. Sci. 747: 100-117 (2018) - [c7]Daniel Neider
, Alexander Weinert
, Martin Zimmermann
:
Synthesizing Optimally Resilient Controllers. CSL 2018: 34:1-34:17 - [c6]Sven Schewe
, Alexander Weinert
, Martin Zimmermann
:
Parity Games with Weights. CSL 2018: 36:1-36:17 - [c5]Alexander Weinert
:
Quantitative Reductions and Vertex-Ranked Infinite Games. GandALF 2018: 1-15 - [i8]Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. CoRR abs/1804.06168 (2018) - [i7]Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann:
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. CoRR abs/1807.08203 (2018) - [i6]Daniel Neider, Alexander Weinert, Martin Zimmermann:
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. CoRR abs/1808.09028 (2018) - 2017
- [j2]Alexander Weinert, Martin Zimmermann
:
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. Log. Methods Comput. Sci. 13(3) (2017) - [c4]Alexander Weinert
:
VLDL Satisfiability and Model Checking via Tree Automata. FSTTCS 2017: 47:47-47:13 - [i5]Alexander Weinert:
Quantitative Reductions and Vertex-Ranked Infinite Games. CoRR abs/1704.00904 (2017) - [i4]Alexander Weinert:
VLDL Satisfiability and Model Checking via Tree Automata. CoRR abs/1708.00699 (2017) - [i3]Daniel Neider, Alexander Weinert, Martin Zimmermann:
Synthesizing Optimally Resilient Controllers. CoRR abs/1709.04854 (2017) - 2016
- [c3]Alexander Weinert
, Martin Zimmermann
:
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. CSL 2016: 31:1-31:17 - [c2]Alexander Weinert
, Martin Zimmermann
:
Visibly Linear Dynamic Logic. FSTTCS 2016: 28:1-28:14 - [c1]Leander Tentrup, Alexander Weinert
, Martin Zimmermann
:
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time. GandALF 2016: 302-315 - [i2]Alexander Weinert, Martin Zimmermann:
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. CoRR abs/1604.05543 (2016) - 2015
- [j1]Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur:
Automata Tutor and what we learned from building an online teaching tool. Bull. EATCS 117 (2015) - [i1]Alexander Weinert, Martin Zimmermann:
Visibly Linear Dynamic Logic. CoRR abs/1512.05177 (2015)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint