Harald Fecher

	Freiburg

	Purzelbaum Thomas Liesching Michael Huth Formal Majster-Cederbaum Refinement Marcel Kyas Semantics Model Checking

Images of Harald Fecher

(1 - 1 from 1 )

News

(1 - 4 from 8

–show all

)

Automated Technology for Verification and Analysis

www-verimag.imag.fr

Harald Fecher & Huth, Michael (DE) : Controller synthesis and Ordinal Automata. Thierry Cachat (FR) : Sigref - A Symbolic Bisimulation Tool Box. Ralf Wimmer & Herbstritt, Marc; Strampp, Kelley; Becker, Bernd; Hermanns, Holger (DE) : Monotonic Set-Extended Prefix Rewriting and Verification of Recursive ...

ArtistDesign NoE - ATVA China 2006

www.artist-embedded.org

(Harald Fecher, Michael Huth , DE) - Timed Temporal Logics for Abstracting Transient States. (Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François ...

ETAPS 2006

www.complang.tuwien.ac.at

Markovian Systems (chair: Gianfranco Ciardo): Don't know in Probabilistic Systems: Harald Fecher (Univ. of Kiel, D), Martin Leucker (TU Munich, D), and Verena Wolf (Univ. of Mannheim, D): Symbolic Model Checking of Stochastic Systems: Theory and Implementation: Matthias Kuntz and Markus Siegle ...

Albstädter Krankenhaus – ein Haus voller Engelwww.zak.de › Nachrichten › Albstae...

www.zak.de

Harald Fecher begrüßte und verabschiedete die Anwesenden in seiner Funktion als Fachbereichsleiter. Die Weihnachtsansprache hielt der ...

Network Profiles

LinkedIn: Harald Fecher | LinkedIn

Harald Fechers berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Harald Fecher dabei hilft, interne Kontakte zu finden, die mit empfohlenen Kandidaten, Branchenexperten und potenziellen Geschäftspartnern verbunden sind.

Spieletest.at | Harald Fecher

www.spieletest.at

Harald Fecher. Gewinnspiel. Ravensburger Gewinnspiel - Dezember. Platzhalter Gewinnspiel · Mitspielen & Gewinnen. Statistik. Derzeit findest Du auf ...

Harald Fecher | Semantic Scholarwww.semanticscholar.org › author › Harald-Fecher

www.semanticscholar.org

Semantic Scholar profile for Harald Fecher, with 61 highly influential citations and 38 scientific research papers.

Персона Harald Fecher | все о настольных играх - tesera.rutesera.ru › person

tesera.ru

... Статью · Новость; В дневник. все · 3D-скульптор · автор · графический дизайнер · журналист · продюсер · ученый · художник · персоны/Harald Fecher/.

Business Profiles

Researchgate: Harald Fecher

Freiburg, Germany

Employees

Harald Fecher — Software Engineering

swt.informatik.uni-freiburg.de

Eduaction. I graduated in Mathematics at the Technical University of Darmstadt, Germany, in In 2003, I did my PhD in Computer Science at the ...

Andreas Podelski — Software Engineering

swt.informatik.uni-freiburg.de

Andreas Podelski; Jochen Hoenicke; Bernd Westphal; Berit Brauer; Marlis Jost; ... Harald Fecher. Stefan Maus. Corina Mitrohin. Amalinda Post. Martin Schäf . …

Property

METHOD OF MODULAR VERIFICATION OF A ...patentscope.wipo.int › search › detail

patentscope.wipo.int

Inventors Harald FECHER Jörg MODDEMANN Martin WEHRLE. Title. METHOD OF MODULAR VERIFICATION OF A CONFIGURATION OF A ...

Books & Literature

(1 - 4 from 25

–show all

)

Purzelbaum (Spielware), Thomas Liesching, Harald Fecherwww.hugendubel.de › sonstige_artikel

www.hugendubel.de

Purzelbaum, Spielware von Thomas Liesching, Harald Fecher bei hugendubel.de. Portofrei bestellen oder in der Filiale abholen.

www.cs.helsinki.fi

Harald Fecher. Harald Fecher. A Real-Time Process Algebra with Open Intervals and Maximal Progress. Nordic Journal of Com…ng, 8(3): , Fall

Concurrency, Compositionality, and …ctness: Essays in Honor of...

books.google.de

Why would you read this preface? As we start thinking what to write here, we wonder who is going to read these words....

FSTTCS 2004: Foundations of Software Technology and Theoretical...

books.google.de

This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Computer Science,...

Scientific Publications

(1 - 4 from 13

–show all

)

DFG GEPRIS - Dr. Harald Fecher

gepris.dfg.de

Dr. Harald Fecher, Institut für InformatikKiel

Daniel Wagner

www-i2.informatik.rwth-aachen.de

... abstract models which are still work in progress. The presented results are joint work with Michael Huth, Nir Piterman and Harald Fecher.

dblp: Harald Fecher

dblp.uni-trier.de

List of computer science publications by Harald Fecher

Search results for "counter-example generation" – FacetedDBLP

dblp.l3s.de

Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner 0002: Hintikka Games for PCTL on Labeled Markov Chains. QEST : 2008: DBLP DOI BibTeX RDF: 1:

Publications

(1 - 4 from 13

–show all

)

Don't Know in Probabilistic Systems - CORE

core.ac.uk

By Verena Wolf, Harald Fecher and Martin Leucker. Abstract. Springer Topics: 004 Informatik . Publisher: Springer. Year: DOI identifier:

29 New Unclarities in the Semantics of UML 2.0 State Machines |...

link.springer.com

UML 2.0, which is the standard modeling language for object-oriented systems, has only an informally given semantics. This is in particular the case for UML...

Formalizing UML Models and OCL Constraints in PVS - Microsoft Research

www.microsoft.com

Harald Fecher Frank S. de Boer Joost Jacob Jozef Hooman Mark van der Zwaag Tamarah Arons Hillel Kugler Published In. Proceedings of the Second Workshop ...

Oalib search

www.oalib.com

2002 ( 15 ) ( 13 ) ( 7 ) ( 5 ) ( 2 ) ( 3 ) ( 3 ) ( 2 ) ( 2 ). Search Results: of 841 matches for " Harald Fecher " ...

Reports & Statements

Harald Fecher | JogoEujogoeu.wordpress.com › tag › harald...

jogoeu.wordpress.com

Posts about Harald Fecher written by abruk Pesquisar. Tagged with Harald Fecher. Purzelbaum. Sinopse: Com a queda das folhas e das ...

ASM mailing list (): Re: ASM for SDL ...pages.mtu.edu › ~wallace › asmforum-l › archive

pages.mtu.edu

context of synchronous languages (in particular Esterel). [3] Harald Fecher, Marcel Kyas, Jens Schönborn Experiences Obtained in Defining Formal Semantics ...

Synchronous Programming - SYNCHRON'04 - Schloss ...www.dagstuhl.de › calendar › partlist

www.dagstuhl.de

... Méditerranée, FR); Gwenaël Delaval (INRIA – Grenoble, FR); Stephen A. Edwards (Columbia University – New York, US); Harald Fecher (Universität Kiel, DE) ...

