1
0
0
News
Kompetenzverbund Software Systems Engineering » Blog Archive »
kosse-sh.de
Normann Decker, Universität zu Lübeck: 16:30 Uhr: WCET on Multicore Processors – Problems and Answers Simon Wegener, AbsInt Angewandte Informatik GmbH: 17:00 …
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:
Linux-Wandkalender 2003
www.tlug.de
Linux-Wandkalender Normann Decker N.Decker at web.de. Mit Nov :57:42 CET Vorherige Nachricht: Linux-Wandkalender 2003; Nächste ...
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 ...
Netzwerk-Profile
BibSLEIGH — Normann_Decker
bibtex.github.io
Person: Normann Decker. DBLP: Decker:Normann. Contributed to: TACAS Wrote 1 papers: TACAS DeckerLT #modulo theories #monitoring ...
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 ...
Normann Decker (NormannD) - Profil - Chess.com
www.chess.com
Entdecke das Online-Schach-Profil von NormannD auf Chess.com. Erfahre das Rating, folge den besten Partien oder fordere das Mitglied zu einer Partie heraus.
Private Homepages
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 ...
Ausbildung
Results | Scholars Portal Journalsjournals.scholarsportal.info › search
journals.scholarsportal.info
Results of 56 · Authors. Normann Decker · Boris Dreyer · Philip Gottschling; et al. Source Information. March 2018, IssueCompletePages, p.851To
Herkunft
Pieternelletje Gijsbertsdr. van Duynen ( ) » Genealogie Van...
www.genealogieonline.nl
Pieternelletje Gijsbertsdr. van Duynen is geboren in het jaar in Katwijk aan Zee, dochter van Gijsbert Roelantsz. van Duinen en Neeltje Jacobsdr. Kruydt....
Projekte
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 ...
Bücher
Runtime verification : 4th International Conference, RV 2013, Rennes,...
engineerradcc.library.link
The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction...
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, Moffett...
books.google.de
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May...
Dokumente zum Namen
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 ...
[ ] Model-checking Counting Temporal Logics on Flat...
arxiv.org
From: Normann Decker [view email] [v1] Mon, 26 Jun :32:16 UTC (94 KB). Which authors of this paper are endorsers? | Disable ...
[ ] On Freeze LTL with Ordered Attributes
arxiv.org
DBLP - CS Bibliography. listing | bibtex · Normann Decker ... From: Normann Decker [view email] [v1] Thu, 23 Apr :09:18 GMT (59kb).
Wissenschaftliche Veröffentlichungen
Normann Decker
www.isp.uni-luebeck.de
Decker, Normann, Kühn Franziska, ... Normann Decker . Publications; Sebastian Hungerecker; Christian Kreutzfeldt; Grigory Markin; Michael Maroszek; Torben Scheffel;
Normann Decker - dblpdblp.org › Persons
dblp.org
Normann Decker, Anton Pirogov: Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. CoRR abs (2019); [c12].
Veröffentlichungen allgemein
jUnitRV–Adding Runtime Verification to jUnit | SpringerLink
link.springer.com
This paper presents jUnitRV as a tool extending the unit testing framework jUnit by runtime verification capabilities. Roughly, jUnitRV provides a new...
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] ...
Monitoring Modulo Theories | SpringerLink
link.springer.com
This paper considers a … approach to enhance traditional runtime verification techniques towards first-order theories in order to reason about data. This...
offizielles:protokolle:mitgliederversammlung: [Chaotikum ...wiki.chaotikum.org › offizielles:protokolle:mitgliederversammlung:
wiki.chaotikum.org
· Thomas Domurath. Dominik Wirges. Julia Schmidt. Frank Rühlemann. Torben Scheffel. Normann Decker. Martin Gummi. Wilfried Klaebe.
Sonstiges
Model Checking for Flat Systems and Temporal DocPlayer.orgdocplayer.org › Model-checking-for-fla...
docplayer.org
Model Checking for Flat Systems and Temporal Logic with Counting Normann Decker From the Institute for Software Engineering and Programming Languages ...
KoSSE-Workshop: Debugging von Embedded Multicore Systems
www.diwish.de
Eine der aktuellen Problemstellungen in der Industrie ist das Debugging von Embedded Multicore Systems. In der Vergangenheit herrschten im Embedded-Bereich...
Ordered Navigation on Multi-attributed Data Words |...
www.springerprofessional.de
We study temporal logics and automata on multi-attributed data words. Recently, BD-LTL was introduced as a temporal logic on data words extending LTL
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 ...
ANR PACS: Publications - LIPNlipn.univ-paris13.fr › PACS › publications
lipn.univ-paris13.fr
QEST, Springer LNCS , pp Best paper award. [doi]. [DHLST17], Normann Decker, Peter ...
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 ...
Additional file 1 of ClonoCalc and ClonoPlot: immune repertoire...
figshare.com
Additional file 1 of ClonoCalc and ClonoPlot: immune repertoire analysis from raw files to publication figures with graphical user interface
Borzoo Bonakdarpour - Publications
www.cse.msu.edu
Ezio Bartocci, Ylies Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Felix Klaedtke, Klaus Havelund, Yogi Joshi, Reed Milewicz, Giles Reger ...
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 ...
Detailanzeige der Metadaten - Open Access Netzwerk (OAN)
oansuche.open-access.net
Authors: Normann Decker. Publisher/Institution: Universität Stuttgart; Fakultät Informatik, Elektrotechnik und Informationstechnik. Institut für formale Methoden der ...
First international Competition on Runtime Verification: rules ...experts.illinois.edu › publications › first-internationa...
experts.illinois.edu
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles ...
Flat Model Checking for Counting LTL Using Quantifier-Free ...www.springerprofessional.de › flat-model-checking-for-counting-ltl-using-...
www.springerprofessional.de
Autoren: Normann Decker, Anton Pirogov. Verlag: Springer International Publishing. Erschienen in: Verification, Model Checking, and Abstract Interpretation.
A3, AOC, CALIN, LCR, MERCRED, RCLN - 2 Mars - 8 Mars
lipn.univ-paris13.fr
... LTL with Ordered Attributes. Description: Normann Decker We present an extension of Freeze LTL, a temporal logic equipped with registers, over data words.
A3, AOC, CALIN, LCR, MERCRED, RCLN - Mercredi 4 Mars
lipn.univ-paris13.fr
Description: Normann Decker We present an extension of Freeze LTL, a temporal logic equipped with registers, over data words. Each position ...
Accepted Papers
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
Eugen ZALINESCU's publicationswww2.in.tum.de › ~zalinescu › biblio
www2.in.tum.de
Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger ...
Experten für Medizintechnik und Regulatory and Clinical Affairswww.qtec-group.com › Home › qtec-Experten
www.qtec-group.com
qtec group | Normann Decker. Dr. Normann Decker. qtec-Experte. qtec group | Petra Eichler. Dr. Petra Eichler. qtec-Expertin. qtec group | Lars Dahms. Dr. Lars ...Eksik: Franckh' sche Verlagsbuchhandlung" qtec group | Normann Decker. Dr. Normann Decker. qtec-Experte. qtec group | Petra Eichler. Dr. Petra Eichler. qtec-Expertin. qtec group | Lars Dahms. Dr. Lars ... Eksik: Franckh' sche Verlagsbuchhandlung"
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 ...
sortiert nach Relevanz / Datum