Publications
- Checking Session-Oriented Interactions between Web Services2008 | 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
- Component Composition Errors and Update Atomicity: Static Analysis +12005 | Faculty of Mathematics and Physics
- Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective +12005 | Faculty of Mathematics and Physics
- Static Analysis of Component Systems Using Behavior Protocols2003 | Faculty of Mathematics and Physics
- Behavior Protocols Capturing Errors and Updates2003 | Faculty of Mathematics and Physics
- Modeling and Verification of Session-Oriented Interactions between Web Services: Compliance of BPEL with Session ProtocolsPublication without faculty affiliation
- Behavior Composition in Component Systems +1Publication without faculty affiliation
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
Loading network view...