Papers (2004-2006)


Artificial Intelligence

Proceedings papers

 

  1. C. Sandru, V. Negru — MATOPS – Managing problem solving tasks in a multi-agent environment, 6th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2004, September 26 – 30, Timisoara, published in proceedings, pp 391 – 399.
  2. C. Sandru, Viorel Negru, Validating UPML Concepts in a Multi-Agent Architecture, The Agent Days, Krakow, Poland, 09 – 10 June 2004, published in Schedae Informaticae, 2005.
  3. D. Pop, V. Negru, C. Jichici – A combinative method for decision tree construction, 7th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2005, September 25 – 29, Timisoara, extended and revised version published in IEEE Press, December 2005, ISBN 0-7695-2453-2, pp 139 – 146.
  4. D. Zaharie, D. Petcu, Communications Strategies in Distributed Evolutionary Algorithms for Multi-objective Optimization, in Procs. 7th International Conference on Technical Informatics – CONTI2006, eds. O. Prostean, et al, Ed. Politehnica, 2006, vol. 1: Automation and Applied Informatics, 151-156
  5. V. Negru, C. Sandru, D. Pop – A Multi-Agent Problem Solving Architecture Based on UPML, Proceedings of te IASTED International Conference on Artificial Intelligence and Applications, February 14 – 16, 2005, Innsbruck, Austria, editor: M. H. Hamza, Acta Press, ISSN 1027-2666, pp 597 – 602.

Technical reports

 

  1. C. Sandru, Viorel Negru, Daniel Pop – A Multi-agent Approach to a Sales Optimization Application, IeAT report, 04-01 – CAVIS 2004
  2. Daniel Pop, Viorel Negru – Debugging and Verification of Expert Systems, IeAT report, 04-08, 2004

Software

 

  1. CCDE algorithm (Clustering with Crowding-based Differential Evolution)
  2. ESC – Expert System Creator http://web.info.uvt.ro/~danielpop/esc/
  3. MATOPS – Multi-agent and task-oriented system based on UPML.

PhD Thesis

 

D. Pop – Intelligent systems for knowledge modeling and mining, 2006

Formal verification methods for safety and security

Proceeding papers

 

  1. D. Beauquier, M. Duflot, M. Minea, A probabilistic property-specific approach to information flow, Proc. Mathematical Methods, Models and Architectures for Computer Networks Security, LNCS vol. 3685, pp. 206–220, Springer, 2005
  2. J. Elmquist, S. Nadjm-Tehrani, M. Minea. Safety Interfaces for Component-Based Systems. Proc. International Conference on Computer Safety, Reliability and Security, LNCS vol. 3688, pp. 246–260, Springer, 2005

Editors

 

  1. E. Clarke, M. Minea, F.L. Tiplea. Verification of Infinite-State Systems with Applications to Security, IOS Press, 2006

Participations at scientific events

 

  1. International Conference on Conference on Computer Safety, Reliability and Security (SAFECOMP), Fredikstad, Norway, sept. 2005
  2. International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security (MMM-ACNS), St. Petersburg, Russia, sept. 2005
  3. Verifying Optimizing Compilers, Dagstuhl Seminar, aug. 2005
  4. Workshop on Distributed Embedded Systems, Lorentz Center, Leiden, nov. 2005
Image processing

Proceeding papers

 

  1. Dan Ciresan, Dan Pescaru, Using Character Moment Based Invariant Features to Improve off-line Handwriting Recognition, DAS 2006 Suceava.
  2. Dan Ciresan, Dana Damian, Preserving Topological Information in the Windowed Hough Transform for Rectangle Extraction, DAGM 2006 Berlin.

