Liste auf DBLP / List on DBLP

Zeitschriftenartikel / Journal Articles

Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve. History-Based Joins: Semantics, Soundness and Implementation. Data Knowl. Eng., 64(1):24-37, January 2008. [DOI] [Abstract] [BibTeX]

Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve. LogLogics: A logic for history-dependent business processes. Sci. Comput. Program., 65(1):30-40, March 2007. [DOI] [Abstract] [BibTeX]

Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, and Irina A. Lomazova. Checking Properties of Adaptive Workflow Nets. Fundam. Inform., 79(3-4):347-362, August 2007. [WWW] [Abstract] [BibTeX]

Ferucio Laurentiu Tiplea and Olivia Oanea. Model Checking for Linear Time $\mu$-calculus and Extended Petri Nets. An. Univ. Timis., Ser. Mat.-Inform., XLI:229-245, 2003. [PDF] [BibTeX]

Roxana Melinte, Olivia Oanea, Ioana Olga, and Ferucio Laurentiu Tiplea. The Home Marking Problem and Some Related Concepts. Acta Cybern., 15(3):467-478, 2002. [Abstract] [BibTeX]

Konferenzbeiträge / Conference Papers

Olivia Oanea, Harro Wimmel, and Karsten Wolf. New Algorithms for Deciding the Siphon-Trap Property. In Johan Lilius and Wojciech Penczek, editors, 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings, Lecture Notes in Computer Science, June 2010. Springer-Verlag. [BibTeX]

Stephan Mennicke, Olivia Oanea, and Karsten Wolf. Decomposition into open nets. In Thomas Freytag and Andreas Eckleder, editors, 16th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2009, Karlsruhe, Germany, September 25, 2009, Proceedings, volume 501 of CEUR Workshop Proceedings, pages 29-34, September 2009. CEUR-WS.org. [PDF] [Abstract] [BibTeX]

Olivia Oanea and Karsten Wolf. An efficient necessary condition for compatibility. In Oliver Kopp and Niels Lohmann, editors, Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2-3, 2009, volume 438 of CEUR Workshop Proceedings, pages 81-87, March 2009. CEUR-WS.org. [PDF] [Abstract] [BibTeX]

Olivia Oanea. Soundness and related concepts for nested workflow nets. In Proc. of the International Workshop on Petri Nets and Distributed Systems (PNDS'2008), June 2008. [BibTeX]

Kees van Hee, Olivia Oanea, Natalia Sidorova, and Marc Voorhoeve. Verifying Generalized Soundness for Workflow Nets. In Irina Virbitskaite and Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers, volume 4378 of Lecture Notes in Computer Science, pages 235-247, June 2007. Springer-Verlag. [DOI] [Abstract] [BibTeX]

Kees van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve. Nested Nets for Adaptive Systems. In Susanna Donatelli and P. S. Thiagarajan, editors, Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, volume 4024 of Lecture Notes in Computer Science, pages 241-260, June 2006. Springer-Verlag. [DOI] [Abstract] [BibTeX]

Kees van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, and Jan Martijn E. M. van der Werf. Yasper: a tool for workflow modeling and analysis. In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland, pages 279-282, June 2006. IEEE Computer Society. [DOI] [Abstract] [BibTeX]

Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve. History-Based Joins: Semantics, Soundness and Implementation. In Schahram Dustdar, José Luiz Fiadeiro, and Amit P. Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 225-240, September 2006. Springer-Verlag. [DOI] [Abstract] [BibTeX]

Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve. Modelling History-Dependent Business Processes. In Joseph Barjis, Ulrich Ultes-Nitsche, and Juan Carlos Augusto, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006, pages 76-85, May 2006. INSTICC Press. [PDF] [Abstract] [BibTeX]

Kees van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, and Irina A. Lomazova. Checking Properties of Adaptive Workflow Nets. In Proceedings Concurrency Specification and Programming (CS&P'2006, Wandlitz, Germany, September 27-29, 2006), pages 92-103, September 2006. [PDF] [Abstract] [BibTeX]

Kees van Hee, Olivia Oanea, and Natalia Sidorova. Colored Petri Nets to Verify Extended Event-Driven Process Chains. In Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, and Stefano Spaccapietra, editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I, volume 3760 of Lecture Notes in Computer Science, pages 183-201, October 2005. Springer-Verlag. [PDF] [DOI] [Abstract] [BibTeX]

Ferucio Laurentiu Tiplea and Olivia Oanea. Model Checking Linear for Time $\mu$-Calculus for Extended Petri Nets. In Tudor Jebelean and Viorel Negru, editors, 5th International Workshop Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2003, Timisoara (Romania), Oct 1-4, 2003, pages 297-310, October 2003. [BibTeX]

Roxana Melinte, Olivia Oanea, Ioana Olga, and Ferucio Laurentiu Tiplea. The Home Marking Problem and Some Related Concepts. In Jörg Desel and Mathias Weske, editors, Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam, volume P-21 of Lecture Notes in Informatics (LNI), pages 104-115, October 2002. GI. [PDF] [BibTeX]

Technische Berichte / Technical Reports

Kees van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve. Nested Nets for Adaptive Systems. Computer Science Report 06/02, Eindhoven University of Technology, Eindhoven, The Netherlands, 2006. [PDF] [Abstract] [BibTeX]

Kees van Hee, Olivia Oanea, Natalia Sidorova, and Marc Voorhoeve. Verifying Generalized Soundness for Workflow Nets. Computer Science Report 06/08, Eindhoven University of Technology, Eindhoven, The Netherlands, 2006. [PDF] [Abstract] [BibTeX]

Roxana Melinte, Olivia Oanea, Ioana Olga, and Ferucio Laurentiu Tiplea. The Home Marking Problem and Some Related Concepts. Technical report TR 02-02, University ``A.I.Cuza'' of Ia\csi, Faculty of Computer Science, Ia\csi, Romania, February 2002. [POSTSCRIPT] [Abstract] [BibTeX]

Olivia Oanea. Decidability and Complexity of Petri Net Problems. Technical report TR 02-04, University ``A.I.Cuza'' of Ia\csi, Faculty of Computer Science, Ia\csi, Romania, September 2002. [POSTSCRIPT] [Abstract] [BibTeX]

Abschlüsse / Theses

Olivia Oanea. Verification of soundness and other properties of business processes. PhD thesis, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, December 2007. [PDF] [BibTeX]

Olivia Oanea. Model Checking Petri Nets. Master thesis, University ``A.I.Cuza'' of Ia\csi, Faculty of Computer Science, Ia\csi, Romania, June 2003. [BibTeX]

Olivia Oanea. Decidability and Complexity of Petri Net Problems. Diploma thesis, University ``A.I.Cuza'' of Ia\csi, Faculty of Computer Science, Ia\csi, Romania, September 2002. [BibTeX]