 | 2012 |
|---|
| 8 |       | Thomas P. Jensen,
Florent Kirchner,
David Pichardie:
Secure the Clones
Logical Methods in Computer Science 8(2): (2012) |
| 2011 |
|---|
| 7 | | Thomas P. Jensen,
Florent Kirchner,
David Pichardie:
Secure the Clones - Static Enforcement of Policies for Secure Object Copying.
ESOP 2011: 317-337 |
| 2010 |
|---|
| 6 | | Florent Kirchner,
César Muñoz:
The proof monad.
J. Log. Algebr. Program. 79(3-5): 264-277 (2010) |
| 2009 |
|---|
| 5 | | Ashish Gehani,
Florent Kirchner,
Natarajan Shankar:
System Support for Forensic Inference.
IFIP Int. Conf. Digital Forensics 2009: 301-316 |
| 4 | | Claude Kirchner,
Florent Kirchner,
Hélène Kirchner:
Constraint Based Strategies.
WFLP 2009: 13-26 |
| 2007 |
|---|
| 3 | | Florent Kirchner,
François-Régis Sinot:
Rule-Based Operational Semantics for an Imperative Language.
Electr. Notes Theor. Comput. Sci. 174(1): 35-47 (2007) |
| 2 | | Florent Kirchner,
César Muñoz:
PVS#: Streamlined Tacticals for PVS.
Electr. Notes Theor. Comput. Sci. 174(11): 47-58 (2007) |
| 2006 |
|---|
| 1 | | Florent Kirchner:
A Finite First-Order Theory of Classes.
TYPES 2006: 188-202 |
Data released under the ODC-BY 1.0 license — See also our legal information page