1
0
0
(1 - 35 von 50
)
AwardsEuromicro
www.euromicro.org
Torvald Mårtensson, Pär Hammarström and Jan Bosch: Continuous Integration Is Not About Build Systems · Verena Klös, Thomas Göthel, Adrian Lohr and Sabine Glesner ... Torvald Mårtensson, Pär Hammarström and Jan Bosch: Continuous Integration Is Not About Build Systems · Verena Klös, Thomas Göthel, Adrian Lohr and Sabine Glesner ...
Tobias Pfeffer German Aerospace Center (DLR) ...ResearchGate
www.researchgate.net
Thomas Göthel · Sabine Glesner. Enforcement of hypersafety security policies such as noninterference can be achieved through ...
Cyber Physical Systems. Design, Modeling, and Evaluation: ...google.de
books.google.de
... Thomas Göthel, and Sabine Glesner Software and Embedded Systems Engineering, Technische Universität Berlin, Straße des 17. Juni 135, Berlin, Germany ...
Software Engineering and Formal Methods: 14th International ...google.co.in
books.google.co.in
61 Nils Jähnig, Thomas Göthel, and Sabine Glesner Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information (Short Paper).
Preserving Liveness Guarantees from Synchronous Communication ...
books.google.com
Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner. Technische Universität Berlin, Reviews. Reviews aren't verified, but Google checks for and ... › about
arXivhttps://arxiv.org › csA Denotational Semantics for Communicating Unstructured Code
arxiv.org
von N Jähnig · · Zitiert von: 5 — Title:A Denotational Semantics for Communicating Unstructured Code. Authors:Nils Jähnig (TU Berlin), Thomas Göthel (TU Berlin), Sabine Glesner ( ...
GI Digital Library
dl.gi.de
von T Göthel · — Thomas Göthel und Sabine Glesner. An Approach for Machine-Assisted Verification of. Timed CSP Specifications. Innovations in Systems and Software Engineering ...
Comprehensible Decisions in Complex Self-Adaptive ...GI Digital Library
dl.gi.de
von V Klös · · Zitiert von: 5 — TU Berlin, Softw. and Embedded Syst. Eng.Berlin Verena Klös, Thomas Göthel, Sabine Glesner. von V Klös · · Zitiert von: 5 — TU Berlin, Softw. and Embedded Syst. Eng.Berlin Verena Klös, Thomas Göthel, Sabine Glesner.
Machine-Checkable Timed CSPNASA (.gov)
ntrs.nasa.gov
von T Goethel · · Zitiert von: 11 — Thomas Göthel and Sabine Glesner. Department of Software Engineering and Theoretical Computer Science,. Berlin Institute of Technology, FR 5-6, Franklinstr ... von T Goethel · · Zitiert von: 11 — Thomas Göthel and Sabine Glesner. Department of Software Engineering and Theoretical Computer Science,. Berlin Institute of Technology, FR 5-6, Franklinstr ...
Universität Münster
www.uni-muenster.de
Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner ' Information Flow Analysis of Combined Simulink/Stateflow Models ...
Timed Path Conditions in MATLAB/Simulink - IFIP - HALArchive ouverte HAL
ifip.hal.science
von M Mikulcak · · Zitiert von: 2 — Timed Path Conditions in MATLAB/Simulink. Marcus Mikulcak (1) , Paula Herber (1) , Thomas Göthel (1) , Sabine Glesner (1). Show details. 1 TUB - Technical ... von M Mikulcak · · Zitiert von: 2 — Timed Path Conditions in MATLAB/Simulink. Marcus Mikulcak (1) , Paula Herber (1) , Thomas Göthel (1) , Sabine Glesner (1). Show details. 1 TUB - Technical ...
Timed Path Conditions in MATLAB/SimulinkArchive ouverte HAL
hal.science
von M Mikulcak · · Zitiert von: 2 — Timed Path Conditions in MATLAB/Simulink. Marcus Mikulcak (1) , Paula Herber (1) , Thomas Göthel (1) , Sabine Glesner (1). Afficher plus de détails. 1 TUB ... von M Mikulcak · · Zitiert von: 2 — Timed Path Conditions in MATLAB/Simulink. Marcus Mikulcak (1) , Paula Herber (1) , Thomas Göthel (1) , Sabine Glesner (1). Afficher plus de détails. 1 TUB ...
Liebrenz, Timm — Welcome to SOAMED
www.informatik.hu-berlin.de
WEB14 jun · Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner (2017): Towards Service-oriented Design of Hybrid Systems modeled in Simulink. IEEE International Workshop on QUality Oriented Reuse of Software (QUORS 2017, to appear).
First NASA Formal Methods Symposium - NFM 2009, Moffett ...researchr.org
researchr.org
; Machine-Checkable Timed CSPThomas Göthel, Sabine Glesner ; Stochastic Formal Methods for Hybrid SystemsMarc Daumas, Érik Martin-Dorel, ... › publication
Twitter-Nachrichten: acm codaspy '23Twitter
— ... Control for Machine Code through Demand-Driven Secure Multi-Execution” authored by Tobias Pfeffer, Thomas Göthel, and Sabine Glesner (.
ACM CODASPY 2024
www.codaspy.org
Tobias Pfeffer (TU Berlin), Thomas Göthel (TU Berlin), and Sabine Glesner (TU Berlin). Award Committee. Murat Kantarcioglu (The University of Texas at Dallas) ...
IEEE Computer Society
www.computer.org
von M Kleine · · Zitiert von: 12 — Moritz Kleine Björn Bartels Thomas Göthel Sabine Glesner. Verifying the Implementation of an OperatingSystem SchedulerMoritz Kleine, Bj ̈orn Bartels, Thomas ...
ECRTS 18: SessionsECRTS 2024
archives.ecrts.org
Joachim Fellmuth, Thomas Göthel, and Sabine Glesner. 11:00. Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered ... Joachim Fellmuth, Thomas Göthel, and Sabine Glesner. 11:00. Vulnerability Analysis and Mitigation of Directed Timing Inference Based Attacks on Time-Triggered ...
drops.dagstuhl.de
drops.dagstuhl.de
... Thomas Göthel, and Sabine Glesner Instruction Caches in Static WCET Analysis of Artificially Diversified Software
FESCA Workshops: FESCA 2015
fesca.ipd.kit.edu
Jan 26, 2015: Registration to ... Nils Jähnig, Thomas Göthel and Sabine Glesner A Denotational Semantics for Communicating Unstructured Code. Vasileios Koutsoumpas
1 Search Results for "Fellmuth, Joachim" - DROPSdagstuhl.de
drops.dagstuhl.de
Instruction Caches in Static WCET Analysis of Artificially Diversified Software. Authors: Joachim Fellmuth, Thomas Göthel, and Sabine Glesner. Published in ... Instruction Caches in Static WCET Analysis of Artificially Diversified Software. Authors: Joachim Fellmuth, Thomas Göthel, and Sabine Glesner. Published in ...
EPTCS 199: Verification and Program TransformationUniversity of New South Wales
cgi.cse.unsw.edu.au
von A Lisitsa · — Towards the Verification of Refactorings of Hybrid Simulink Models Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner,
Accepted Papers - SEFM 2016
staf2016.conf.tuwien.ac.at
... Florian Frohn and Thomas Ströder). Refinement-based verification of Communicating Unstructured Code. (Nils Jähnig, Thomas Göthel and Sabine Glesner).
CyPhy 2015
2015.cyphy.org
Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner. Proving …ctness of Refactorings for Hybrid Simulink Models with Control Flow.
An approach for machine-assisted verification of Timed CSP ...infona.pl
www.infona.pl
von T Göthel · · Zitiert von: 14 — An approach for machine-assisted verification of Timed CSP specifications. Thomas Göthel, Sabine Glesner · Details · Contributors · Fields of science ...
Timed Path Conditions in MATLAB/Simulink
hal.archives-ouvertes.fr
von M Mikulcak · · Zitiert von: 2 — Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner. Timed Path Conditions in MATLAB/Simulink. 5th International Embedded Systems Symposium (IESS), ... › ha...
Program Details | Euromicro DSD/SEAA
dsd-seaa2017.ocg.at
Verena Klös, Thomas Göthel, Adrian Lohr and Sabine Glesner; An Ensemble- Based Approach for Scalable QoS in Highly Dynamic CPS Vladimir Matena ...
FormaliSE – ProceedingsConference Publishing Consulting
www.conference-publishing.com
— Thomas Göthel and Sabine Glesner (TU Berlin, Germany). A Framework for the Rigorous Design of Highly Adaptive Timed Systems
Timed Path Conditions in MATLAB/SimulinkArchive ouverte HAL
www.archives-ouvertes.fr
von M Mikulcak · · Zitiert von: 2 — Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner. Timed Path Conditions in MATLAB/Simulink. 5th International Embedded Systems Symposium (IESS), ... › ...
FormaliSE | FormaliSE
www.formalise.org
Paper presentation: Automatic Validation of Infinite Real-Time Systems Thomas Göthel and Sabine Glesner (Technische Universitat Berlin, Germany).
SOFTENG Program
www.iaria.org
Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner. Development of Real-time LCA System based on Automotive Radar
ICFEM formal-analysis.com!formal-analysis.com
formal-analysis.com
— List of Accepted Papers for ICFEM ; Nils Berg, Thomas Göthel, Sabine Glesner and Armin Danziger, Preserving Liveness Guarantees from ...
Lecture Notes in InformaticsEmis.de
subs.emis.de
— Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. Marcus Mikulcak , Thomas Göthel , Paula Herber and Sabine Glesner.
Lecture Notes in Informatics
subs.emis.de
Full Text; Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner Towards Identifying Spurious Paths in Combined Simulink/Stateflow ...
Proving …ctness of Refactorings for Hybrid Simulink ...
Autoren: Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner. Verlag: Springer International Publishing. Erschienen in: Cyber Physical ...
Alle Infos zum Namen "Thomas Göthel"
Verwandte Suchanfragen zu Thomas Göthel
Paula Herber Sabine Glesner Monika Finsterbusch | John Lennon Björn Bartels Verena Klös | Joachim Fellmuth |
Person "Göthel" (1) Vorname "Thomas" (124868) Name "Göthel" (205) |
sortiert nach Relevanz / Datum