default search action

combined dblp search
author search
venue search
publication search

ask others

Alexander Weinert

> Home > Persons

Person information

affiliation: German Aerospace Center (DLR), Institute for Software Technology, Cologne, Germany
affiliation (former): Saarland University, Saarbrücken, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2018
[b1]
- view
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/de/Weinert18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Weinert18
Alexander Weinert:
Optimality and resilience in parity games. Saarland University, Germany, 2018

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/NeiderWZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/NeiderWZ22
Daniel Neider, Alexander Weinert, Martin Zimmermann:
Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Inf. Comput. 285(Part): 104810 (2022)
2021
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/MascleNSTWZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MascleNSTWZ21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/Weinert21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Weinert21
Alexander Weinert:
Quantitative reductions and vertex-ranked infinite games. Inf. Comput. 278: 104596 (2021)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/softx/BodenFFMSWWS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/softx/BodenFFMSWWS21
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)
2020
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/acta/NeiderWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/NeiderWZ20
Daniel Neider, Alexander Weinert, Martin Zimmermann:
Synthesizing optimally resilient controllers. Acta Informatica 57(1-2): 195-221 (2020)
2019
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/ScheweWZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/ScheweWZ19
Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. Log. Methods Comput. Sci. 15(3) (2019)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/WeinertZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WeinertZ18
Alexander Weinert, Martin Zimmermann:
Visibly linear dynamic logic. Theor. Comput. Sci. 747: 100-117 (2018)
2017
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/Weinert017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/Weinert017
Alexander Weinert, Martin Zimmermann:
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. Log. Methods Comput. Sci. 13(3) (2017)
2015
[j1]
- view
  - electronic edition @ eatcs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/DAntoniWWA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/DAntoniWWA15
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iccS/MischkeSSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccS/MischkeSSW22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/StoffersW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/StoffersW22
Martin Stoffers, Alexander Weinert:
Towards Specificationless Monitoring of Provenance-Emitting Systems. RV 2022: 253-263
2021
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icbc2/WittekWLDWI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbc2/WittekWLDWI21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/SchneiderW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/SchneiderW21
Dominik Schneider, Alexander Weinert:
Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis. MoDELS (Companion) 2021: 98-107
2020
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/MascleNSTW020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/MascleNSTW020
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]
- view
  authority control:
- export record
  dblp key:
  - conf/programming/BodenMW020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/BodenMW020
Brigitte Boden, Robert Mischke, Alexander Weinert, Andreas Schreiber:
Supporting the composition of domain-specific software via task-specific roles. Programming 2020: 17-18
2019
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-08538
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-08538
Daniel Neider, Alexander Weinert, Martin Zimmermann:
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. GandALF 2019: 1-16
2018
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/NeiderW018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/NeiderW018
Daniel Neider, Alexander Weinert, Martin Zimmermann:
Synthesizing Optimally Resilient Controllers. CSL 2018: 34:1-34:17
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/ScheweW018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/ScheweW018
Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. CSL 2018: 36:1-36:17
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1809-03887
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-03887
Alexander Weinert:
Quantitative Reductions and Vertex-Ranked Infinite Games. GandALF 2018: 1-15
2017
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Weinert17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Weinert17
Alexander Weinert:
VLDL Satisfiability and Model Checking via Tree Automata. FSTTCS 2017: 47:47-47:13
2016
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/Weinert016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Weinert016
Alexander Weinert, Martin Zimmermann:
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. CSL 2016: 31:1-31:17
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Weinert016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Weinert016
Alexander Weinert, Martin Zimmermann:
Visibly Linear Dynamic Logic. FSTTCS 2016: 28:1-28:14
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TentrupWZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TentrupWZ15
Leander Tentrup, Alexander Weinert, Martin Zimmermann:
Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential Time. GandALF 2016: 302-315

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-13244
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-13244
Achim Basermann, Michael Epping, Benedikt Fauseweh, Michael Felderer, Elisabeth Lobe, Melven Röhrig-Zöllner, Gary Schmiedinghoff, Peter K. Schuhmacher, Yoshinta Setyawati, Alexander Weinert:
Quantum Software Ecosystem Design. CoRR abs/2405.13244 (2024)
2022
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-05600
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-05600
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-04865
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-04865
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-14163
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-14163
Martin Stoffers, Alexander Weinert:
Towards Specificationless Monitoring of Provenance-Emitting Systems. CoRR abs/2207.14163 (2022)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-09924
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-09924
Tobias Hecking, Alexander Weinert:
Predicting Winning Regions in Parity Games via Graph Neural Networks (Extended Abstract). CoRR abs/2210.09924 (2022)
2021
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2111-15285
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-15285
Dominik Schneider, Alexander Weinert:
Towards Automated Semantic Grouping in Workflows for Multi-Disciplinary Analysis. CoRR abs/2111.15285 (2021)
2019
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-03461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-03461
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
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-06168
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-06168
Sven Schewe, Alexander Weinert, Martin Zimmermann:
Parity Games with Weights. CoRR abs/1804.06168 (2018)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-08203
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-08203
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-09028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-09028
Daniel Neider, Alexander Weinert, Martin Zimmermann:
Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free. CoRR abs/1808.09028 (2018)
2017
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Weinert17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Weinert17
Alexander Weinert:
Quantitative Reductions and Vertex-Ranked Infinite Games. CoRR abs/1704.00904 (2017)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-00699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-00699
Alexander Weinert:
VLDL Satisfiability and Model Checking via Tree Automata. CoRR abs/1708.00699 (2017)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-04854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-04854
Daniel Neider, Alexander Weinert, Martin Zimmermann:
Synthesizing Optimally Resilient Controllers. CoRR abs/1709.04854 (2017)
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Weinert016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Weinert016
Alexander Weinert, Martin Zimmermann:
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. CoRR abs/1604.05543 (2016)
2015
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WeinertZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WeinertZ15
Alexander Weinert, Martin Zimmermann:
Visibly Linear Dynamic Logic. CoRR abs/1512.05177 (2015)

Coauthor Index

see FAQ

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.