Johann Schumann

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Dimitra Giannakopoulou

> Home > Persons > Johann Schumann

Publications

2022
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KatisMGPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KatisMGPS22
Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. CAV (2) 2022: 490-504
2021
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/GiannakopoulouP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/GiannakopoulouP21
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Automated formalization of structured natural language requirements. Inf. Softw. Technol. 137: 106590 (2021)
2020
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MavridouBGPHGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MavridouBGPHGS20
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann:
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE 2020: 300-310
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/GiannakopoulouP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/GiannakopoulouP20
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann:
Generation of Formal Requirements from Structured Natural Language. REFSQ 2020: 19-35
[c56]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/GiannakopoulouP20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/GiannakopoulouP20a
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Julian Rhein, Johann Schumann, Nija Shi:
Formal Requirements Elicitation with FRET. REFSQ Workshops 2020
[c55]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/refsq/MavridouBGGPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/MavridouBGGPS20
Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann:
Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops 2020
2018
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HeGS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HeGS97
Yuning He, Dimitra Giannakopoulou, Johann Schumann:
Statistical Prediction of Failures in Aircraft Collision Avoidance Systems. Models, Mindsets, Meta 2018: 249-267
2016
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/GiannakopoulouG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/GiannakopoulouG16
Dimitra Giannakopoulou, Dennis Guck, Johann Schumann:
Exploring Model Quality for ACAS X. FM 2016: 274-290
2011
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/GiannakopoulouBSEH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/GiannakopoulouBSEH11
Dimitra Giannakopoulou, David H. Bushnell, Johann Schumann, Heinz Erzberger, Karen Heere:
Formal testing for separation assurance. Ann. Math. Artif. Intell. 63(1): 5-30 (2011)

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.