Marc Pantel
5 SlideShares 1 Abonnés
Personal Information
Entreprise/Lieu de travail
France France
Profession
Associate Professor in Computer Science at FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse
Secteur d’activité
Education
Site Web
http://www.enseeiht.fr/~pantel
À propos
Specialties: Formal methods for software engineering Static analysis Semantics Model Driven Engineering Domain Specific Language
Coordonnées
Mots-clés
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
Tout plus
  • Documents
  • Infographies
Plus récents Les plus populaires

A DSL to feedback formal verification results

il y a 7 ans • 366 Vues

Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency

il y a 7 ans • 862 Vues

Block Library Driven Translation Validation for DataFlow Models in Safety Critical Systems

il y a 7 ans • 393 Vues

Coping with Semantic Variation Points in Domain-Specific Modeling Languages

il y a 8 ans • 291 Vues

A Lightweight Formal Encoding for a Constraint Language DSML Component

il y a 8 ans • 249 Vues