Advisors: Asoc. prof. Marius Minea and Prof. Horia Ciocarlie
Intrests / Keywords
Automatic Program Analysis and Abstraction,
Formal Software Specification and Verification,
Software Design, Analysis and Visualization,
Object Oriented Software, Software Engineering.
PhD Keywords: specification inference, model fields, interface specification.
Kaiso model field inference / specification abstraction (TBA).
Timisoara Public Transport Android App to display public transport information on your device
JMondrian visualization framework. Light weight visualizations designed for easy tool integration (inspired by mondrian).
SmallDuDe duplication detector for the MOOSE platform for software analysis (curently maintained by Tudor Girba)
Continuos Quality Evaluation and Restructuring of Software (past)
Network of Reengineering Expertise (past)
Mihai Balint and Marius Minea Automatic Inference of Model Fields and their Representation, The 13th ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP). July 26, 2011, Lancaster UK.
- Mihai Balint. Automatic inference of abstract type behavior, Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Doctoral Symposium Section. 20 - 24 September 2010, Antwerp, Belgium
- Mihai Balint, Petru Mihancea, Radu Marinescu and Michele Lanza. NOREX: Distributed collaborative reengineering. In Proceedings of FAMOOSr (1st Workshop on FAMIX and MOOSE in Reengineering), 2007.
- Mihai Balint, Petru Florin Mihancea, Tudor Girba, and Radu Marinescu. NOREX: A Distributed Reengineering Environment. In Proceedings of International Conference on Software Maintenance (ICSM 2007), p. 523—524, IEEE Computer Society, September 2007. Tool demo.
- Mihai Balint, Tudor Girba, and Radu Marinescu. How Developers Copy. In Proceedings of International Conference on Program Comprehension (ICPC 2006), p. 56—65, 2006
Helped with the local organization of
Participant in the 40th Marktoberdorf Summer School (2010) on "Software and Systems Safety: Specification and Verification"
Erasmus student during winter 2005 to SCG, Bern University, Switzerland
Foundations of Software Engineering (2009, part RO, part EN)
Software Verification and Validation (2008, 2009, RO-only)
since Oct.2008 - PhD Student,
2006 - Graduated Dipl. Ing. Software Engineering
My research is partially supported by the Romanian National Science Foundation
(CNCSIS) under project ``Methods and Tools for Continuous Quality Assurance
in Complex Software Systems'' (PNII-IDEI 357/1.10.2007) and by the strategic
grant POSDRU 6/1.5/S/13, (2008) of the Ministry of Labour, Family and Social
Protection, Romania, co-financed by the European Social Fund - Investing in People.
Page is under development.