118 Infos zu Normann Decker

9 Aktuelle Nachrichten

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 …

Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma. (2016). Runtime Monitoring with Union-Find Structures. ETAPS 2016:

Linux-Wandkalender Normann Decker N.Decker at web.de. Mit Nov :57:42 CET Vorherige Nachricht: Linux-Wandkalender 2003; Nächste ...

Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz and Alexander Weiss. TU Darmstadt, University of ...

1  Bilder zu Normann Decker

4 Profile in Sozialen Netzwerken

Person: Normann Decker. DBLP: Decker:Normann. Contributed to: TACAS Wrote 1 papers: TACAS DeckerLT #modulo theories #monitoring ...

DOI: ; Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma. (2016). Runtime Monitoring with Union-​Find ...

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.

1 Persönliche Webseiten

Normann Decker, Jannis Harder, Torben Scheffel, Malte Schmitz, Daniel Thoma: Runtime Monitoring with Union-Find Structures. In Marsha Chechik ...

1 Infos zur Ausbildung

Results of 56 · Authors. Normann Decker · Boris Dreyer · Philip Gottschling; et al. Source Information. March 2018, IssueCompletePages, p.851To

3 Angaben zur Herkunft

Pieternelletje Gijsbertsdr. van Duynen is geboren in het jaar in Katwijk aan Zee, dochter van Gijsbert Roelantsz. van Duinen en Neeltje Jacobsdr. Kruydt....

1 Projekte

"jUnitRV - Adding Runtime Verification to jUnit" Normann Decker, Martin Leucker and Daniel Thoma. "Using Language Engineering to Lift ...

15 Bücher zum Namen

The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction...

... Charles Pecheur -- |t jUnitRV-Adding Runtime Verification to jUnit / |r Normann Decker, Martin Leucker, Daniel Thoma -- |t Using Language Engineering to Lift ...

... jUnitRV-Adding Runtime Verification to jUnit /; Normann Decker, Martin Leucker, Daniel Thoma; Using Language Engineering to Lift Languages and Analyses ...

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...

7 Dokumente

Authors: Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata ...

... Sundararaman / Marie Duflot-Kremer / Stefan Haar / Normann Decker / Aiswarya Cyriac / Martin Leucker / Checking / Anca Muscholl / Patricia Bouyer-Decitre ...

From: Normann Decker [view email] [v1] Mon, 26 Jun :32:16 UTC (94 KB). Which authors of this paper are endorsers? | Disable ...

DBLP - CS Bibliography. listing | bibtex · Normann Decker ... From: Normann Decker [view email] [v1] Thu, 23 Apr :09:18 GMT (59kb).

21 Wissenschaftliche Publikationen

List of computer science publications by Martin Leucker

Decker, Normann, Kühn Franziska, ... Normann Decker . Publications; Sebastian Hungerecker; Christian Kreutzfeldt; Grigory Markin; Michael Maroszek; Torben Scheffel;

Bibliographic content of TACAS 2016

Normann Decker, Anton Pirogov: Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic. CoRR abs (2019); [c12]​.

5 Allgemeine Veröffentlichungen

This paper presents jUnitRV as a tool extending the unit testing framework jUnit by runtime verification capabilities. Roughly, jUnitRV provides a new...

[doi] · Runtime Verification of Web Services for Interconnected Medical DevicesNormann Decker, Franziska Kühn, Daniel Thoma [doi] ...

This paper considers a … approach to enhance traditional runtime verification techniques towards first-order theories in order to reason about data. This...

· Thomas Domurath. Dominik Wirges. Julia Schmidt. Frank Rühlemann. Torben Scheffel. Normann Decker. Martin Gummi. Wilfried Klaebe.

49 Webfunde aus dem Netz

Model Checking for Flat Systems and Temporal Logic with Counting Normann Decker From the Institute for Software Engineering and Programming Languages​ ...

Eine der aktuellen Problemstellungen in der Industrie ist das Debugging von Embedded Multicore Systems. In der Vergangenheit herrschten im Embedded-Bereich...

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

Authors: Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma Publisher ...

Normann Decker, Martin Leucker and Daniel Thoma. Monitoring Modulo Theories. Klaus Dräger, Vojtech Forejt, Marta Kwiatkowska, David Parker and Mateusz ...

Eike Best and Raymond Devillers: Synthesis of Persistent Systems · Normann Decker, Peter Habermehl, Martin Leucker and Daniel Thoma: Learning Transparent ...

QEST, Springer LNCS , pp Best paper award. [doi]. [​DHLST17], Normann Decker, Peter ...

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 analysis from raw files to publication figures with graphical user interface

Ezio Bartocci, Ylies Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Felix Klaedtke, Klaus Havelund, Yogi Joshi, Reed Milewicz, Giles Reger ...

Anke Fähnrich, Moritz Krebbel, Normann Decker, Martin Leucker, Felix D. Lange, Kathrin Kalies, Steffen Möller[show]. Abstract. Next generation sequencing ...

Authors: Normann Decker. Publisher/Institution: Universität Stuttgart; Fakultät Informatik, Elektrotechnik und Informationstechnik. Institut für formale Methoden der ...

Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles ...

Autoren: Normann Decker, Anton Pirogov. Verlag: Springer International Publishing. Erschienen in: Verification, Model Checking, and Abstract Interpretation.

... LTL with Ordered Attributes. Description: Normann Decker We present an extension of Freeze LTL, a temporal logic equipped with registers, over data words.

Description: Normann Decker We present an extension of Freeze LTL, a temporal logic equipped with registers, over data words. Each position ...

European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site

Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger ...

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"

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 ...