Publications
- Checking Session-Oriented Interactions between Web Services2008 | Faculty of Mathematics and Physics
- Modeling and Verification of Session-Oriented Interactions between Web Services: Compliance of BPEL with Session ProtocolsPublication without faculty affiliation
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- A Component-Oriented Framework for Spacecraft On-Board Software2008 | Faculty of Mathematics and Physics
- Perspectives in Component-based Software Engineering2008 | Faculty of Mathematics and Physics
- Carmen : Software Component Model Checker2008 | Faculty of Mathematics and Physics
- Verification of Software Components: Addressing Unbounded Parallelism2007 | Faculty of Mathematics and Physics
- Behavior Composition in Component Systems2006 | Faculty of Mathematics and Physics
- Addressing Unbounded Parallelism in Verification of Software Components2006 | Faculty of Mathematics and Physics
- Component Composition Errors and Update Atomicity: Static Analysis +12005 | Faculty of Mathematics and Physics
Loading network view...