Papers (2002-2004)


Automated Reasoning
  1. Adrian Craciun and Bruno Buchberger. Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. In: Fairouz Kamareddine (ed.), Proc. of the Mathematical Knowledge Management Workshop, Edinburgh, 2003. Electronic Notes on Theoretical Computer Science, volume dedicated to the MKM 03 Symposium, Elsevier, ISBN 044451290X.
  2. Adrian Craciun and Bruno Buchberger. The Lazy Thinking Paradigm: Top-Down Theory Exploration using Theorema. Poster at the Calculemus Midterm Review Meeting, University of Saarlandes, Saarbruecken, Germany. March 2003.
  3. Adrian Craciun and Bruno Buchberger. Functional Program Veri cation with Theorema. Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach – CAVIS03, Workshop, e-Austria Institute, Timisoara, February 2003.
  4. Bruno Buchberger. Algorithm Invention and Verification by Lazy Thinking. Annals of West University on Timisoara, vol. XLI, 2003, ISSN 1224-970X, pp. 5-17.
  5. Bruno Buchberger. Algorithm Retrieval: Concept Clarification and Case Study in Theorema. Technical report, Johannes Kepler University, SFB Report 03-49 October, 2003.
  6. Laura Kovacs and Tudor Jebelean. Practical Aspects of Imperative Program Verification using Theorema In V. Negru, T. Jebelean, editors, Symbolic and Numeric Algorithms for Scientific Computing, Proceedings of the SYNASC03 Workshop, Timisoara, Romania, October 2003. ISBN 973-661-104-3.
  7. Laura Kovacs and Nikolaj Popov and Tudor Jebelean. Verification of Imperative Programs in Theorema. In Proceedings of 1st South-East European Workshop in Formal Methods (SEEFM03), Thessaloniki, Greece, November 2003.
  8. Laura Kovacs and Tudor Jebelean. Generation of Invariants in Theorema. In Nicolae Boja, editor, Proceedings of the 10th International Symphosium of Mathematics and its Application, “Politehnica” University of Timisoara, Romania. November 2003.
  9. Laura Kovacs. Program Verification Using Hoare Logic. Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach – CAVIS03, Workshop, e-Austria Institute, Timisoara, February 2003.
  10. Nikolaj Popov and Tudor Jebelean. A Practical Approach to Verification of Recursive Programs in Theorema. In V. Negru, T. Jebelean, editors, Symbolic and Numeric Algorithms for Scientific Computing, Proceedings of the SYNASC03 Workshop, Timisoara, Romania, October 2003. ISBN 973-661-104-3.
  11. Nikolaj Popov. Verification Using Weakest Precondition Strategy. Proceedings of Computer Aided Veri cation of Information Systems: A Practical Industry-Oriented Approach – CAVIS03, Workshop, e-Austria Institute, Timisoara, February 2003.
  12. Nikolaj Popov. Operators in Recursion Theory. Technical report, Johannes Kepler University, RISC Report 03-06 October, 2003.
  13. Tudor Jebelean. Imperative Program Verification with Theorema. Proceedings of Computer Aided Verification of Information Systems: A Practical Industry-Oriented Approach – CAVIS03, Workshop, e-Austria Institute, Timisoara, February 2003.
Artificial Intelligence
  1. C. Jichici, V. Negru, D. Pop, C. Sandru, E-learning content aggregation based on ontologies and learning objects quality, Annals of West University on Timisoara, vol. XLI, 2003, ISSN 1224-970X, pp. 205-220.
  2. C. Sandru, V. Negru, D. Pop, A multi-agent approach to a sales optimization application, CSCS14, Bucharest, July 2003, Multi-agent systems and their applications workshop, published in proceedings
  3. C. Sandru, V. Negru, Reasons to Extend the Unified Problem-solving Method Development Language, 1st Romanian – Hungarian Joint Symposium on Applied Computational Intelligence, Timisoara 2004
  4. D. Pop, V. Negru, An Extensible Environment for Expert System Development, KES2003, Oxford, September 2003, published in Lecture Notes in Arti cial Intelligence series, LNCS/LNAI 2773, Springer Verlag, 2003, pp 1016 – 1022, eds: V. Palade, R. J. Howlett, L. C. Jain
  5. D. Pop, V. Negru, Towards a knowledge integration system, published in Annals of the University of Timisoara, Mathematical and Computer Science series, vol. XL, nr. 2, 2002, pp. 213-228.
  6. D. Pop, Viorel Negru, Debugging and Veri cation of Expert Systems, IeAT Technical Report, 2004
