Searching for authors named "Karsten Loer" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Model-based Automated Analysis for Dependable Interactive Systems
- …Model-based Automated Analysis for Dependable Interactive Systems Karsten Loer Submitted…
- Cited by 4 (4 self) – Add To MetaCart
-
Model-Based Formal Analysis of Temporal Aspects in Human-Computer Interaction
- …Model-Based Formal Analysis of Temporal Aspects in Human-Computer Interaction Karsten Loer…
- Cited by 2 (2 self) – Add To MetaCart
-
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems
- … systems Karsten Loer and Michael Harrison BAE SYSTEMS Dependable Computing Systems Centre Department…
- Cited by 6 (2 self) – Add To MetaCart
-
Integrating Model Checking with the Industrial Design of Interactive Systems
- …Integrating Model Checking with the Industrial Design of Interactive Systems Karsten Loer…
- Add To MetaCart
-
Explaining Accidents Causally Using Why-Because Analysis (WBA)
- …at Bielefeld ladkin@(email omitted); Karsten Loer University of York loer@(email omitted); 1 The Background…
- Cited by 1 (0 self) – Add To MetaCart
-
Verifying user interface behaviour with model checking
- …. Harrison 2 , and Karsten Loer 2 1 Departamento de Informática, Universidade do Minho Campus de Gualtar…
- Add To MetaCart
-
Formalism Helps In Describing Accidents
- …FORMALISM HELPS IN DESCRIBING ACCIDENTS Peter Ladkin, Universität Bielefeld, Germany Karsten Loer…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 7.
