|
|
|
 |
Dipl.-Inform. Jan O. Ringert
Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen
tel. +49 (241) 80-21311
fax. +49 (241) 80-22218
ringert se.rwth-aachen.de
room 4219
|
About me:
Research Areas
- Formal methods in Software Engineering
- Semantics of modeling languages
Publications
2012
2011
- [MRR11f] S. Maoz, J. O. Ringert, B. Rumpe
Semantically Configurable Consistency Analysis for Class and Object Diagrams
In: Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 153-167, LNCS 6981, 2011.
- [MRR11e] S. Maoz, J. O. Ringert, B. Rumpe
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited
In: Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 592-607, LNCS 6981, 2011.
- [MRR11d] S. Maoz, J. O. Ringert, B. Rumpe
ADDiff: Semantic Differencing for Activity Diagrams
In: Proc. Euro. Soft. Eng. Conf. and SIGSOFT Symp. on the Foundations of Soft. Eng. (ESEC/FSE'11), pp. 179-189, ACM, 2011.
- [MRR11c] S. Maoz, J. O. Ringert, B. Rumpe
Modal Object Diagrams
In: Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP'11),
LNCS 6813, pp. 281-305, Springer, 2011.
- [MRR11b] S. Maoz, J. O. Ringert, B. Rumpe
CDDiff: Semantic Differencing for Class Diagrams
In: Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP'11),
LNCS 6813, pp. 230-254, Springer, 2011.
- [MRR11a] S. Maoz, J. O. Ringert, B. Rumpe.
An Operational Semantics for Activity Diagrams using SMV
RWTH Aachen University, Technical Report.
AIB-2011-07. July 2011.
- [RR11] J. O. Ringert, B. Rumpe.
A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing
International Journal of Software and Informatics, Volume 5, Issue 1-2 (2011), Part I,
pp. 29-53. July 2011. Also available from: IJSI.
2010
2009
|