Software

 

  1. C++ modules for image processing from NIST database and moment extraction
  2. GRE – C++ modules for extracting geometrical characteristics.
  3. REX – Rectangle EXtraction (in C#)
Mathematical knowledge management

Journal publication

 

  1. B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic, pp. -. 2005. ISSN 1570-8683. To appear.

Technical reports

 

  1. A. Craciun, An Introduction to the SysteMaThEx project, IeAT report no. 03-05, 2005.

Talks:

 

  1. Adrian Craciun, Algorithm Synthesis by Lazy Thinking: Case Study Gröbner Bases, Demo, Omega-Theorema-Ultra Workshop, November 14-15th 2005 Saarland University, Germany.
  2. Adrian Craciun, An Implementation of Groebner Synthesis in Theorema, Special Semester on Groebner Bases and Related Methods, Workshop C: Formal Groebner Bases Theory, Linz, Austria, March 6, 2006.
  3. Madalina Hodorog, Diana Pop, Knowledge Based Systematic Exploration of Mathematical Theories, Case Studies: Natural Numbers. Computer Science Department Seminar, West University of Timisoara, March 29, 2006.

Participations at scientific events

 

  1. Omega-Theorema-Ultra Workshop, November 14-15th 2005 Saarland University, Germany.
  2. Special Semester on Groebner Bases and Related Methods, Workshop C: Formal Groebner Bases Theory, Linz, Austria, March 6-10, 2006.
  3. SYNASC 2005, 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 25 – 29, 2005
Membrane computing

Journal papers

 

  1. Alhazov, C. Bonchis, G. Ciobanu, C. Izbasa, Encodings and Arithmetic Operations in Membrane Computing, Journal of Automata, Languages and Combinatorics, 2006
  2. G. Ciobanu, V.M.Gontineac. An Automata Description of the Genetic Message Translation. Fundamenta Informaticae vol.64, 93-107, 2005.
  3. G. Ciobanu, Gh. Paun, Gh. Stefanescu. P Transducers. New Generation Computing, vol.23, Springer, 2005.
  4. G. Ciobanu, Gh.Paun, M.J.Perez-Jimenez (Eds.): Applications of Membrane Computing, Natural Computing Series, Springer, 2005.

Proceeding papers

 

  1. C.Bonchis, C.Izbasa, D.Petcu, G.Ciobanu. WebPS: A Web-based P system simulator. In Proceedings 3rd Brainstorming Week on Membrane Computing, RGNC Report 01/2005, Sevilla University, 63-72, 2005
  2. C. Bonchis, G.Ciobanu, C. Izbasa, D. Petcu. A Web-based P systems simulator and its parallelization. In C.Calude et al. (Eds.): Unconventional Computing, LNCS vol.3699, Springer, 58-69, 2005.
  3. C. Bonchis, G. Ciobanu, C. Izbasa. Encodings and Arithmetic Operations in Membrane Computing, TAMC2006, Bijing, China (accepted paper) 2006
  4. D.Besozzi, G.Ciobanu. A P System Description of the Sodium-Potassium Pump. In G.Mauri, Gh.Paun, M.J.Perez-Jimenez, G.Rozenberg, A.Salomaa (Eds.): Membrane Computing WMC5, Lecture Notes in Computer Science 3365, Springer, 211-223, 2004.
  5. G.Ciobanu, W.Guo. P Systems Running on a Cluster of Computers, In Gh.Paun, G.Rozenberg, A.Salomaa (Eds.): Workshop on Membrane Computing, LNCS 2933, Springer, 123-139, 2004.
  6. G.Ciobanu. Software verification of biomolecular systems. In Modelling in Molecular Biology, Springer, 40-59, 2004.
  7. G. Ciobanu, M. Gontineac. Mealy membrane automata and P systems complexity. In M.A.Gutierrez-Naranjo, Gh.Paun, M.J.Perez-Jimenez (Eds.): Cellular computing; complexity aspects, Fenix Editora, Sevilla, 149-164, 2005.
  8. G. Ciobanu, D. Petcu. P accelerators: Parallelization of sequential simulators. In M.A.Gutierrez-Naranjo, Gh.Paun, M.J.Perez-Jimenez (Eds.): Cellular computing; complexity aspects, ESF Workshop, Fenix Editora, Sevilla, 177-186, 2005.
  9. O.Andrei, G.Ciobanu, D.Lucanu. Executable Specifications of the P Systems. In G.Mauri, Gh.Paun, M.J.Perez-Jimenez, G.Rozenberg, A.Salomaa (Eds.): Membrane Computing WMC5, Lecture Notes in Computer Science 3365, Springer, 127-146, 2004.

Editor

 

  1. G. Ciobanu, G. Rozenberg (Eds.): Modelling in Molecular Biology, Natural Computing Series, vii+306p., Springer, 2004.

Participations at scientific events

 

  1. 2nd Romanian-Hungarian Joint Symposium on Applied Computational Intelligence, Timisoara, Romania, May 12-14, 2005
  2. 3rd Brainstorming Week on Membrane Computing, Sevilla, Spain, January 31st – February 4th, 2005 (BWMC 2005)
  3. 4th Brainstorming Week on Membrane Computing, Sevilla, Spain, January 30 – February 3, 2006 (BWMC 2006)
  4. UC’05 – Fourth International Conference on Unconventional Computation Organized by the University of Sevilla and CDMTCS – 3 – 7 October 2005, Sevilla, Spain
Numerical Analysis

 

  1. St. Maruster, C. Popirlan, On the Mann iteration and convex feasibility problem, ICCAM (International Conference on Computational and Applied Mathematics), 10.07- 15.06, 2006, Univ. Leuven, Belgium.
  2. St. Maruster, Quasi-nonexpansivity and the convex feasibility problem, Ann. Univ. “A.I.Cuza”, Iasi
  3. St. Maruster, C. Popirlan, Weak and strong convergence of approximated sequences for Quasi-nonexpansive mappings, Tech. Reports, IeAT, no. 6, 2005
  4. C.Bonchis, St. Maruster, Reordering algorithm for preconditioning nonliner problems, Tech. Reports, IeAT, nr.2, 2005.
  5. St. Maruster, Asynchronous iterative algorithms on computational grid, Tech.Reports, IeAT, nr.5, 2005.
  6. St, Maruster, L. Maruster, On the convex feasibility problem, Carpatian J. Math. Vol. 21, No. 1-2 (2005), pp. 83-87.
  7. St. Maruster, Two problems concerning the numerical solution of nonlinear equations, The 20th National Conference SSM, Lugoj, 2005.
  8. St. Maruster, L. Maruster, On the Mann iteration and applications, Proceedings of 26th Inter. Conference Information Technology and Interfaces, Dubrovnoc, Croatia, 2004.
  9. St. Maruster, On the parallel implementation of the Block Gradient Algorithm for nonlinear equations, Proceeding of the 6th Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2004, pp. 242-249
Parallel, distributed and Grid computing

Journal papers

 

  1. D.Petcu, The performance of parallel iterative solvers, Computers & Mathematics with Applications vol. 50, (2005), Pergamon-Elsevier Science, UK, 1179-1189.
  2. D.Petcu, M.Paprycki, D.Dubu, Design and implementation of a grid extension of Maple, Scientific Programming, vol. 13, no. 2, 2005, ISSN 1058-9244, IOS Press, 137-149.
  3. D.Petcu, C.Popa, A new version of Kovarik’s approximate orthogonalization algorithm without matrix inversion, International Journal of Computer Mathematics, vol. 82, no. 10, October 2005, 1235-1246
  4. D. Petcu, D. Dubu, An Extension of Maple for Grid and Cluster Computing, Studies in Informatics and Control, Vol. 14, no. 1 (ISSN 1120-1766), 2005, pp. 31-36
  5. D.Petcu, D.Dubu, Mapping general purpose scientific computing environments onto a computational grid, Analele Universitatii din Timisoara, Seria Matematica-Informatica, vol. XLII, 2004, 6th Int. Symposium: “Symbolic and Numeric Algorithms on Scientific Computing”, SYNASC 04, September 2004, Timisoara, 197-212.
  6. D. Petcu, Challenges concerning symbolic computations on grids, Scalable Computing: Practice and Experience journal, Vol. 6, No. 3
  7. C.Popa, D. Petcu, M. Petcu, On Kovarik’s Orthogonalization Algorithm without Matrix Inversion, Buletinul Stiintific al Universitatii “Politehnica” din Timisoara, Seria Automatica si Calculatoare Periodica Politehnica, Vol.49 (63), 2004, ISSN
  8. 1224-600X, pp. pp. 223-226
  9. D.Petcu, Software issues in solving initial value problems for ordinary differential equations, Creative Mathematics, North University of Baia Mare, vol. 13, 2005, 97-110.
  10. Dana Petcu, Cosmin Bonchis, Cornel Izbasa, Symbolic Computations based on Grid Services, Int. Journal of Computers, Communications and Control, Vol. 1, no. 1, 2006, 44-50.
  11. Dana Petcu, Daniel Vizman and Marcin Paprzycki, Heuristic Load Balancing for CFD Codes Executed in Heterogeneous Computing Environments, Scalable Computing: Practice and Experience, Volume 7, Number 2, 2006, pp. 15–23.

Proceeding papers

 

  1. D.Petcu, D.Dubu, M.Paprzycki, Grid-based parallel Maple, Recent Advances in Parallel Virtual Machine and Message Passing Interface, PVMMPI 2004, Budapest, Hungary, September 19-22, 2004, eds. D. Kranzmuller, P. Kacsuk, J. Dongarra, LNCS 3241, pp. 215-223.
  2. D. Petcu, M. Paprzycki, M. Ganzha, Clustering Multiple and Cooperative Instances of Computational Intensive Software Tools, V. Malyshkin (Ed.): PaCT 2005, LNCS 3606, pp. 452-456, 2005.
  3. D.Petcu, D.Dubu, M. Paprzycki, Extending Maple to the Grid: Design and Implementation, ISPDC 2004, 5-8 July 2004, Cork, IEEE Computer Society Press, Los Alamitos (ISBN 0-7695-2210-6), 209-216.
  4. M.Petcu, D.Petcu, Distributed rule-based system, SOFA 2005, 27-30 August 2005, Szeged, IEEE Computer Society Press, IEEE Hungary Section (ISBN 963 219 001 7), 257-262.
  5. D.Petcu, Parallel Jess, ISPDC 2005, 4-6 July 2005, Lille, IEEE Computer Society Press, Los Alamitos (ISBN 0-7695-2434-6), 307-314.
  6. D.Petcu, Adapting a Partitioning-based Heuristic Load-balancing Algorithm to Heterogeneous Computing Environments, SYNASC 2005, 25-29 September 2005, IEEE Computer Society Press, Los Alamitos (ISBN 0 7695 2453 2), 170-173
  7. D.Petcu, M. Petcu, Distributed Jess on a Condor Pool, Procs. ICCOMP’05, 9th WSEAS International CSCC Multiconference – Computers’05, July 11-16, 2005, Vouliagmeni, Greece, ed. N. E. Mastorakis, K. Passadis, ISBN: 960-8457-29-7, paper 497-315.
  8. G. Ciobanu, D. Petcu, P-accelerators: Parallelization of sequential simulators, in Cellular Computing: complexity aspects, M.A.Gutierrez-Naranjo, Gh.Paun, M.J.Perez-Jimenez (Eds.), ESF PESC Exploratory Workshop, Fenix Editora, Sevilla, 2005, 177-186.
  9. D. Petcu, D. Dubu, An extension of Maple for grid and cluster computing, Procs. of the International Conference on Computers and Communications -ICCC 2004, eds. I.Dzitac,T. Maghiar, C.Popescu, Oradea, Baile Felix SPA, May 27-29 2004 (ISBN 973-613-542-X), Metropolis SRL, Oradea, 355-360
  10. D.Petcu, D.Dubu, Mapping General Purpose Scientific Computing Environments onto a Computational Grid, Proceedings SYNASC04, 6th International Symposium Timisoara, Workshop: Symbolic Computation on Grids, September 26-30, 2004, eds. D.Petcu, V.Negru, D.Zaharie, T.Jebelean, Ed.Mirton, ISBN 973-661-441-7, Timisoara, 2004, 574-585
  11. D.Petcu,D.Zaharie, Parallel implementation of multi-population differential evolution, in Concurrent Information Processing and Computing, eds. Dan Grigoras, Alex Nicolau, IOS Press, vol. 195 NATO Science Series: Computer & Systems Series, May 2005, ISBN 1-58603-502-9, pp. 223-232.
  12. D. Petcu, Building a computational grid: design issues, Analele Stiintifice ale Universitatii “Alexandru Ioan Cuza” din Iasi, Informatica, Tomul XV, 2004, Proceedings of ROSYCS 2004, 21-23 iulie, 139-152.
  13. D.Petcu, Faster Computer Algebra Systems via Parallel and Grid Extensions, Proceedings SACCS04, 8th International Symposium on Automantic Control and Computer Science, October 22-23, 2004, eds. Mitica Crauss, Corneliu Lazar, Ed. Politehnium, ISBN973-621-086-3, Iasi, 2004, 42-45.
  14. D. Petcu, D. Vizman, M. Paprzycki, Porting CFD Codes Towards Grids: A Case Study, R. Wyrzykowski et al. (Eds.): PPAM 2005, LNCS 3911, pp. 817-824, Springer-Verlag, Berlin, Heidelberg, 2006
  15. D.Petcu, C. Bonchis, M. Radu, Applying Task Farming Model over Grids, in Procs.Int. Conf. on Computers, Communications & Control June 1-3, 2006, Baile Felix -Oradea, Romania, eds. I.Dzitac,et al Publisher: Agora University, 382-386.
  16. D.Petcu, Building a Portal for Grid-based Services, in Procs. 7th International Conference on Technical Informatics – CONTI2006, eds. O. Prostean et al, Ed. Politehnica, 2006, vol. 2: Computer and Software Engineering, 143-148
  17. D. Petcu, Improving Computer Algebra Systems by Using Grid Services, in 1st Austrian Grid Symposium, J. Volkert, T. Fahringer, D. Kranzlmuller, W. Schreiner (eds.), Austrian Computer Society, Band 210, ISBN 3-85403-210-2, 2006, 102-110

Books & book chapters

 

  1. D.Petcu, Grid architectures and technologies (in Romanian), Ed. Eubeea, Timisoara, ISBN 973-673-056-7, 2006, 292 pages.
  2. D.Petcu, D.Tepeneu, M.Paprzycki, T.Ida, Symbolic Computations on Grids, invited chapter 6 in the book “Engineering the Grid: status and perspective”, eds. Beniamino di Martino, Jack Dongarra, Adolfy Hoisie, Laurence Yang, and Hans Zima, American Scientific Publishers, ISBN: 1-58883-038-1, 2006, pp. 91-107

Software

 

  1. Maple2g – the Maple wrapper for Grids

Invited talks

 

  1. D.Petcu, D.Tepeneu, M.Paprzycki, T.Mizutani, T.Ida, Survey of Symbolic Computations on the Grid (invited talk), Procs. SET2005, 3rd International Conference: Sciences of Electronic, Technologiesof Information and Telecommunications March 27-31, 2005 – Tunisia.
  2. D.Petcu, Software issues in solving initial value problems for ordinary differential equations, invited lecture 31.01.2005, Pisa, Italy.
  3. D.Petcu, Extending Computer Algebra Systems to the Grids: State-of-the-art, Design and Implementation, invited lecture 28.01.2005, Grid&Agents Workshop, Napoli, Italy.
  4. D.Petcu, Applications of symbolic computations on grids, invited lecture 25.01.2005, Lecce, Italy.
Program verification

Journal Articles

 

  1. L. Kovacs, T. Jebelean. “An Algorithm for Automated Generation of Invariants for Loops with Conditionals”. IEEE Computer Society Order Number P2453, Library of Congress Number 2005930139, pp. 245-249, ISBN 0-7695-2453-2. 2005.
  2. L. Kovacs, N. Popov, T. Jebelean. “Verification Environment in Theorema”. Annals of Mathematics, Computing and Teleinformatics (AMCT) 1(2), pp. 27-34. 2005. ISSN 1109-9305.
  3. T. Jebelean, L. Szakacs. “Functional-Based Synthesis of Systolic Online Multipliers”. IEEE Computer Society Order Number P2453, Library of Congress Number 2005930139, pp.267-275, ISBN 0-7695-2453-2. 2005.

Proceeding Papers

 

  1. L. Kovacs, T. Jebelean. “Automated Generation of Loop Invariants by Recurrence Solving in Theorema”. In: Proc. of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04), D. Petcu and V. Negru and D. Zaharie and T. Jebelean (ed.), pp. 451-464. 26-30 September 2004. Mirton Publisher, Timisoara, Romania, ISBN 973-661-441-7.
  2. L. Kovacs, T. Jebelean. “An Algorithm for Automated Generation of Invariants for Loops with Conditionals”. In: Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05), D. Petcu et al (ed.), pp. 16-19. September 25-28, 2005. Department of Computer Science, West University of Timisoara, Romania.
  3. T. Jebelean, L. Kovacs, N. Popov. Experimental Program Verification in the Theorema System. In: Proceedings ISOLA 2004, T. Margaria, B. Steffen (ed.), Proceedings of International Symposium on Leveraging Applications of Formal Methods ISOLA 2004, pp. 92-99. November 2004. Paphos, Cyprus, University of Cyprus.
  4. T. Jebelean, L. Szakacs. “Functional-Based Synthesis of Systolic Online Multipliers”. In: Proceedings of the Computer-Aided Verification on Information Systems Workshop (CAVIS05), 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05), D. Petcu et al (ed.). September 25-28, 2005. Department of Computer Science, West University of Timisoara, Romania.

