Publications
- Threaded Behavior Protocols2013 | Faculty of Mathematics and Physics
- Leveraging Interpolant Strength in Model Checking2012 | Faculty of Mathematics and Physics
- Strengthening Component Architectures by Modeling Fine-Grained Entities2011 | Faculty of Mathematics and Physics
- Modes in component behavior specification via EBP and their application in product lines2009 | Faculty of Mathematics and Physics
- TBP: Code-Oriented Component Behavior Specification2009 | Faculty of Mathematics and Physics
- Enhanced Property Specification and Verification in BLAST2009 | Faculty of Mathematics and Physics
- CoCoME in SOFA +12008 | Faculty of Mathematics and Physics
- CoCoME in Fractal2008 | Faculty of Mathematics and Physics
- Slicing of Component Behavior Specification with Respect to Their Composition +12007 | Faculty of Mathematics and Physics
- BP SlicerPublication without faculty affiliation
Loading network view...