Î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
Office: B531
Phone: +40-256-403284
E-mail: marius@cs.upt.ro
Research interests
Formal verification (model checking)
Software analysis, testing and verification
Modeling, design and analysis of embedded systems
Modeling and verification of security protocols and services
Component-based modeling and verification
Research projects
SPaCIoS: Secure Provision and Consumption in the Internet of Services (EU FP7 project, 2011-2013)
Rich-Model Toolkit, COST Action IC0901 (2009-2013)
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)
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
Teaching
new Code: analysis, bugs, and security (supported by Bitdefender, optional course)
Computer Programming
1st year, Fall 2017
Logic and Discrete Structures
(in Romanian), 1st year, Fall 2017
Programming Language Design and Analysis
Master (1st year), Fall 2017
Computer Security
, 4th year, Fall 2017
Software Verification and Validation
, 4th year, Fall 2017
Previous classes
Programming Languages,
(in Romanian), 1st year, Fall 2012
Fundamentals of Computer Science (1st year, optional)
Formal Verification
6th year (Master), Fall 2008
Computer Programming
(in Romanian), 1st year, Spring 2009
Computer Programming 2
(in Romanian), 2nd year, Fall 2005
Computer Usage and Programming
(in Romanian), 1st year, Fall 2004
Formal Verification (in Romanian),
6th year (advanced studies), Fall 2004
Program Analysis (lectures in Romanian),
Spring 2004
Conferences
SEC@SAC 2017: The Security Track at the ACM Symposium on Applied Computing (PC member)
MoDeVVa 2016: 12th Workshop on Model-Driven Engineering, Verification and Validation (PC member)
SEC@SAC 2016: The Security Track at the ACM Symposium on Applied Computing (PC member)
MoDeVVa 2015: 12th Workshop on Model-Driven Engineering, Verification and Validation (PC member)
LPAR 2015 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (PC member)
SEC@SAC 2015: The Security Track at the ACM Symposium on Applied Computing (PC member)
MoDeVVa 2014: 11th Workshop on Model-Driven Engineering, Verification and Validation (PC member)
SCAM 2014: 14th IEEE International Working Conference on Source Code Analysis and Manipulation (PC member)
ICTAC 2014:
11th International Colloquium on Theoretical Aspects of Computing (PC member)
PAS 2013: Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation (invited speaker)
SEC@SAC 2014: The Security Track at the ACM Symposium on Applied Computing (PC member)
MoDeVVa 2013: 10th Workshop on Model-Driven Engineering, Verification and Validation (PC member)
SCAM 2013: 13th IEEE International Working Conference on Source Code Analysis and Manipulation (PC member)
SEC@SAC 2013: The Security Track at the ACM Symposium on Applied Computing (PC member)
SEFM 2012: 10th International Conference on Software Engineering and Formal Methods (PC member)
SCAM 2012: 12th IEEE International Working Conference on Source Code Analysis and Manipulation (PC member)
CRiSIS 2011: 6th International Conference on Risks and Security of Internet and Systems (General chair)
SCAM 2011: 11th IEEE International Working Conference on Source Code Analysis and Manipulation (PC member)
ICTAC 2011:
8th International Colloquium on Theoretical Aspects of Computing (PC member)
CRiSIS 2010: 5th International Conference on Risks and Security of Internet and Systems (PC co-chair)
ICSM 2010: 26th IEEE International Conference on Software Maintenance (local chair)
SCAM 2010: 10th IEEE International Working Conference on Source Code Analysis and Manipulation (PC member)
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)