Papers to appear

 

  1. B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, W. Windsteiger. “Theorema: Towards Computer-Aided Mathematical Theory Exploration”. Journal of Applied Logic, 2005. ISSN 1570-8683.
  2. L. Kovacs, N. Popov, T. Jebelean. “A Verification Environment for Imperative and Functional Programs in the Theorema System”. Proceedings of the 2nd South-East European Workshop on Formal Methods (SEEFM05) – “Practical dimensions: Challenges in the business world”, Satellite Workshop of the 2nd Balkan Conference in Informatics. 18-19 November, 2005, Ohrid, FYR of Macedonia.

Papers in a collection

 

  1. A. Kovacs and L. Kovacs. The Lagrange Interpolation Formula in Determining the Fluid’s Velocity Potential through Profile Grids. Bulletins for Applied and Computer Mathematics, vol. CVIII/2252, pp.126-135, 2005. Technical University of Budapest, PAMM-Centre, ISSN 0133-3526. Proceedings of Pannonian Applied Mathematical Meetings, PC-147/148, Balatonalmadi, Hungary, 26-29 May 2005.
  2. L. Kovacs, T. Jebelean. Automated Generation of Loop Invariants by Recurrence Solving in Theorema. Analele Universitatii din Timisoara, Seria Matematica – Informatica XLII, pp. 151-166. 2004. Mirton Publisher, Timisoara, Romania, ISSN 1224-970X. Special issue on Computer Science – Proceedings of SYNASC’04.
  3. L. Kovacs, T. Jebelean, A. Kovacs. Practical Aspects of Algebraic Invariant Generation for Loops with Conditionals. Bulletins for Applied and Computer Mathematics, vol. CVIII/2251, pp. 116-125, 2005. Technical University of Budapest, PAMM-Centre, ISSN 0133-3526. Proceedings of Pannonian Applied Mathematical Meetings, PC-147/148,Balatonalmadi, Hungary, 26-29 May 2005.

