default search action

combined dblp search
author search
venue search
publication search

ask others

Alexander Weigl

> Home > Persons

Person information

affiliation: Karlsruhe Institute of Technology, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

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

2024
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BeckertBDHLPUW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BeckertBDHLPUW24
Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl:
The Java Verification Tool KeY:A Tutorial. FM (2) 2024: 597-623
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/WeiglBBU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/WeiglBBU24
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich:
Contract Automata: A Specification Language for Mode-Based Systems. FormaliSE@ICSE 2024: 1-11
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/LanzingerMRTHW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/LanzingerMRTHW24
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl:
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. SAC 2024: 1702-1711
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-14320
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-14320
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl:
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. CoRR abs/2401.14320 (2024)
2023
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BoerGKJUW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BoerGKJUW23
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl:
Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Aspects Comput. 35(3): 18:1-18:26 (2023)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/dappcon/SchifflWB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dappcon/SchifflWB23
Jonas Schiffl, Alexander Weigl, Bernhard Beckert:
Static Capability-Based Security for Smart Contracts. DAPPS 2023: 110-117
[c22]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fm/SchifflW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SchifflW23
Jonas Schiffl, Alexander Weigl:
Are Formal Contracts a Useful Digital Twin of Software Systems? FMDT@FM 2023
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/ErnstW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/ErnstW23
Gidon Ernst, Alexander Weigl:
Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. iFM 2023: 82-89
2022
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/BeckertUVW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/BeckertUVW22
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. ICTAC 2022: 7-13
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BoerGKJUW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BoerGKJUW22
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl:
Formal Specification and Verification of JDK's Identity Hash Map Implementation. IFM 2022: 45-62
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LanzingerUW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LanzingerUW22
Florian Lanzinger, Mattias Ulbrich, Alexander Weigl:
A Refactoring for Data Minimisation Using Formal Verification. ISoLA (2) 2022: 345-364
2021
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Weigl21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Weigl21
Alexander Weigl:
Formal Specification and Verification for Automated Production Systems. Karlsruhe Institute of Technology, Germany, 2021
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iet-cps/ChaVWUB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-cps/ChaVWUB21
Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert:
Table-based formal specification approaches for control engineers - empirical studies of usability. IET Cyper-Phys. Syst.: Theory & Appl. 6(4): 193-207 (2021)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/LanzingerWUD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/LanzingerWUD21
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl:
Scalability and precision by combining expressive type systems and deductive verification. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/LanzingerW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/LanzingerW21
Florian Lanzinger, Alexander Weigl:
Towards a Formal Approach for Data Minimization in Programs (Short Paper). DPM/CBT@ESORICS 2021: 161-169
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/WeiglUTK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/WeiglUTK21
Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth:
Runtime Verification of Generalized Test Tables. NFM 2021: 358-374
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/TeuberW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/TeuberW21
Samuel Teuber, Alexander Weigl:
Quantifying Software Reliability via Model-Counting. QEST 2021: 59-79
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BechbergerW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BechbergerW21
Johannes Bechberger, Alexander Weigl:
Upper Bound Computation of Information Leakages for Unbounded Recursion. SEFM 2021: 160-177
2020
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WeiglUCBV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WeiglUCBV20
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser:
Relational Test Tables: A Practical Specification Language for Evolution and Security. FormaliSE@ICSE 2020: 77-86
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/WeiglUL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/WeiglUL20
Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch:
Modular Regression Verification for Reactive Systems. ISoLA (2) 2020: 25-43
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/HuismanMUW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/HuismanMUW20
Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl:
The VerifyThis Collaborative Long Term Challenge. 20 Years of KeY 2020: 246-260

2010 – 2019

see FAQ

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

2019
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ChaUWBLV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ChaUWBLV19
Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser:
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. INDIN 2019: 413-418
[p1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - books/sp/19/BeckertMUW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/19/BeckertMUW19
Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl:
Formal Verification of Evolutionary Changes. Managed Software Evolution 2019: 309-332
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-09068
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-09068
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser:
Relational Test Tables: A Practical Specification Language for Evolution and Security. CoRR abs/1910.09068 (2019)
2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/at/ChaWUBV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/at/ChaWUBV18
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser:
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. Autom. 66(10): 834-848 (2018)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/case/ChaWUBV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/case/ChaWUBV18
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser:
Achieving delta description of the control software for an automated production system evolution. CASE 2018: 1170-1176
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BeckertBK0UW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BeckertBK0UW18
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl:
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. VSTTE 2018: 248-266
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1803-10328
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-10328
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl:
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. MARS/VPT@ETAPS 2018: 185-199
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-08766
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-08766
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl:
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. CoRR abs/1801.08766 (2018)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-04402
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04402
Bernhard Beckert, Sarah Grebing, Alexander Weigl:
Debugging Program Verification Proof Scripts (Tool Paper). CoRR abs/1804.04402 (2018)
2017
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BeckertCUVW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BeckertCUVW17
Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Generalised Test Tables: A Practical Specification Language for Reactive Systems. IFM 2017: 129-144
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/ChaUVWUB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/ChaUVWUB17
Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert:
Generation of monitoring functions in production automation using test specifications. INDIN 2017: 339-344
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/WeiglWUUCKBV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/WeiglWUUCKBV17
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser:
Generalized test tables: A powerful and intuitive specification language for reactive systems. INDIN 2017: 875-882
2016
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/Weigl16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/Weigl16
Alexander Weigl:
Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs. DPM/QASA@ESORICS 2016: 51-58
[c3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KlebanovWW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KlebanovWW16
Vladimir Klebanov, Alexander Weigl, Jörg Weisbarth:
Sound Probabilistic #SAT with Projection. QAPL 2016: 15-29
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/UlewiczVUWB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/UlewiczVUWB15
Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert:
Proving equivalence between control software variants for Programmable Logic Controllers. ETFA 2015: 1-5
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BeckertUVW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BeckertUVW15
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Regression Verification for Programmable Logic Controller Software. ICFEM 2015: 234-251

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.