Loading...
Images of Hardi Hungar
(0 from 0 )1
0
0
News
Campus Event Calendar: Dr. Hardi Hungar ( in
domino.mpi-inf.mpg.de
Title: Model Checking and Higher-Order Recursion. Speaker: Dr. Hardi Hungar. coming from: OFFIS e.V., Universitaet Oldenburg. Speakers Bio ...
Automated Technology for Verification and Analysis
www-verimag.imag.fr
Hardi Hungar & Scholl, Christoph; Waldmann, Uwe; Disch, Stefan; Pigorsch, Florian; Pang, Jun; Wirtz, Boris; Damm, Werner (DE) : On the Satisfiability of ...
PROGRAMME OF FASE
etaps.org
Oliver Niese, Andreas Hagerer, Hardi Hungar, Bernhard Steffen (METAFrame- Technologies GmbH, Dortmund, Germany and University of Dortmund, Germany) .
Telephone & Addresses
Hardi Hungar in bei Das Telefonbuch findenkontakt-1.dastelefonbuch.de › L
kontakt-1.dastelefonbuch.de
Post senden Geschenke senden ✓ Alle Kontaktdaten von Hardi Hungar in . Das Telefonbuch ✓ Ihre Nr. 1 für Adressen und Telefonnummern.
Network Profiles
LinkedIn: Hardi Hungar | LinkedIn
Hardi Hungars berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Hardi Hungar dabei hilft , ...
LinkedIn: Hardi Hungar | LinkedIn
View Hardi Hungar's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Hardi Hungar discover inside ...
Proposal Identification of tools and profile usage ·...
github.com
part of WP7: openECTS Ecosystem. Contribute to openETCS/ecosystem development by creating an account on GitHub.
DBLife: Hardi Hungar
dblife.cs.wisc.edu
Hardi Hungar Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo! News Archive. Sorted by Year/Conf, Year/Citation, Citation. Community Statistics. …
Interests
Hardi Hungar - Patents
www.freshpatents.com
Hardi Hungar patents Device for generating selection structures, for making selections according to selection structures and for creating ...
Business Profiles
Researchgate: Hardi Hungar
Köln, Germany
patentbuddy: Hardi Hungar
METAFRAME TECHNOLOGIES SOFTWARE DESIGN & CONSULTING GMBH, US
Projects
HOL theorem-proving system / [Hol-info] Call for Papers: 33rd Annual...
sourceforge.net
... University of Milano Bicocca, Italy >> Hardi Hungar, OFFIS, Oldenburg, Germany >> Hernan Astudillo, Universidad Técnica Federico Santa ...
Books & Literature
Hardi Hungar | XanEdu Customization Platform
www.academicpub.com
Author: Hardi Hungar. Results. Behavior-based model construction Springer Science+Business Media By: Hardi Hungar; Bernhard Steffen;.
Hardi Hungar - sceassceas.csd.auth.gr › php › search
sceas.csd.auth.gr
Scientific Colection Evaluator with Advanced Scoring (SCEAS) is an automated system that uses DBLP data and produces rank table by various evaluation ...
Bibliography generated from publications.bib
www.avacs.org
[Fränzle et al., 2007b]: Martin Fränzle, Hardi Hungar, Christian Schmitt, and Boris Wirtz. Hlang: Compositional representation of hybrid systems via predicates.
CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala...
books.google.ca
This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August In...
Related Documents
Proceedings 2nd International Workshop on Safe Control of ...arxiv.org › html
arxiv.org
... Sybille Fröschle (OFFIS Oldenburg, DE); Khalil Ghorbal (INRIA, FR); Jeremie Guiochet (LAAS, FR); Hardi Hungar (DLR Braunschweig, DE) ...
CiteSeerX — A Compositional Real-time Semantics of STATEMATE Designs
citeseerx.ist.psu.edu
A Compositional Real-time Semantics of ... {Werner Damm and Bernhard Josko and Hardi Hungar and ... {A Compositional Real-time Semantics of STATEMATE Designs…
EBSCOhost | | Behavior-based model construction.
web.a.ebscohost.com
Behavior-based model construction. Hardi Hungar. ∗. , Bernhard Steffen. Computer Science Department, University of Dortmund, Germany.
CiteSeerX — Formal Verification of an Avionics Application using...
citeseerx.ist.psu.edu
Formal Verification of an Avionics Application using Abstraction and Symbolic ... of an Avionics Application using Abstraction and , Hardi Hungar ...
Scientific Publications
Finding Inconsistencies in Design Models and Requirements ...publications.rwth-aachen.de › record
publications.rwth-aachen.de
... Development of Embedded Systems : Michaela Huhn, Hardi Hungar, Matthias Riebisch, Sebastian Voss (Hrsg.).
CiteSeerX — What if Model Checking Must Be Truly Symbolic
citeseer.ist.psu.edu
BibTeX @MISC{Hungar95whatif, author = {Hardi Hungar and Orna Grumberg and Werner Damm}, title = {What if Model Checking Must Be Truly Symbolic}, year = {1995}
PD Dr. Hardi Hungar
www.guest.uni-oldenburg.de
PD Dr. Hardi Hungar: Dependable System Design Carl von Ossietzky University Oldenburg Mobile: + E-Mail: <hardi.hungar[[at]]uni-oldenburg.de>
Publications
Exact State Set Representations in the Verification of Linear Hybrid...
core.ac.uk
Exact State Set Representations in the Verification of Linear Hybrid Systems with ... Hardi Hungar , Swen Jacobs, Jun ... exact representations in the verification of ...
Formal methods for components and objects : second international...
www.worldcat.org
Diesen Titel erhalten Sie in einer Bibliothek! Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands,...
Assuring Standard Conformance of Partial Interfaces - CORE
core.ac.uk
By Hardi Hungar. Abstract. A current standardization effort for track-side equipment in German railways faces the difficulty of having to proceed incrementally.
A Compositional Real-time Semantics of STATEMATE Designs | Springer...
rd.springer.com
This paper presents a reference semantics for a verication tool currently under development allowing to verify temporal properties of embedded control sys-...
Reports & Statements
JISCMail - FACS Archives
www.jiscmail.ac.uk
... Macao SAR, China) * Hardi Hungar (Offis, Germany) * Shmuel Katz (Technion, Israel Inst. of Technology, Israel) * Kevin Lano (King's College ...
What’s new in AV verification: Report from the Stuttgart symposium –...
blog.foretellix.com
Hardi Hungar of the German Aerospace Center (DLR) gave a comprehensive presentation titled “Test specifications for highly automated driving function: ...
June 10 – 15 , 2007, Dagstuhl Seminar Schloss ...www.dagstuhl.de › program › calendar › semhp
www.dagstuhl.de
... Model-based Development of Certifiable, Dependable Systems. Organizers. Michaela Huhn (TU Braunschweig, DE) Hardi Hungar (OFFIS – Oldenburg, DE)
Schloss Dagstuhl : Seminar Homepage
www.dagstuhl.de
... of Certifiable, Dependable Systems. Organisatoren. Michaela Huhn (TU Braunschweig, DE) Hardi Hungar (OFFIS – Oldenburg, DE) Doron A. Peled (Bar- Ilan ...
Miscellaneous
Hardi Hungar | LinkedIn
www.linkedin.com
View Hardi Hungar’s professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Hardi Hungar discover inside ...
US A1 - Device for generating selection ...patents.google.com › patent
patents.google.com
Inventor: Hardi Hungar: Bernhard Steffen: Tiziana Margaria-Steffen; Current Assignee. The listed assignees may be inaccurate. Google has not performed a ...
Hardi Hungar: المكتبة الإلكترونية المجانية Z-Library
ar.booksc.org
Hardi Hungar: المكتبة الإلكترونية المجانية Z-Library | BookSC. Download books for free. Find books
Hardi Hungar: مفت ڈاؤنلوڈ. ای بک لائبریری۔ Z-Library پر آن لائن ...ur.b-ok.africa › ...
ur.1lib.domains
Hardi Hungar: مفت ڈاؤنلوڈ. ای بک لائبریری۔ Z-Library پر آن لائن کتابوں کی دکانیں | Z-Library. Download books for free. Find books.
TDGS - "Hardi Hungar"
juliette.lsi.us.es
Components and Contracts: A Semantical Foundation for Compositional Refinement Hardi Hungar. MBEES2012
Hardi Hungar
easychair.org
Hardi Hungar. Organization: German Aerospace Center: Pages in this Program. Program: Program for Wednesday, July 23rd, 2014: VeriSure on Wednesday, July …
DBLP: Hardi Hungar
vldbarc.org
Hardi Hungar, Erwin Reyzl: Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter ...
Hardi Hungar
www.infona.pl
Hardi Hungar, Tiziana Margaria, Bernhard Steffen · Radical Innovations of Software and Systems Engineering in the Future. We propose the ...
DBLP: Tiziana Margaria
www.vldb.org
Hardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: : 49 : Tiziana Margaria: Components, Features, …
DBLP: Werner Damm
www.vldb.org
Hardi Hungar, Orna Grumberg, Werner Damm: What if model checking must be truly symbolic. CHARME 1995: 1-20: 22 : Werner Damm, Hardi Hungar, Peter Kelb, …
DBLP: Doron Peled
www.vldb.org
Doron Peled, Michael Wooldridge: ... Michaela Huhn, Hardi Hungar, Doron Peled: Tools for the Model-based Development of Certifiable, Dependable Systems, ...
Liveness Manifestos
cs.nyu.edu
Liveness Manifestos: These are the liveness manifestos by participants and should-be participants in the workshop. Wang Yi: ... Hardi Hungar: 1.
DROPS Abstracts Collection -- Tools for the Model-based...
drops.dagstuhl.de
BibTeX - Entry @InProceedings{huhn_et_al:DSP:2008:1406, author = {Michaela Huhn and Hardi Hungar and Doron A. Peled}, title = { Abstracts Collection -- Tools for ...
DROPS Summary -- Tools for the Model-based Development of...
drops.dagstuhl.de
BibTeX - Entry @InProceedings{huhn_et_al:DSP:2008:1405, author = {Michaela Huhn and Hardi Hungar and Doron A. Peled}, title = { Summary -- Tools for the Model ...
(PDF) Exact state set representations in the verification of linear...
www.academia.edu
By Swen Jacobs, Jun Pang, and Stefan Disch in Model Checking and Control system.
Model Generation for Legacy Systems | Semantic Scholar
www.semanticscholar.org
Semantic Scholar extracted view of
A Concept of Scenario Space Exploration with Criticality ...www.springerprofessional.de › a-concept-of-scenario-s...
www.springerprofessional.de
Author: Hardi Hungar. Publisher: Springer International Publishing. Published in: Leveraging Applications of Formal Methods, Verification and Validation: ...
electronic library - Introducing Semi-Formal Specifications into a...
elib.dlr.de
Deutsches Zentrum für Luft- und Raumfahrt e.V., eLib - DLR electronic library
Practice & Innovation Program Committee – MODELS 2016
models2016.irisa.fr
Practice & Innovation Program Committee Hardi Hungar, OFFIS (Germany) Heiko Koziolek, ABB Corporate Research (Germany) Jan Philipps, validas AG (Germany)
Conference Program | Autonomous Vehicle Test ...www.autonomousvehiclevirtuallive.com › conference-p...
www.autonomousvehiclevirtuallive.com
Applying the PEGASUS approach to automation for the urban environment. Dr Hardi Hungar Team leader verification and validation methods
Related search requests for Hardi Hungar
Stefan Disch Doron Peled Karen Laster | Boris Wirtz Michael Meyer Tiziana Margaria | Michaela Huhn Werner Damm Karsten Lemmer |
People Forename "Hardi" (290) Name "Hungar" (9) |
sorted by relevance / date