Technical Reports

 

  1. L. Kovacs. “Using Combinatorial and Algebraic Techniques for Automatic Generation of Loop Invariants”. Technical report no. 05-16 in RISC Report Series, University of Linz, Austria. 2005.
  2. N. Popov, T.Jebelean. Verification of Simple Recursive Programs: Sufficient Conditions. Technical report no. 04-06 in RISC Report Series, University of Linz, Austria. 2004.
  3. N. Popov. “Verification of Simple Recursive Programs in Theorema: Completeness of the Method”. Technical report no. 05-06 in RISC Report Series, University of Linz, Austria. 2005.

Participations at scientific events

 

  1. 5th Symposium on Trends in Functional Programming (TFP 04), November 2004. Munich, Germany.
  2. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC04), 26-30 September 2004. Department of Computer Science, West University Timisoara, Romania.
  3. 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05), September 25-29, 2005. Department of Computer Science, West University of Timisoara, Romania.
  4. Dagstuhl Seminar 05311: Verifying Optimizing Compilers. 31 July- 5 August, 2005. Dagstuhl, Germany.
  5. International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004) October 30 – November 2, 2004. University of Cyprus, Paphos, Cyprus.
  6. Invited colloquium talk. July 2004. Department of Mathematical Logic, Faculty of Mathematics and Computer Science, Sofia University, Bulgaria.
  7. Pannonian Applied Mathematical Meetings – PC-147/148, 26-29 May 2005. Balatonalmadi, Hungary.
  8. SFB Cooperation Meeting, December 19, 2005. Johannes Kepler University Linz, Austria.
  9. SFB Statusseminar, March 31 – April 2, 2005. Strobl, Austria.
  10. Theorema-Ultra-Omega’05 Workshop, November 14-15, 2005. Department of Computer Science, University of Saarbruecken, Germany.
