1
0
0
(1 - 31 von 34
)
Further Reading - Event Stream Processing with BeepBeep 3
liflab.gitbook.io
Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma. (2016). Runtime Monitoring with Union-Find Structures. ETAPS 2016:
liflab/beepbeep-3-book · GitHubgithub.com › blob › markdown › reading › README
github.com
DOI: ; Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma. (2016). Runtime Monitoring with Union-Find ...
About – COEMSwww.coems.eu › category › about
www.coems.eu
Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma: Runtime Monitoring with Union-Find Structures. In Marsha Chechik ...
HOL theorem-proving system / [Hol-info] [fm-announcements] NFM
sourceforge.net
"jUnitRV - Adding Runtime Verification to jUnit" Normann Decker, Martin Leucker and Daniel Thoma. "Using Language Engineering to Lift ...
Staff View: NASA formal methods
library.villanova.edu
... Charles Pecheur -- |t jUnitRV-Adding Runtime Verification to jUnit / |r Normann Decker, Martin Leucker, Daniel Thoma -- |t Using Language Engineering to Lift ...
Table of Contents: NASA formal methods
library.villanova.edu
... jUnitRV-Adding Runtime Verification to jUnit /; Normann Decker, Martin Leucker, Daniel Thoma; Using Language Engineering to Lift Languages and Analyses ...
NASA Formal Methods: 5th International Symposium, NFM 2013, ...books.google.com.tr › books
books.google.com.tr
jUnitRV—Adding Runtime Verification to jUnit Normann Decker, Martin Leucker, and Daniel Thoma Institute for Software Engineering and Programming ...
Tools and Algorithms for the Construction and Analysis of Systems: ...books.google.de › books
books.google.de
Monitoring Modulo Theories Normann Decker, Martin Leucker, and Daniel Thoma Institute for Software Engineering and Programming Languages Universität ...
Formal Languages and Automata Theory authors/titles Apr (25...
arxiv.org
Authors: Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata ...
CONCUR 2017
www.concur2017.tu-berlin.de
Model-checking Counting Temporal Logics on Flat Structures Normann Decker Peter Habermehl Martin Leucker Arnaud Sangnier Daniel Thoma;
University of Lübeck · Institute of Telematics :: Publications
www-old.itm.uni-luebeck.de
... (Normann Decker, Franziska Kühn, Daniel Thoma), In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, ...
Search results for "NASA" – FacetedDBLP
dblp.l3s.uni-hannover.de
Normann Decker, Martin Leucker, Daniel Thoma: jUnitRV-Adding Runtime Verification to jUnit. NASA Formal Methods : 2013: DBLP DOI BibTeX RDF: 32:
25th IEEE International Symposium on Software Reliability...
researchr.org
[doi] · Runtime Verification of Web Services for Interconnected Medical DevicesNormann Decker, Franziska Kühn, Daniel Thoma [doi] ...
Application and Theory of Petri Nets and Concurrency - 35th...
researchr.org
[doi] · Learning Transparent Data AutomataNormann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma [doi] · A Programming ...
Learning Transparent Data Automata | springerprofessional.de
www.springerprofessional.de
Authors: Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma Publisher ...
Accepted Papers - ETAPS 2021etaps.org › tacas › accepted-papers
etaps.org
Normann Decker, Martin Leucker and Daniel Thoma. Monitoring Modulo Theories. Klaus Dräger, Vojtech Forejt, Marta Kwiatkowska, David Parker and Mateusz ...
35th International Conference on Application and Theory of Petri Nets...
petrinets2014.cnam.fr
Eike Best and Raymond Devillers: Synthesis of Persistent Systems · Normann Decker, Peter Habermehl, Martin Leucker and Daniel Thoma: Learning Transparent ...
Runtime Verification (RV'13)
rv2013.gforge.inria.fr
Martin Leucker, Normann Decker and Daniel Thoma. Impartiality and Anticipation for Monitoring of Visibly Context-free Properties. Alexandre Montplaisir, Naser ...
Impartiality and Anticipation for Monitoring of Visibly Context-Free...
what-when-how.com
Normann Decker, Martin Leucker, and Daniel Thoma. Institute for Software Engineering and Programming Languages. Universitat zu Lubeck, Germany. { decker ...
Monitoring Modulo Theories | springerprofessional.dewww.springerprofessional.de › monitoring-modulo-...
www.springerprofessional.de
Authors: Normann Decker, Martin Leucker, Daniel Thoma. Publisher: Springer Berlin Heidelberg. Published in: Tools and Algorithms for the Construction and ...
Deakin University All...
library2.deakin.edu.au
... Library / Simon Busard, Charles Pecheur -- jUnitRV-Adding Runtime Verification to jUnit / Normann Decker, Martin Leucker, Daniel Thoma -- Using Language ...
Logic in Computer Science
scirate.com
Ordered Navigation on Multi-attributed Data Words · Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. Apr cs.LO cs.
Programme - etaps 2021etaps.org › fossacs › fossacs-programme
etaps.org
Synchronizing automata over nested words; Normann Decker and Daniel Thoma. On Freeze LTL with Ordered Attributes; Peter Habermehl and Antoine ...
HTML - Electronic Proceedings in Theoretical Computer ...
cgi.cse.unsw.edu.au
166–174, doi: TIME Normann Decker, Martin Leucker & Daniel Thoma (2013): jUnitRV - Adding Runtime Verification to jUnit. In: NASA Formal ...
Martin Leucker - researchr alias
researchr.org
TACAS 2014: [doi] · Learning Transparent Data AutomataNormann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. apn 2014: [doi].
IFIP WG Foundations of System Specification | Talk TeSSLa by...
ifipwg13.cs.ovgu.de
Joint work with: Normann Decker, Torben Scheffel, Cesar Sanchez, Malte Schmitz, Daniel Thoma,. Abstract: We present TeSSLa, a specification language ...
TDGS - "I. Decker"
juliette.lsi.us.es
Normann Decker, Martin Leucker, Daniel Thoma · TACASFetch | Report | Google · Ordered Navigation on Multi-attributed Data Words.
CONCUR | Young Researchers Workshop
www.lsv.fr
· Normann Decker and Daniel Thoma. Trigger-Obligation Properties. 15: :30, Coffee break. 15: :00, Dimitrios Vekris. Operational ...
“Most of” leads to undecidability: Failure of adding frequencies to...
www.ncbi.nlm.nih.gov
· Normann Decker, Peter Habermehl, Martin Leucker, Arnaud Sangnier, Daniel Thoma: Model-Checking Counting Temporal Logics on Flat ...
مكتبتي - Qatar University/كل المواقع
mylibrary.qu.edu.qa
Normann Decker, Martin Leucker, Daniel Thoma Using Language Engineering to Lift Languages and Analyses at the Domain Level / : NASA formal methods ...
Alle Infos zum Namen "Normann Decker"
sortiert nach Relevanz / Datum