Personal Information
Organization / Workplace
France France
Occupation
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Industry
Education
Website
http://www.enseeiht.fr/~pantel
About
Specialties: Formal methods for software engineering
Static analysis
Semantics
Model Driven Engineering
Domain Specific Language
Tags
models2016
why3
formal method
executable models
modevva2016
model driven engineering
verification feedback
dsl
formal verification
exe2016
models of concurrency
automated code generation
framac
simulink
modeling languages
ocl
gemoc
ccsl
semantic variation points
See more
Presentations
(5)Personal Information
Organization / Workplace
France France
Occupation
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Industry
Education
Website
http://www.enseeiht.fr/~pantel
About
Specialties: Formal methods for software engineering
Static analysis
Semantics
Model Driven Engineering
Domain Specific Language
Tags
models2016
why3
formal method
executable models
modevva2016
model driven engineering
verification feedback
dsl
formal verification
exe2016
models of concurrency
automated code generation
framac
simulink
modeling languages
ocl
gemoc
ccsl
semantic variation points
See more