Found: 11
Select item for more details and to access through your institution.
Interface Grammars for Modular Software Model Checking.
- Published in:
- IEEE Transactions on Software Engineering, 2008, v. 34, n. 5, p. 614, doi. 10.1109/TSE.2008.72
- By:
- Publication type:
- Article
Synchronizability of Conversations among Web Services.
- Published in:
- IEEE Transactions on Software Engineering, 2005, v. 31, n. 12, p. 1042
- By:
- Publication type:
- Article
Realizability of Conversation Protocols with Message Contents.
- Published in:
- International Journal of Web Services Research, 2005, v. 2, n. 4, p. 68, doi. 10.4018/jwsr.2005100104
- By:
- Publication type:
- Article
Roundtable: The Future of Software Engineering for Internet Computing.
- Published in:
- IEEE Software, 2015, v. 32, n. 1, p. 91, doi. 10.1109/MS.2015.15
- By:
- Publication type:
- Article
Efficient Symbolic Representations for Arithmetic Constraints in Verification.
- Published in:
- International Journal of Foundations of Computer Science, 2003, v. 14, n. 4, p. 605, doi. 10.1142/S0129054103001911
- By:
- Publication type:
- Article
On Reachability and Safety in Infinite-State Systems.
- Published in:
- International Journal of Foundations of Computer Science, 2001, v. 12, n. 6, p. 821, doi. 10.1142/S0129054101000898
- By:
- Publication type:
- Article
Analyzing Conversations of Web Services.
- Published in:
- IEEE Internet Computing, 2006, v. 10, n. 1, p. 18, doi. 10.1109/MIC.2006.1
- By:
- Publication type:
- Article
Automated verification of access control policies using a SAT solver.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 6, p. 503, doi. 10.1007/s10009-008-0087-9
- By:
- Publication type:
- Article
Efficient BDDs for bounded arithmetic constraints.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 1, p. 26, doi. 10.1007/s10009-004-0171-8
- By:
- Publication type:
- Article
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2003, v. 5, n. 1, p. 15, doi. 10.1007/s10009-002-0091-4
- By:
- Publication type:
- Article
RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2011, v. 22, n. 8, p. 1909, doi. 10.1142/S0129054111009112
- By:
- Publication type:
- Article