1 citations
- National University of SingaporeSG2 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Griffith UniversityAU1 paper
- IBM (United States)US1 paper
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR1 paper
- Nanyang Technological UniversitySG1 paper
- Singapore Management UniversitySG1 paper
- Singapore University of Technology and DesignSG1 paper
- Tianjin UniversityCN1 paper
- Université de LorraineFR1 paper
- Uppsala UniversitySE1 paper
- Yale-NUS CollegeSG1 paper
2 papers
cs.SE2020★ 1 cited
Automated synthesis of local time requirement for service composition
Étienne André, Tian Huat Tan, Manman Chen +4
Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial especially in time c…
cs.LO2015★ 1 cited
Regular Symmetry Patterns (Technical Report)
Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer +1
Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is c…