2008 |
17 | EE | Alessio Lomuscio,
Hongyang Qu,
Monika Solanki:
Towards verifying compliance in agent-based web service compositions.
AAMAS (1) 2008: 265-272 |
16 | EE | Alessio Lomuscio,
Hongyang Qu,
Monika Solanki:
Towards Verifying Contract Regulated Service Composition.
ICWS 2008: 254-261 |
15 | EE | Alessio Lomuscio,
Wojciech Penczek,
Hongyang Qu:
Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.
MoChArt 2008: 106-121 |
14 | EE | Saddek Bensalem,
Doron Peled,
Hongyang Qu,
Stavros Tripakis:
Automatic generation of path conditions for concurrent timed systems.
Theor. Comput. Sci. 404(3): 275-292 (2008) |
2007 |
13 | EE | Saddek Bensalem,
Doron Peled,
Hongyang Qu,
Stavros Tripakis,
Lenore D. Zuck:
Test Case Generation for Ultimately Periodic Paths.
Haifa Verification Conference 2007: 120-135 |
12 | EE | Alessio Lomuscio,
Hongyang Qu,
Marek J. Sergot,
Monika Solanki:
Verifying Temporal and Epistemic Properties of Web Service Compositions.
ICSOC 2007: 456-461 |
2006 |
11 | EE | Peter Niebert,
Hongyang Qu:
The Implementation of Mazurkiewicz Traces in POEM.
ATVA 2006: 508-522 |
10 | EE | Peter Niebert,
Hongyang Qu:
Adding Invariants to Event Zone Automata.
FORMATS 2006: 290-305 |
9 | EE | Edith Elkind,
Blaise Genest,
Doron Peled,
Hongyang Qu:
Grey-Box Checking.
FORTE 2006: 420-435 |
8 | EE | Marcos E. Kurbán,
Peter Niebert,
Hongyang Qu,
Walter Vogler:
Stronger Reduction Criteria for Local First Search.
ICTAC 2006: 108-122 |
7 | EE | Doron Peled,
Hongyang Qu:
Enforcing Concurrent Temporal Behaviors.
Int. J. Found. Comput. Sci. 17(4): 743-762 (2006) |
2005 |
6 | EE | Marcin Jurdzinski,
Doron Peled,
Hongyang Qu:
Calculating Probabilities of Real-Time Test Cases.
FATES 2005: 134-151 |
5 | EE | Doron Peled,
Hongyang Qu:
Time Unbalanced Partial Order.
FATES 2005: 152-169 |
4 | EE | Saddek Bensalem,
Doron Peled,
Hongyang Qu,
Stavros Tripakis:
Generating Path Conditions for Timed Systems.
IFM 2005: 5-19 |
3 | EE | Doron Peled,
Hongyang Qu:
Enforcing Concurrent Temporal Behaviors.
Electr. Notes Theor. Comput. Sci. 113: 65-83 (2005) |
2004 |
2 | | Saddek Bensalem,
Doron Peled,
Hongyang Qu,
Stavros Tripakis:
Automatic Generation of Path Conditions for Timed Systems.
ISoLA (Preliminary proceedings) 2004: 243-249 |
2003 |
1 | EE | Doron Peled,
Hongyang Qu:
Automatic Verification of Annotated Code.
FORTE 2003: 127-143 |