Pierre-Cyrille Heam

Pierre-Cyrille Heam

Université de Franche-Comté, Computer Science
Verified email at femto-st.fr
Cited by 2315
Finite Automata Software Verification and Testing
Marius Minea

Marius Minea

Associate Professor, Politehnica University of Timisoara
Verified email at cs.upt.ro
Cited by 1842
formal methods computer security software verification and testing
Madalin Gavrilescu

Madalin Gavrilescu

PhD., Politehnica University of Timisoara
Cited by 113
Cyber Physical Systems software verification and testing Internet of Things Sensor Networks
Germán Regis

Germán Regis

Universidad Nacional de Río Cuarto, Argentina
Verified email at dc.exa.unrc.edu.ar
Cited by 31
Computer Science Formal Methods Software Verification and Testing
Aristotelis Koutsouridis

Aristotelis Koutsouridis

PhD Student
Verified email at mpi-sws.org
programming languages software verification and testing