Heike Wehrheim
Heike Wehrheim
E-mail megerősítve itt: upb.de
Cím
Hivatkozott rá
Hivatkozott rá
Év
Jass—Java with assertions
D Bartetzko, C Fischer, M Möller, H Wehrheim
Electronic Notes in Theoretical Computer Science 55 (2), 103-117, 2001
3162001
The challenges of building advanced mechatronic systems
W Schafer, H Wehrheim
Future of Software Engineering (FOSE'07), 72-84, 2007
1332007
Model-checking CSP-OZ specifications with FDR
C Fischer, H Wehrheim
IFM’99, 315-334, 1999
1071999
Checking consistency in UML diagrams: Classes and state machines
H Rasch, H Wehrheim
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
99*2003
Mechanically verified proof obligations for linearizability
J Derrick, G Schellhorn, H Wehrheim
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-43, 2011
732011
Road vehicle automation
G Meyer, S Beiker
Springer International Publishing, 2019
682019
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
612001
Behavioural subtyping relations for object-oriented formalisms
C Fischer, H Wehrheim
International Conference on Algebraic Methodology and Software Technology …, 2000
592000
Analysis of UML activities using dynamic meta modeling
G Engels, C Soltenborn, H Wehrheim
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
572007
Verifying linearisability with potential linearisation points
J Derrick, G Schellhorn, H Wehrheim
International Symposium on Formal Methods, 323-337, 2011
562011
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
Fundamenta Informaticae 89 (4), 369-392, 2008
552008
Linking CSP-OZ with UML and Java: A case study
M Möller, ER Olderog, H Rasch, H Wehrheim
International Conference on Integrated Formal Methods, 267-286, 2004
522004
How to prove algorithms linearisable
G Schellhorn, H Wehrheim, J Derrick
International Conference on Computer Aided Verification, 243-259, 2012
502012
The dynamic models of UML: Towards a semantics and its application in the development process
T Gehrke, U Goltz, H Wehrheim
491998
The behavioural semantics of Event-B refinement
S Schneider, H Treharne, H Wehrheim
Formal aspects of computing 26 (2), 251-280, 2014
45*2014
Showing full semantics preservation in model transformation-a comparison of techniques
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
International Conference on Integrated Formal Methods, 183-198, 2010
44*2010
Integrating a formal method into a software engineering process with UML and Java
M Möller, ER Olderog, H Rasch, H Wehrheim
Formal Aspects of Computing 20 (2), 161-204, 2008
432008
SLAB: A certifying model checker for infinite-state concurrent systems
K Dräger, A Kupriyanov, B Finkbeiner, H Wehrheim
International Conference on Tools and Algorithms for the Construction and …, 2010
422010
A CSP approach to control in Event-B
S Schneider, H Treharne, H Wehrheim
International Conference on Integrated Formal Methods, 260-274, 2010
412010
Weak sequential composition in process algebras
A Rensink, H Wehrheim
International Conference on Concurrency Theory, 226-241, 1994
411994
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20