Schloss Dagstuhl : Participant List

www.dagstuhl.de

... Gwenaël Delaval (INRIA – Grenoble, FR); Stephen A. Edwards (Columbia University – New York, US); Harald Fecher (Universität Kiel, DE); Abdoulaye Gamatié (University of Rennes, FR); Peter Gammie (Chalmers UT – Göteborg, SE); Alain Girault (INRIA – Grenoble, FR); Gregor Goessler (INRIA Grenoble Rhône-Alpes, ...

Miscellaneous

(1 - 20 from 38

–show all

)

Harald Fecher - .de › spielsucheliste

www.hall9000.de

... Rezensent, Autor, Verlag, Note H@LL, Note Leser. Purzelbaum · Purzelbaum , ab 4(Vote-Zone), Harald Fecher Thomas Liesching, Zoch Verlag ...

TDGS - "Harald Fecher"

juliette.lsi.us.es

Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner QESTFetch ...

Harald Fecher | Board Game | Board Game Bliss

www.boardgamebliss.com

Harald Fecher. 1 product. Filter. Showing of 1 product. Display: 48 per page. Display. 24 per page 36 per page 48 per page. Sort bySort by: Best selling.

dblp Harald Fecher | Search Results | Just Abother Kerenbro Demo

labs3.kentooz.com

Search Results for: dblp Harald Fecher. dblp Harald Fecher. Oct Harald Fecher Michael Huth Nir Piterman Daniel Wagner PCTL model checking of ...

Buchjournal (inoffiziell): "Harald Fecher, Thomas Liesching:...

literatur.social

Harald Fecher, Thomas Liesching: PURZELBAUM: Durchs Eichhörnchenjahr https://www.buchjournal.de

Spiele von Harald Fecher – Brettspiele: Angebote und ...www.brettspiel-angebote.de › spiele

www.brettspiel-angebote.de

... Hal Eccles, Hanno Girke, Hanno von Contzen, Hans Führer, Hans-Peter Stoll, Harald Fecher, Harry Wu, Hartmut Kommerell, Hartwig Jakubik ...

Harald Fecher

www.infona.pl

Harald Fecher. Details · Publications ... true concurrent equivalences · Harald Fecher · Information Processing Letters 89 , 5 ,

Harald Fecher | Board Game Designer | BoardGameGeekboardgamegeek.com › boardgamedesigner › harald-fec...

boardgamegeek.com

Change hotness display style. Hotness Display; Stats and Thumbnails; List. Games. Games; People; Companies. The King's Dilemma game. The King's ...

Purzelbaum - Thomas Liesching - Harald Fecher - Zoch Verlag -www.spiele-check.de › Purzel...

www.spiele-check.de

Das Gesellschaftsspiel Portal zum Austausch von Informationen, Neuigkeiten, Fragen und Bilder sowie zur Bewertung von ...

AERCS - Person information

tosini.informatik.rwth-aachen.de

Electronic Notes in Theoretical Computer Science (ENTCS) (Electronic Notes in Theoretical Computer Science (ENTCS)). 6 event(s). SPIN (SPIN). 3 event(s).

29 New Unclarities in the Semantics of UML 2.0 State Machines |...

www.springerprofessional.de

UML 2.0, which is the standard modeling language for object-oriented systems, has only an informally given semantics. This is in particular the case

Complexity of Decision Problems for Mixed and Modal Specifications -...

moam.info

The set of implementations I(M, s) of a mixed speciﬁcation (M, s) are all pointed labeled transition systems (T, t) reﬁning (M, s). Note that I(M, s) may be empty in general, but is guaranteed to be non-empty if M is a modal transition system. Example. (Due to Harald Fecher) Figure 1 shows modal speciﬁcations (M, s0 ) and (N, ...

Related search requests for Harald Fecher

Daniel Wagner
Jens Schönborn
Martin Leucker

Verena Wolf
Marcel Kyas
Michael Huth

Naijun Zhan
Mila Majster-Cederbaum

People
Forename "Harald" (7827)
Name "Fecher" (203)

sorted by relevance / date

Advanced Search

Save as document

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Harald Fecher Free People Check

Images of Harald Fecher

Network Profiles

Business Profiles

Employees

Property

Reports & Statements