143 Infos zu Karsten Loer

3 Aktuelle Nachrichten

Zusammen mit Martin Olek von Olek Brandschutz und Dr. Karsten Loer von SySaCon haben wir im alten Postbahnhof in Berlin ein Seminar zum Thema ...

We also would like to thank Dr. Karsten Loer (Sysacon) for his initiative and help to facilitate the seminar. Development of significant evacuation ...

— Karsten Loer, der die Arbeit betreut hat: „Es liegt im Ermessen der Polizei, einzuschätzen, ob es sich um eine leere Drohung handelt oder ... › ... › Bergedorf › Lohbrügge

12 Profile in Sozialen Netzwerken

StayFriends - Schulfreunde wiederfinden

StayFriends - Schulfreunde wiederfinden

Karsten Loers berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Karsten Loer dabei hilft, ...

1 Business-Profile

— Dazu ein Gespräch mit MD, MPH Amena Almes Ahmad, Professorin für Public Health im Department Gesundheitswissenschaften, Dr. Karsten Loer, ... › Blog

1 Persönliche Webseiten

Imprint; Imprint. Address: Dr. Loer system safety consulting. Dr. Karsten Loer Hamburg. GERMANY. fon: +49 (0)

2 Infos zur Ausbildung

Stanford Libraries' official online search tool for books, media, journals, databases, government documents and more.

Analysing the Cali Accident With a WB-Graph. Thorsten Gerdsmeier, Peter Ladkin and Karsten Loer,. RVS, Technische Fakult t, Universit t Bielefeld, Germany. › workshop

24 Bücher zum Namen

Formal analysis of interactive systems: opportunities and weaknesses / Michael Harrison, José Creissac Campos and Karsten Loer. Using statistics in usability ...

› authors › karst...

... Kässens and Heiner Frankholz , Tanja and Andreas Schwarze , Wolfram van Well , Marina Bourgeois and Birgit Steffens , Anke Börsel , and Karsten Loer .

347 Peter B. Ladkin and Karsten Loer. Why-Because Analysis: Formal Reasoning About Incidents. Technical Report RVS-Bk , Networks and distributed ...

15 Dokumente

... Khanssa Lagdami (Chapter 4), Karsten Loer (Chapter 1) and Xiaoning Shi (Chapter 2). The report benefited from major substantive contributions from WMU ... › trans...

von M Höhl · · Zitiert von: 12 — (GeLa97a): Thorsten Gerdsmeier, Michael Höhl, Peter Ladkin, Karsten Loer, How Aircraft Crash: Accident Reports. › PDF

von DM Young · — Dr. Karsten Loer, Germanischer Lloyd, Hamburg, Germany. Zusammenfassung: In diesem Beitrag wird die Entwicklung eines Risi-. › documents

Dr. Ipke Wachsmuth and Dr. Karsten Loer for being the member of my Ph.D. committee. Furthermore, I thank the Technische Fakult¨at for their support in the ... › Lainnya

11 Wissenschaftliche Publikationen

Bibliographic content of Automated Software Engineering, Volume 13

Karsten Loer, Michael D. Harrison : An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and ...

Bibliographic content of Verification and Validation of Enterprise Information Systems 2004

Formalising Failure Analysis Thorsten Gerdsmeier, Peter B. Ladkin, Karsten Loer Research Report RVS-Occ Abstract: We consider systems which are artifacts ...

8 Allgemeine Veröffentlichungen

— Karsten Loer, Germanischer Lloyd SE, Hamburg, Germany. Jacqueline Holz, Georgios Athanassiou, Oliver Straeter, University of Kassel, Germany. › view

von M Harrison · · Zitiert von: 4 — Connecting Rigorous System Analysis to Experience-Centered Design. Michael Harrison,; José Creissac Campos, … Gavin Doherty &; Karsten Loer. Show authors. › chapter

Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of...

31-44; Analysing Dynamic Function Scheduling DecisionsKarsten Loer, Michael Hildebrandt, Michael D. Harrison ; Formal Verification and Validation of ... › ifip13:2004

4 Meinungen & Artikel

Posts about Book written by dncabral

Cargoforum.de, Forum für Transport, Logistik, Spedition, Zoll und Aussenwirtschaft.

and Karsten Loer. 4 Tailoring Usability into Agile Software Development Projects Scott W. Ambler. 5 Model-Based Evaluation: A New Way to Support ... › ...

— Karsten Loer um individuelle Plugins erweitert. Mitte Oktober stand eine hybride Übung gemeinsam mit dem Hafenärztlichen Dienst, dem ... › blog › ein-pr...

57 Webfunde aus dem Netz

... files is not obvious. Is there any documentation of the file format available? Regards, Karsten Loer. henning_dierks &-ol.

Karsten Loer ist Mitglied bei StayFriends und hat bis diese Schule besucht: Universität Bielefeld.

Karsten Loer (1) Klaudia Loer (1) Kirsten Loer (1) Katrin Loer (1) Kathrin Loer (1) Ingrid Loer (1) Ingenieur Loer (1) Helga Loer (1) Bianca Loer (1) › L...

› ...

An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluationKarsten Loer, Michael D. Harrison.

Dr. Karsten Loer. EXPERIENCE; since 2014: Senior Safety Analyst with admaris GmbH, Hamburg, Germany: since 2013: Independent Safety Consultant, Hamburg, Germany:

› kars...

› plan › dozent

Total downloads of all papers by Karsten Loer

› Form...

Design, Specification and Verification of Interactive Systems: DSVIS'05

Angelo, You can define a clock in the "global declarations" section. Such a clock can be accessed directly for the verification - see the Vikings example in the ...

Hall,CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. Karsten Loer,Michael D. Harrison,Towards Usable and Relevant Model ... › venues

von A Ibrahim · · Zitiert von: 10 — [25] Peter Ladkin and Karsten Loer, 'Why-because analysis: Formal rea- soning about incidents', Bielefeld, Germany, Document RVS-Bk ,. › pdf › doi › FAIA

Campos José Creissac, Michael D. Harrison, and Karsten Loer, "Verifying User Interface Behaviour with Model Checking", Universidade Do Minho, Portugal.

J. C. Campos, M. D. Harrison and Karsten Loer Verifying user interface behaviour with model checking. In J. C. Augusto and U. Ultes-Nitsche, editors, ...

› sol3

von K Loer · Zitiert von: 5 — by Karsten Loer , Michael Hildebrandt , Michael Harrison. Citations: self · Summary · Citations · Active Bibliography · Co-citation ... › viewdoc

J. C. Campos, M. D. Harrison and Karsten Loer Verifying user interface behaviour with model checking. In J. C. Augusto and U. Ultes-Nitsche, editors, ... › jfcbin

JOURNAL OF OBJECT TECHNOLOGY Online at Published by ETH Zurich, Chair of Software Engineering JOT, Vol. 7, ... Michael D. Harrison, and Karsten Loer, ...