Dynamical system, control and stability
  1. Bonchis C., Dubu D., Maruster St., On the asynchronous iterative algorithms, Procs. CAVIS, February 2004, 69-72
  2. Cicortas A., Incident and intervention solved by agents in urban transport modelling, Procs. Int.Symp. “Specialization Development & Integration”, Nov. 14-16, Cluj-Napoca, pp. 428-436
  3. Cicortas A., Client server model in multi-agent systems used in manufacturing. Procs of 5th Conference of Technical Informatics CONTI 2003, pp. 56-60.
  4. Maruster, St., On the stability of discrete time dynamical systems. Procs. CAVIS, February 2004, 56-61
  5. Maruster St, On the projection methods for convex feasibility problems. Annals of West University on Timisoara, vol. XLI, 2003, ISSN 1224-970X, pp. 192-196
  6. Maruster St, Maruster L, Nanau S., Discovering Process Models from Empirical Data, Technical Report IeAT, 2003
  7. Maruster St, Experiments on the Local Load Balancing Algorithms, Technical Report IeAT, 2004
Formal verification, security and embedded systems
  1. B.Genest, M.Minea, A.Muscholl, D.Peled. Specifying and verifying partial order properties using template MSCs. Proceedings of FOSSACS 2004, LNCS 2987, pp. 195-210, Springer, 2004
  2. Calin Jebelean, Verification of communication protocols in SDL, CaVIS workshop, Institute e-Austria Timisoara, February 2003.
  3. Cornel Izbasa, A language for describing formal analyses, CaVIS workshop, Institute e-Austria Timisoara, February 2003.
  4. Cornel Izbasa, Buffer overflows: attacks and protections, CaVIS workshop, Institute e-Austria Timisoara, February 2004.
  5. M. Minea, C. Izbasa, C. Jebelean. Experience with formal verification of SDL protocols. Computing, International Scientific Journal, ISSN 1727-6209, vol. 2(3), December 2003.
  6. M. Minea. Formal verification: from challenges to solutions. CaVIS workshop, Institute e-Austria Timisoara, February 2003.
  7. M. Minea. Software verification with predicate abstraction. CaVIS workshop, Institute e-Austria Timisoara, February 2003
  8. M. Minea. A priori task scheduling maximizing expected utility. CaVIS workshop, Institute e-Austria Timisoara, February 2004.
Parallel and distributed computing
  1. C. Badica, D. Petcu, Parallel state space exploration and partial order reduction for model based diagnosis of static systems, CaVIS 2004: Computer Aided Verification of Information Systems, Timisoara, February 2004, Extended Abstract, 40-43
  2. C.Popa, D. Petcu, M.Petcu, On Kovarik’s Orthogonalization Algorithm without Matrix Inversion, accepted to CONTI 2004, May, Romania.
  3. D. Dubu, D. Petcu, Augmenting computer algebra systems through grid, CaVIS 2004: Computer Aided Verfication of Information Systems, Timisoara, February 2004, Extended Abstract, 36-39
  4. D.Petcu, D.Vizman, J.Friedrich, M.Popescu, Crystal Growth Simulation on Clusters, Proc. of HPC2003: High Performance Computing Symposium 2003, ed. I. Banicescu, March 30-April 3, Orlando, Florida, Simulation Councils Inc. San Diego (ISBN 1-56555- 264-4), 2003, 41-46
  5. D.Petcu, Parallel explicit-state reachability analysis and state space construction, Proceedings of Second International Symposium on Parallel and Distributed Computing, ISPDC 2003, 13-14 October 2003, Ljubljana, IEEE Computer Society Press, Los Alamitos (ISBN 0-7695-2069-3), 207-214.
  6. D.Petcu,D.Dubu, Parallel state construction on a cluster, Proceedings CSCS-14, 14th International Conference on Control Systems and Computer Science, 2-5 July, 2003, Editura Politehnica Press, ISBN 973-8449-18-9, 192-198.
  7. D.Petcu,D.Zaharie, Parallel implementation of multi-population differential evolution, CIPC 2003, Concurrent Information Processing and Computing, Nato Advanced Research Workshop, Sinaia, July 2003, eds. D. Grigoras et al, A.I.Cuza University Press, 262-269.
  8. D.Petcu, D.Dubu, Load Balancing in Parallel State Space Exploration, Annals of West University on Timisoara, vol. XLI, 2003, ISSN 1224-970X, pp. 130-145.
  9. D.Petcu, A.Oprean, Constructing a grid portal, Proceedings SYNASC03, 5th International Workshop Timisoara, October 1-4, 2003 eds. D.Petcu, V.Negru, D.Zaharie, T.Jebelean, Ed.Mirton, ISBN 973-661-104-3, Timisoara, 2003, 324- 328
  10. D. Petcu, D. Dubu, Parallel and distributed computing in model checking, CaVIS 2003: Computer Aided Verfication of Information Systems, Timisoara, February 2003, Extended Abstract, 47-50
  11. D. Petcu, D.Zaharie, On applying random and genetic search in model checking, CaVIS 2004: Computer Aided Verification of Information Systems, Timisoara, February 2004, Extended Abstract, 62-65
  12. D.Petcu, Speedup in solving differential equations on clusters of workstations, Dagstuhl Seminar nr. 03211, May 18-23 2003, to be published in IJPDEC.
  13. D.Petcu, D.Dubu, M.Paprzycki, Towards a Grid-aware Computer Algebra System, accepted for ICCS 2004, June, Poland, LNCS 3038, eds. M.Bubak, J.Dongarra, 499-502.
  14. D.Petcu, D.Dubu, M.Paprzycki, Extending Maple to the Grid: Design and Implementation, submitted to ISPDC 2004, July, Ireland, to appear in IEEE Press
  15. D.Petcu, D.Dubu, An extension of Maple for grid and cluster computing, accepted for ICCC 2004, May, Romania.
  16. D.Petcu, Building a Computational Grid: Design Issues, submitted for ROSYCS 2004, June, Romania.
  17. D.Zaharie, D.Petcu, Adaptive Pareto Differential Evolution and its Parallelization, PPAM 2003, September 2003, Czestochowa, in print in LNCS 3019.
