1 Papers of the group AUTOMATED REASONING

1. Bruno Buchberger. Algorithm Invention and Verification by Lazy Thinking. Annals of West University on Timisoara, vol. XLI, 2003, ISSN 1224-970X, pp. 5-17.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. Bruno Buchberger. Algorithm Retrieval: Concept Clarification and Case Study in Theorema. Technical report, Johannes Kepler University, SFB Report 03-49 October, 2003.
12. Nikolaj Popov. Operators in Recursion Theory. Technical report, Johannes Kepler University, RISC Report 03-06 October, 2003.
13. 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.

2 Papers of the group FORMAL VERIFICATION, SECURITY AND EMBEDDED SYSTEMS

1. M. Minea. Formal verification: from challenges to solutions. CaVIS workshop, Institute e-Austria Timisoara, February 2003.
2. M. Minea. Software verification with predicate abstraction. CaVIS workshop, Institute e-Austria Timisoara, February 2003.
3. 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.
4. M. Minea. A priori task scheduling maximizing expected utility. CaVIS workshop, Institute e-Austria Timisoara, February 2004.
5. 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
6. Calin Jebelean, Verification of communication protocols in SDL, CaVIS workshop, Institute e-Austria Timisoara, February 2003.
7. Cornel Izbasa, A language for describing formal analyses, CaVIS workshop, Institute e-Austria Timisoara, February 2003.
8. Cornel Izbasa, Buffer overflows: attacks and protections, CaVIS workshop, Institute e-Austria Timisoara, February 2004.


3 Papers of the group SOFTWARE ENGINEERING

1. 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
2. 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
3. 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
4. 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.
5. 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
6. 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
7. 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.
8. Radu Marinescu, Towards an Automated Approach for Quality Improvement in Object- Oriented Design. In Proceedings of the 1st Workshop on Computer Aided Verification of Information Systems (CAVIS 2003), Institute e-Austria Timisoara, pag. 33 - 36, 2003
9. 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
10. 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
11. 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
12. 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
13. 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

4 Papers of the group PARALLEL AND DISTRIBUTED COMPUTING

1. 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
2. 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.
3. D.Zaharie, D.Petcu, Adaptive Pareto Differential Evolution and its Parallelization, PPAM 2003, September 2003, Czestochowa, in print in LNCS 3019.
4. 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.
5. 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.
6. 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.
7. 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
8. 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
9. 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
10. 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
11. 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
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. C.Popa, D. Petcu, M.Petcu, On Kovarik's Orthogonalization Algorithm without Matrix Inversion, accepted to CONTI 2004, May, Romania.
16. D.Petcu, D.Dubu, An extension of Maple for grid and cluster computing, accepted for ICCC 2004, May, Romania.
17. D.Petcu, Building a Computational Grid: Design Issues, submitted for ROSYCS 2004, June, Romania.


5 Papers of the group DYNAMICAL SYSTEMS, CONTROL AND STABILITY

1. Maruster, St., On the stability of discrete time dynamical systems. Procs. CAVIS, February 2004, 56-61
2. Bonchis C., Dubu D., Maruster St., On the asynchronous iterative algorithms, Procs. CAVIS, February 2004, 69-72
3. 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
4. Maruster St, Maruster L, Nanau S., Discovering Process Models from Empirical Data, Technical Report IeAT, 2003
5. Maruster St, Experiments on the Local Load Balancing Algorithms, Technical Report IeAT, 2004
6. 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
7. Cicortas A., Client server model in multi-agent systems used in manufacturing. Procs of 5th Conference of Technical Informatics CONTI 2003, pp. 56-60.

6 Papers of the group ARTIFICIAL INTELLIGENCE

1. 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
2. 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.
3. 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
4. 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.
5. 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
6. Daniel Pop, Viorel Negru, Debugging and Verication of Expert Systems, IeAT Technical Report, 2004