English Version
Marius Minea
Conferențiar dr. ing.
Departamentul de 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 Fundamente de informatica
(curs facultativ, anul I)
Limbaje de programare, an I ETC seria
A, sem. I 2011/2012
Securitatea sistemelor de calcul
an IV, sem. I 2011/2012
Verificare si validare software
an IV, sem. I 2011/2012
Proiectarea si analiza limbajelor de
programare (lb. engleza), master (an 1), sem. I 2011/2012
Cursuri anterioare
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 protocoalor 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)
AVANTSSAR: Automated Validation of
Trust and Security of Service-oriented Architectures (proiect PC7, 2008-2010)
Formal Verification of Object-Oriented Software, COST Action IC0701 (2008-2012)
Rich-Model Toolkit, COST Action IC0901 (2009-2013)
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
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ă)