În română
Marius Minea
Associate Professor
Department of Computer and Software Engineering
Politehnica University of Timișoara
Bd. V. Pârvan nr. 2
RO-300223 Timișoara, ROMANIA
Tel/fax: +40-256-403284 / 403214
E-mail: marius@cs.upt.ro
Research interests
Formal verification (model checking)
Software analysis, testing and verification
Modeling and verification of security protocols and services
Component-based modeling and verification
Modeling, design and analysis of embedded systems
Research projects
AVANTSSAR: Automated Validation of Trust and Security of Service-oriented Architectures (EU FP7 project, 2008-2010)
Formal Verification of Object-Oriented Software, COST Action IC0701 (2008-2012)
Rich Models Toolkit, COST Action IC0901 (2009-2013)
CONQUERS: Continuous Quality Evaluaton and Restructuring of Software (Romanian national research grant, 2007-2010)
Practical Formal Verification Using Automated Reasoning and Model Checking (INTAS project, 2006-2009)
ARTIST2/ARTIST Design FP6/FP7 Network of Excellence on Embedded Systems Design
Conferences
ICSM 2010: 26th IEEE International
Conference on Software Maintenance (local chair)
NEW ICTAC 2010:
7th International Colloquium on Theoretical Aspects of Computing (PC member)
FM 2009: 16th International Symposium on Formal Methods (PC member)
SAVCBS 2008: 7th International Workshop on Specification and Verification of Component-Based Systems (PC member)
FACS 2008: 5th International Workshop on Formal Aspects of Component Software (PC member)
FM 2008: 16th International Symposium on Formal Methods (PC member)
ICS 2006: Workshop on Information and Computer Security (PC co-chair)
CSL 2006: 15th Annual Conference on Computer Science Logic (PC member)
VISSAS 2005: NATO Advanced Research Workshop on Verification of Infinite State Systems with Applications to Security (PC member, local chair)
Teaching
Programming Languages
(in Romanian), 1st year, Fall 2009/2010
Computer System Security
(in Romanian), 4th year, Fall 2008/2009
Software Verification and Validation
(in Romanian), 4th year, Fall 2009/2010
Programming Language Design and Analysis
Master, 1st year, Fall 2009/2010
Previous courses
Computer Programming
(in Romanian), 1st year, Spring 2008/2009
Computer Programming 2
(in Romanian), 2nd year, Fall 2005/2006
Computer Usage and Programming
(in Romanian), 1st year, Fall 2004/2005
Formal Verification
6th year (Master), Fall 2008/2009
Formal Verification (in Romanian),
6th year (advanced studies), Fall 2004/2005
Program Analysis (lectures in Romanian),
Spring 2004