Software quality

Books

 

  1. Object-Oriented Metrics in Practice, Lanza, M., Marinescu,R., Ducasse, S. Springer Verlag, ISBN 354-0244-29-8, 2006, Germany.

Proceeding papers

 

  1. Analysis Infrastructure for Quality Assessment of Object-Oriented Design, Cristina Marinescu, Radu Marinescu, Petru F. Mihancea, Daniel Ratiu, Richard Wettel, Proceedings of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004), Timisoara, September 2004.
  2. Archeology of Code Duplication: Recovering Duplication Chains From Small Duplication Fragments. Wettel R, Marinescu R. 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), Timisoara, September 2005, IEEE Computer Society Press.
  3. Detection Strategies: Metrics-Based Rules for Detecting Design Flaws. Radu Marinescu. Proceedings of the 20th IEEE International Conference on Software Maintenance (ICSM 2004), IEEE Computer Society Press, ISBN 0-7695-2213-0, pag. 350 -359.
  4. Diagnosing Design Problems in Object Oriented System, Trifu, A., Marinescu, R., 12th IEEE Working Conference on Reverse Engineering (WCRE 2005), Pittsburgh, USA, IEEE Computer Society Press, 2005.
  5. How Developers Copy, Balint, M., Girba, T., Marinescu,R., 14th IEEE International Conference on Software Comprehension, Athens 14-16 June 2006.
  6. Identification of Design Roles for the Assessment of Design Quality in Enterprise Applications, Cristina Marinescu, 14th IEEE International Conference on Software Comprehension, Athens 14-16 June 2006.
  7. iPlasma: An Integrated Platform for Quality Assessment of Object-Oriented Design, Cristina Marinescu, Radu Marinescu, Petru F. Mihancea, Daniel Ratiu, Richard Wettel, Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), Tool Demonstration Track, Budapest, September 2005.
  8. Measurement and Quality in Object-Oriented Design, Radu Marinescu. Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), Tool Demonstration Track, Budapest, September 2005.
  9. Quantifying the Quality of Object-Oriented Design. Radu Marinescu, Daniel Ratiu. 11th IEEE Working Conference on Reverse Engineering, Delft, IEEE Computer Society Press, ISBN 0-7695-2243-2, pag. 192 -201, 2004.
  10. The LAN-simulation: A Refactoring Teaching Example. Demeyer,S., Rysselberghe,F., Girba,T., Ratzinger,J., Marinescu,R., Mens,T., DuBois,B., Janssens,D., Ducasse,S., Lanza,M., Rieger,M., Gall,H., El-Ramly,M., Proceedings of International Workshop on Principles of Software Evolution (IWPSE 2005), IEEE Computer Society Press, 2005.
  11. Towards a Client Driven Characterization of Class Hierarchies, Petru Florin Mihancea, 14th IEEE International Conference on Software Comprehension, Athens 14-16 June 2006.
  12. Towards the Optimization of Automatic Detection of Design Flaws in Object-Oriented Software Systems, Petru F. Mihancea, Radu Marinescu, Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005). IEEE Computer Society Press, ISBN 0-7695-2304-8, Manchester, March 2005.
  13. Towards a Simplified Implementation of Object-Oriented Design Metrics. Cristina Marinescu, Radu Marinescu, Tudor Girba, 11th IEEE International Software Metrics Symposium (METRICS 2005), IEEE Computer Society Press, ISBN 0-7695-2371-4, 2005.