Software engineering
  1. 1st Workshop on Computer Aided Verification of Information Systems (CAVIS 2003), Institute e-Austria Timisoara, pag. 33 – 36, 2003
  2. Adrian Trifu, Iulian Dragos, Strategy-Based Elimination of Design Flaws in Object- Oriented Systems. In Proceedings of the 4th Workshop on Object-Oriented Reengineering, in Conjunction with ECOOP 2003, S. Demeyer, S. Ducasse, and K. Mens, Eds., pp. 55-61; Abstract in also 8th ECOOP Workshop Reader, Springer Verlag, 2003.
  3. Cristina Marinescu, Radu Marinescu, Tudor Girba, A Dedicated Language for Object- Oriented Design Analyses. In Proceedings of the 2nd Workshop on Computer Aided Verification of Information Systems (CAVIS 2004), Institute e-Austria Timisoara, pag. 8 – 11, 2004
  4. Daniel Ratiu, Stephane Ducasse, Tudor Girba, Radu Marinescu, Using History Information to Improve Design Flaws Detection. Proceedings of the 8th European Conference on Software Maintenance and Reengineering (CSMR 2004), Editors: C. Riva and G. Canfora. IEEE Computer Society Press, ISBN 0-7695-2107-X, pag. 223-232, 2004
  5. Daniel Ratiu, Time-Based Detection Strategies. Editors: Dana Petcu, Viorel Negru, Dana Zaharie, Tudor Jebelean. Proceedings of 5th International Worhshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC03), Mirton Press, ISBN 973-661-104-3, pag. 333 – 335, 2003
  6. Daniel Ratiu, Stephane Ducasse, Tudor Girba, Radu Marinescu, Evolution-Enriched Detection of God Classes. Proceedings of the 2ndWorkshop on Computer Aided Verification of Information Systems (CAVIS 2004), Institute e-Austria Timisoara, pag. 3 – 7 2004.
  7. Gabriel Erzse, Mircea Lungu, Optimizing PRODEOOS, a Tool for Detecting Design Problems. In Proceedings of 5th International Worhshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC03), Mirton Press, ISBN 973-661-104-3, pag. 315 – 316, 2003
  8. Iulian Dragos, Automating Design Flaw Correction in Object-Oriented Systems. Editors: Dana Petcu, Viorel Negru, Dana Zaharie, Tudor Jebelean. Proceedings of 5th International Worhshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC03), Mirton Press, ISBN 973-661-104-3, pag. 311 – 314, 2003
  9. Petru Mihancea, Radu Marinescu, Improving the Automatic Detection of Design Flaws in Object-Oriented Software Systems. In Proceedings of the 2nd Workshop on Computer Aided Verification of Information Systems (CAVIS 2004), Institute e-Austria Timisoara, pag. 12 – 15, 2004
  10. Radu Marinescu, Towards an Automated Approach for Quality Improvement in Object- Oriented Design. In Proceedings of the
  11. Radu Marinescu, Quantifying the Quality of Object-Oriented Design. ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2004, ACM), Vancouver, Canada – 16 pages, 2004
  12. Radu Marinescu, Detection Strategies: Metrics-Based Rules for Detecting Design Flaws. Submitted to the IEEE International Conference on Software Maintenance (ICSM 2004, IEEE), Chicago, USA – 11 pages, 2004
  13. Radu Marinescu, Object-Oriented Design in Practice.Could/Should We Do Better? In Proceedings of the 1st Workshop on Computer Aided Veri cation of Information Systems (CAVIS 2003), Institute e-Austria Timisoara, pag. 9-11, 2003
  14. Radu Marinescu, Daniel Ratiu, Detection of Design Problems in an Industrial Environment. Editors: Dana Petcu, Viorel Negru, Dana Zaharie, Tudor Jebelean. Proceedings of 5th International Worhshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC03), Mirton Press, ISBN 973-661-104-3, pag. 321 – 323, 2003