Olivia Oanea

Theory of Programming Languages and Programming Institute for Informatics University of Rostock

Welcome!	Contact Library

Publications

About me I am a researcher at the University of Rostock. I received the Ph.D. degree from the Eindhoven University of Technology, The Netherlands. Until July 2008, I worked in the project Modelling and Verification of Business Processes (MoveBP) under the supervision of Dr. Natalia Sidorova and Prof. Dr. Kees van Hee in the Architecture of Information Systems Group (AIS) of the Department of Mathematics and Computer Science (W&I). Until 2004, I was a student and a part-time teaching assistant at the Departament of Computer Science of "Al. I. Cuza" University, in Iasi, Romania under the supervision of Prof. Dr. F.L. Tiplea. My research interests include (no particular order): modeling and verification of business processes using (high-level) Petri nets and extensions of Petri nets (e.g. nested nets), net transformation techniques, decidability and complexity issues and recently structural methods for service (adapter) synthesis. Some memberships and professional activities Berlin - Rostock- Eindhoven Service Technology Program (B.E.S.T.) Synthesis of Behavioral Adapters