Horatiu Cirstea
Associate professor IUT Nancy-Charlemagne - Université Nancy II - Nancy UniversitéResearch team: PAREO - LORIA
Contact
|
LORIA
Batiment B Campus scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex France Direct: +33 (0)3 54 95 84 06 Secretary: +33 (0)3 54 95 84 02 Fax: +33 (0)3 54 95 84 01 |
IUT Nancy Charlemagne
Département Informatique 2ter boulevard Charlemagne CS 55227 54052 Nancy Cedex France Direct: +33 (0)3 54 50 38 29 Secretary: +33 (0)3 54 50 38 50 Fax: +33 (0)3 54 50 38 21 |
Research
| Theoretical foundations and practical applications of rewriting |
| Typed and untyped rewriting calculus and applications to rewrite based languages (Tom) |
| Security policy analysis |
Events
| RuleML 2009 - 3rd International RuleML Symposium on Rule Interchange and Applications |
| WRS 2009 - 9th International Workshop on Reduction Strategies in Rewriting and Programming |
| RULE 2009 - 10th International Workshop on Rule-Based Programming |
| RuleML Challenge - 3rd Rules Challenge (associated with RuleML 2009) |
| Past events |
Recent publications
| TomML: A Rule Language For Structured Data (RuleML 2009) |
| Rewrite based specification of access control policies (SecRet 2008) |
| Confluence of pattern-based lambda-calculi (RTA 2007) |
| A Rho-Calculus of explicit constraint application (HOSC 2007) |
| More / DBLP |
Projects
| QUARTEFT - QUAlifiable Real TimE Fiacre Transformations |
| CORiAS - Conception et réalisation d'assistants à la preuve en surdéduction modulo |
| SSURF - Safety and Security under FOCAL |
| Past projects |