Software

 

  1. DATES (Design Analysis Tool for Enterprise Systems) is an environment which contains problem detection analyses for distributed enterprise applications. DATES can be used within iPlasma – the framework for quality assurance created within IeAT by the LOOSE Research Group.
  2. DuDe – Duplicate Detector, is a tool integrated in iPlasma which determines the duplicated lines of code within a software application.
  3. iPlasma. To make software maintenance easier, a superior quality of its design and implementation process must be ensured. For this reason, existing software must be supported by automated systems for analysis, diagnose and design improvement, at a high level as well as at a level close to source code. iPlasma is an integrated environment for quality analysis of object oriented software systems that includes support for all the necessary phases of analysis: from model extraction (including scalable parsing for C++ and Java) up to high-level metrics based analysis, or detection of code duplication. iPlasma has three major advantages: extensibility of supported analysis integration with further analysis tools and scalability, as it was used in the past to analyze large-scale projects in the size of millions of code lines (e.g. Eclipse and Mozilla).
  4. McC – is the extractor of the model from C++ object-oriented applications.
  5. MemBrain. MemBrain is an analysis infrastructure that can be used to perform intra procedural data flow analyses on Java programs. MemBrain contains a translator which transforms a Java program into an intermediate representation and a powerful data flow analysis framework that makes the implementation of a concrete analysis very simple.
  6. MEMORIA – a unified meta-model for Java and C++ object-oriented applications.
  7. SAIL – Static Analyses Interrogative Language is used in order to implement in a facile way object-oriented design metrics.

Participations at scientific events

 

  1. 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2004), Timisoara.
  2. 9th European Conference on Software Maintenance and Reengineering, Manchester, March 2005.
  3. 11th IEEE International Software Metrics Symposium (METRICS 2005), Como, 2005.
  4. 11th IEEE Working Conference on Reverse Engineering, Delft, 2004
  5. 21st IEEE International Conference on Software Maintenance (ICSM 2005), Budapest, 2005.
  6. CHOOSE Forum, Berne, April, 2005.