Horatiu Cirstea
Université de LorraineResearch team: PAREO - LORIA
Contact
|
LORIA
Batiment C Campus scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex France |
Mail: Horatiu.Cirstea@loria.fr Direct: +33 (0)3 54 95 84 06 Secretary: +33 (0)3 54 95 84 25 Fax: +33 (0)3 54 95 84 01 |
Research
| Theoretical foundations and practical applications of rewriting |
| Typed and untyped rewriting calculus and applications to rewrite based languages (Tom) |
| Security policy analysis |
Events
| Journées GEOCAL-LAC - Programme |
| RuleML 2011 - 5th International RuleML Symposium on Rule Interchange and Applications |
| RuleML 2010 - 4th 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 |
| Past events |
Recent publications
| Anti-patterns for rule-based languages (JSC) |
| Extensional and Intensional Strategies (WRS 2009) |
| 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) |
| More / DBLP |
Projects
| QUARTEFT - QUAlifiable Real TimE Fiacre Transformations |
| CORiAS - Conception et réalisation d'assistants à la preuve en surdéduction modulo |
| ACCESS - Access Control Policies for XML |
| SSURF - Safety and Security under FOCAL |
| Past projects |