1
0
0
News
Campus Event Calendar: Dr. Hardi Hungar ( in
domino.mpi-inf.mpg.de
Speaker: Dr. Hardi Hungar. coming from: OFFIS e.V., University of Oldenburg. Speakers Bio: Event Type: Talk. Visibility: D1, D2, D3, D4 We use ...
Automated Technology for Verification and Analysiswww-verimag.imag.fr › EVENTS › ATVA › apapers
www-verimag.imag.fr
Hardi Hungar & Scholl, Christoph; Waldmann, Uwe; Disch, Stefan; Pigorsch, Florian; Pang, Jun; Wirtz, Boris; Damm, Werner (DE).
HUNDSMüHLEN: Tango-Workshop richtet sich an Tanzfreudige
www.nwzonline.de
Der Kursus wird vom erfahrenen Tango-Paar Carmen und Hardi Hungar aus Hundsmühlen geleitet. Treffpunkt ist im Gymnastikraum der Halle am Querkanal, ...
Netzwerk-Profile
LinkedIn: Hardi Hungar | LinkedIn
Hardi Hungars berufliches Profil anzeigen LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und Führungskräften wie Hardi Hungar dabei hilft ...
LinkedIn: Hardi Hungar | LinkedIn
Sehen Sie sich das berufliche Profil von Hardi Hungar (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und ...
Es fehlt: schmitt weidenauer gbr
OpenETCS Halfterm Review Meeting WP4 Review · openETCS/validation...
github.com
WP4: Validation and verification strategy. Contribute to openETCS/validation development by creating an account on GitHub.
Interessen
iTokk, Inc. (IKTO): The Organising Committee of ICCCT gratefully...
investorshub.advfn.com
Dr. Hardi Hungar, Institute for Information Technology Dr. Diganta Saha, JADAVPUR UNIVERSITY,India Dr. Benjamin Koch, University of Paderborn
Business-Profile
Hardi HUNGAR | German Aerospace Center (DLR), Köln - ResearchGate
www.researchgate.net
Hardi HUNGAR | Cited by 1,003 | of German Aerospace Center (DLR), Köln (DLR) | Read 98 publications | Contact Hardi HUNGAR
Private Homepages
Dr. r. nat. hab Hardi Hungar - DLR Portalwww.dlr.de › content › kontakte › hungar-hardi
www.dlr.de
Dr. r. nat. hab Hardi Hungar. Teamleiter Prozesse und Methoden. Deutsches Zentrum für Luft- und Raumfahrt (DLR). Institut für Verkehrssystemtechnik
Contacts - SafeCert2009safecert.offis.de › archive › safecert09 › contacts
safecert.offis.de
Dr. Michaela Huhn Institute for Software Systems Engineering TU Braunschweig email · url. Hardi Hungar, PD Dr. Hardi Hungar OFFIS - Institute for Computer ...
Bücher
Hardi Hungar | LinkedInwww.linkedin.com › hardi-hungar
www.linkedin.com
Check out professional insights posted by Hardi Hungar, Researcher at DLR.
[PDF] Leveraging Applications of Formal Methods, Verification and ...biblio.cerist.dz › hrbdonf5214 › ouvrages
biblio.cerist.dz
· Industrial Day (Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch). • DIME Days (Tiziana Margaria, Bernhard Steffen).
学术圈 – Hardi Hungar Offis
soscholar.net
Hardi Hungar Offis Tu Braunschweig Hella Kgaa Hueck Tu München Mirko Conrad Holger M. Giese Bernhard Schätz Henning Kleinwechter Modellbasierte ...
CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala...
books.google.de
This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August In...
Dokumente zum Namen
Anhang 3 - FIR
projekte.fir.de
Dr. Hardi Hungar (DLR). Dr. Michael Meyer zu Hörste (DLR). Bernard Sanvoisin ( Ebcot). NeGSt-Abschlussveranstaltung, DLR Braunschweig ...
EBSCOhost | | Behavior-based model construction.
web.b.ebscohost.com
Behavior-based model construction. Hardi Hungar. ∗. , Bernhard Steffen. Computer Science Department, University of Dortmund, Germany.
[PDF] CAV13 Workshops: July 13 AM coffee break Lunch - CAV 2013cav2013.forsyte.at › files › program
cav2013.forsyte.at
HARDI HUNGAR. Assuring Standard. Conformance of. Partial Interfaces. SEBASTIAN VOSS,. BERNHARD. SCHAETZ, MAGED. KHALIL, CARMEN. CARLAN. A step towards.
[PDF] EMPIRICAL SIMULATION VALIDATION - VVM Projektwww.vvm-projekt.de › fileadmin › user_upload › Mid-Term › VVM...
www.vvm-projekt.de
Automation controlling a research vehicle on proving ground. Comparing proving ground and simulation data of a SAE Level 4 System. Hardi Hungar, Gerald ...
Wissenschaftliche Veröffentlichungen
US Patent Application for Device for generating selection structures,...
patents.justia.com
Inventors: Hardi Hungar (Wardenburg), Bernhard Steffen (Dortmund), Tiziana Margaria-Steffen (Dortmund) Application Serial:
E RWTH AACHEN UNIVERSITY PLT - Deutschwww.plt.rwth-aachen.de › plt › Forschung › Publikationen › ~eevr › Details
www.plt.rwth-aachen.de
... des Dagstuhl-Workshops : Modellbasierte Entwicklung eingebetteter Systeme XIV / Matthias Riebisch, Michaela Huhn, Hardi Hungar, Sebastian Voss ...
Cautious Highway Pilot - ScienceDirectwww.sciencedirect.com › science › article › pii
www.sciencedirect.com
Hardi Hungar, Frank Köster, J M. Test specifications for highly automated driving functions: Highway pilot. Institute of Transportation Systems, ...
dblp: Formal Systems Specification / Dagstuhl
dblp.uni-trier.de
Bibliographic content of Formal Systems Specification / Dagstuhl
Veröffentlichungen allgemein
[PDF] Entwicklung von Referenzmodellen von LST-Komponenten COREcore.ac.uk › download › pdf
core.ac.uk
Daniel Schwencke | Hardi Hungar. The use of models enables a very precise description of system behaviour already in early design stages. Such.
An Approach to Discovery with miAamics and jABC ...link.springer.com › chapter
link.springer.com
Authors; Authors and affiliations. Christian Kubczak Email author; Tiziana Margaria; Bernhard Steffen; Christian Winkler; Hardi Hungar. Christian Kubczak. 1.
Handbook of research on emerging innovations in rail transportation ...www.worldcat.org › title › oclc
www.worldcat.org
... and improved quality of testing command, control and signaling systems by automation / Lennart Asbach, Hardi Hungar, Michael Meyer zu Hörste --
Detecting consistencies and inconsistencies of pattern OFFISwww.offis.de › OFFIS › Publikationen
www.offis.de
Christian Ellen and Sven Sieverding and Hardi Hungar. Buchtitel. Formal Methods for Industrial Critical Systems. Zusammenfassung. The formal specifcation of ...
Artikel & Meinungen
JISCMail - FMNET Archives
www.jiscmail.ac.uk
... China) * Hardi Hungar (Offis, Germany) * Shmuel Katz (Technion, Israel Inst. of Technology, Israel) * Joseph Kiniry (University College Dublin, Ireland) * Kevin ...
Tools for the Model-based Development of Certifiable ...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
Tools for the Model-based Development of Certifiable, Dependable Systems. Organisatoren. Michaela Huhn (TU Braunschweig, DE) Hardi Hungar (OFFIS ...
What's new in AV verification: Report from the Stuttgart symposiumblog.foretellix.com › › whats-new-in-av...
blog.foretellix.com
· Hardi Hungar of the German Aerospace Center (DLR) gave a comprehensive presentation titled “Test specifications for highly automated driving ...
Sonstiges
Projektleiter Forschung im Verkehrsbereich gesuchtlinkedin.com
www.linkedin.com
Hardi Hungar. Researcher at DLR. Published Oct 4, + Follow. Am Institut für Verkehrssystemtechnik werden Projektleiter für die Koordination von ...
> Conformance of Partial Interfaces > Hardi Hungar > 06 March...
technodocbox.com
DLR.de Chart 1 Assuring Standard Conformance of Partial Interfaces Hardi Hungar DLR.de Chart 2 Tasks for Compatibility Assurance SIEMENS Thales ...
Hardi Hungar | Scale Up 360www.scale-up-360.com › peoples › hardi-hungar
www.scale-up-360.com
· Hardi Hungar received a PhD in computer science from the Christian Alberechts University in Kiel, and has the venia legendi (habilitation) ...
Hardi Hungar - EasyChaireasychair.org › VSL2014 › person4787
easychair.org
Hardi Hungar. Organization: German Aerospace Center. Pages in this Program. Program · Program for Wednesday, July 23rd, · VeriSure on Wednesday ...
[PDF] Model Generation for Legacy Systems by Hardi Hungar ...oa.mg › work
oa.mg
Hardi Hungar,Tiziana Margaria,Bernhard Steffen ... This paper was made available in partnership with the Swiss School of Business Research Keeping these models ...
electronic library - Assuring Standard Conformance of Partial...
elib.dlr.de
Deutsches Zentrum für Luft- und Raumfahrt e.V., eLib - DLR electronic library
Lecture Notes in Informatics
subs.emis.de
Hardi Hungar and Marc Behrens. Abstract. Smooth cross-border rail traffic is of important interest to commercial realizations of ETCS1. Starting from the hypothesis ...
Simulation-based Development and Testing of Automated Driving ...docplayer.net › Simulation-based-devel...
docplayer.net
Simulation-based Development and Testing of Automated Driving (More) Use Cases for Simulation Hardi Hungar (DLR) Development process *) *) simplified view ...
ARTIST2 Mailing Lists - ArtistDesign NoEwww.artist-embedded.org › artist › Real-Time-Com...
www.artist-embedded.org
Hardi Hungar — OFFIS Ivica Crnkovic — MALARDALEN Jacques Pulou — France Telecom Jean-Merc Jézéquel Jean-Pierre Gallois — CEA Jean-Pierre Talpin INRIA
Admissibility in Infinite Games - cgi .cse. unsw. edu.a ucgi.cse.unsw.edu.au › ~eptcs › references › SYNT xml
cgi.cse.unsw.edu.au
... ATVA Lecture Notes in Computer Science Springer 425– _30 Werner Damm Stefan Disch Hardi Hungar Jun Pang Florian ...
Automated Testing: Higher Efficiency and Improved Quality of Testing...
www.igi-global.com
Automated Testing: Higher Efficiency and Improved Quality of Testing Command, Control and Signaling Systems by Automation: ch012: The...
Annals of Computer Science and Information Systems, Volume 8annals-csis.org › Volume_8 › drp
annals-csis.org
Christian Ellen, Sven Sieverding, and Hardi Hungar. Detecting Consistencies and Inconsistencies of Pattern-based Functional Requirements.
Automatic Verification of Hybrid Systems with Large Discrete ...www.springerprofessional.de › automatic-verification-of-hybrid-syste...
www.springerprofessional.de
Autoren: Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz. Verlag: Springer Berlin ...
Application and Evaluation in the Healthcare Domain | Scinapsewww.scinapse.io › papers
www.scinapse.io
2 Authors (Hardi Hungar, Erwin Reyzl). 2 Citations. Read Later. The problem with threads IEEE Computer. 1 Author (Edward A. Lee).
Automated Technology for Verification and Analysis 2007www.sigmod.org › dblp › conf › atva › atva2007
www.sigmod.org
Electronic Edition (link) BibTeX · Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, ...
ARTIST2 Mailing Lists - ArtistDesign NoEwww.artist-embedded.org › General-Mailing-Lists
www.artist-embedded.org
Hardi Hungar - OFFIS Bernhard Josko - OFFIS Alberto Ferrari - PARADES Alberto Sangiovanni-Vincentelli - PARADES Giorgio Buttazzo - PISA Giuseppe Lipari ...
Applying Decision Graphs in the Context of Automated Driving ...www.springerprofessional.de › applying-decision-graphs-in-the-context-...
www.springerprofessional.de
Autor: Hardi Hungar. Verlag: Springer International Publishing. Erschienen in: Models, Mindsets, Meta: The What, the How, and the Why Not? » Jetzt Zugang ...
Conference Program | Autonomous Vehicle Test & Development ...www.autonomousvehiclevirtuallive.com › conferenc...
www.autonomousvehiclevirtuallive.com
· Dr Hardi Hungar Team leader verification and validation methods. DLR Germany. The PEGASUS project developed and demonstrated a method for ...
Effizientes Testen modularisierter und standardisierter ...eurailpress-archiv.de › SingleView
eurailpress-archiv.de
September | Mirko Caspar, Daniel Schwencke, Hardi Hungar. Modulare, sicherheitsrelevante Systeme verlangen neue Ansätze für die Verifikation und ...
sortiert nach Relevanz / Datum