Contact Info

LOOSE Research Group
Department of Computing
Politehnica University of Timisoara
Bd. V. Parvan nr. 2
RO-300223 Timisoara, ROMANIA
Office: B514
Phone: +40-25A6-403262
E-mail: mihai@cs.upt.ro
Twitter: mbalint | Facebook: balint.mihai

News and fun stuff
* Did you know that there is a linux distribution with many famous specification and verification tools conveniently installed? Check out VerifyThus.
* I started a useful color project

Mihai Balint

PhD Student.
Advisors: Asoc. prof. Marius Minea and Prof. Horia Ciocarlie

Research

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.

Tools

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)

Research Projects

Continuos Quality Evaluation and Restructuring of Software (past)
Network of Reengineering Expertise (past)

Publications

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 Enhancing the Formal Specifications of Object Oriented Type Hierarchies 2011. To Appear.
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

Negative Results

Under construction.

Other Activities

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

Teaching

Foundations of Software Engineering (2009, part RO, part EN)
Software Verification and Validation (2008, 2009, RO-only)

Education

since Oct.2008 - PhD Student,
2006 - Graduated Dipl. Ing. Software Engineering

Funding

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.