1
0
0
(1 - 33 von 41
)
SBMF 2017
sbmf2017.cin.ufpe.br
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz and Alexander Weiss. TU Darmstadt, University of ...
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 ...
Automata and Logics for Concurrent Systems: Realizability and...
www.pdfsearch.io
... Sundararaman / Marie Duflot-Kremer / Stefan Haar / Normann Decker / Aiswarya Cyriac / Martin Leucker / Checking / Anca Muscholl / Patricia Bouyer-Decitre ...
[ ] Ordered Navigation on Multi-attributed Data Words
arxiv.org
Normann Decker · Peter Habermehl · Martin Leucker ... From: Normann Decker [view email] [v1] Thu, 24 Apr :16:41 GMT (72kb,D).
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;
Steffen Möller - dblpdblp.uni-trier.de › Persons
dblp.uni-trier.de
· Anke Fähnrich, Moritz Krebbel, Normann Decker, Martin Leucker, Felix D. Lange, Kathrin Kalies , Steffen Möller: ClonoCalc and ClonoPlot: ...
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:
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 ...
ClonoCalc and ClonoPlot: immune repertoire analysis Altmetricwww.altmetric.com › details
www.altmetric.com
Anke Fähnrich, Moritz Krebbel, Normann Decker, Martin Leucker, Felix D. Lange, Kathrin Kalies, Steffen Möller[show]. Abstract. Next generation sequencing ...
ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to...
go.gale.com
Author(s): Anke Fähnrich 1 , Moritz Krebbel 2 , Normann Decker 2 , Martin Leucker 2 , Felix D. Lange 2 , Kathrin Kalies 1 and Steffen Möller 3 Background Both B ...
DROPS - Model-Checking Counting Temporal Logics on Flat Structures
drops.dagstuhl.de
@InProceedings{decker_et_al:LIPIcs:2017:7770, author = {Normann Decker and Peter Habermehl and Martin Leucker and Arnaud Sangnier and Daniel ...
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.
Publications - TeSSLawww.tessla.io › publications
www.tessla.io
Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, and Alexander Weiss: Rapidly Adjustable Non- ...
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 ...
Rapidly Adjustable Non-intrusive Online Monitoring for Multi-core ...www.springerprofessional.de › rapidly-adjustable-non-intrusive-online-mo...
www.springerprofessional.de
Autoren: Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, Alexander Weiss. Verlag: Springer ...
SBMF UFPEsbmf2017.cin.ufpe.br › accepted
sbmf2017.cin.ufpe.br
Torben Scheffel, Normann Decker, Martin Leucker, Malte Schmitz, Philip Gottschling, Alexander Weiss and Christian Hochberger; Sound transpilation from ...
Martin Leucker - researchr alias
researchr.org
TACAS 2014: [doi] · Learning Transparent Data AutomataNormann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. apn 2014: [doi].
TDGS - "I. Decker"
juliette.lsi.us.es
Normann Decker, Martin Leucker, Daniel Thoma · TACASFetch | Report | Google · Ordered Navigation on Multi-attributed Data Words.
“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