English Version
Marius Minea
Conferențiar dr. ing.
Departamentul Calculatoare
Universitatea Politehnica Timișoara
Bd. V. Pârvan nr. 2, birou B531
RO-300223 Timișoara, ROMANIA
Tel/fax: +40-256-403284 / 403214
E-mail: marius@cs.upt.ro
Cursuri
nou Code: analysis, bugs, and security (curs facultativ, cu sprijinul Bitdefender)
Logică și structuri discrete
curs anul I, sem. I 2017/2018
Programarea calculatoarelor (lb. engleză),
curs anul I, sem. I 2017/2018
Proiectarea și analiza limbajelor de
programare (lb. engleză), master (an 1), sem. I 2017/2018
Securitatea sistemelor de calcul (lb. engleză),
an IV, sem. I 2017/2018
Verificare și validare software (lb. engleă),
an IV, sem. I 2017/2018
Cursuri anterioare
Fundamente de informatică
(curs facultativ, anul I)
Limbaje de programare, an I ETC seria B, sem. I 2012/2013
Programarea calculatoarelor, an I ETC seria A, sem. I 2009/2010
Programarea calculatoarelor 2,
an II C, sem. I 2005/2006
Utilizarea și programarea calculatoarelor,
an I ETC seria A, sem. I 2004/2005
Verificare formala (lb. engleza),
an VI (master) sem. I 2008/2009
Verificare formală, an
VI, sem. I 2005/06)
Programare (facultativa)
Analiza programelor (curs facultativ, 2004)
Domenii de cercetare
Metode algoritmice de verificare formală
Analiză, verificare și testare software
Verificarea protocoalelor de securitate
Modelarea, analiza și verificarea sistemelor timp-real și integrate
Proiecte de cercetare
SPaCIoS: Secure Provision and Consumption in the Internet of Services (proiect PC7, 2011-2013)
Rich-Model Toolkit, acțiune COST IC0901 (2009-2013)
AVANTSSAR: Automated Validation of
Trust and Security of Service-oriented Architectures (proiect PC7, 2008-2010)
Formal Verification of Object-Oriented Software, acțiune COST IC0701 (2008-2012)
CONQUERS: Continuous Quality Evaluaton and Restructuring of Software (proiect PNCDI-2, 2007-2010)
Practical
Formal Verification Using Automated Reasoning and Model Checking (proiect INTAS, 2006-2009)
ARTIST2/ARTIST Design (rețea de excelență PC6/PC7)
Conferințe
SEC@SAC 2017: The Security Track at the ACM Symposium on Applied Computing (membru PC)
MoDeVVa 2016: 12th Workshop on Model-Driven Engineering, Verification and Validation (membru PC)
SEC@SAC 2016: The Security Track at the ACM Symposium on Applied Computing (membru PC)
MoDeVVa 2015: 12th Workshop on Model-Driven Engineering, Verification and Validation (membru PC)
LPAR 2015 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (membru PC)
SEC@SAC 2015: The Security Track at the ACM Symposium on Applied Computing (membru PC)
MoDeVVa 2014: 11th Workshop on Model-Driven Engineering, Verification and Validation (membru PC)
SCAM 2014: 14th IEEE International Working Conference on Source Code Analysis and Manipulation (membru PC)
ICTAC 2014:
11th International Colloquium on Theoretical Aspects of Computing (membru PC)
PAS 2013: Second International Seminar on Program Verification, Automated Debugging and Symbolic Computation (vorbitor invitat)
SEC@SAC 2014: The Security Track at the ACM Symposium on Applied Computing (membru PC)
MoDeVVa 2013: 10th Workshop on Model-Driven Engineering, Verification and Validation (membru PC)
SCAM 2013: 13th IEEE International Working Conference on Source Code Analysis and Manipulation (membru PC)
SEC@SAC 2013: The Security Track at the ACM Symposium on Applied Computing (membru PC)
SEFM 2012: 10th International Conference on Software Engineering and Formal Methods (membru PC)
SCAM 2012: 12th IEEE International Working Conference on Source Code Analysis and Manipulation (membru PC)
CRiSIS 2011: 6th International Conference on Risks and Security of Internet and Systems (director general)
SCAM 2011: 11th IEEE International Working Conference on Source Code Analysis and Manipulation (membru PC)
ICSM 2010: 26th IEEE International
Conference on Software Maintenance (organizare locală)
ICTAC 2010:
7th International Colloquium on Theoretical Aspects of Computing (membru PC)
FM 2009: 16th
International Symposium on Formal Methods (membru PC)
SAVCBS 2008: 7th
International Workshop on Specification and Verification of Component-Based Systems (membru PC)
FACS 2008: 5th International
Workshop on Formal Aspects of Component Software (membru PC)
FM 2008: 16th International Symposium on Formal Methods (membru PC)
ICS 2006: Workshop on Information and
Computer Security (co-președinte PC)
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 (membru PC, organizare locală)