Achievements
Publications
- Lê Đình Thuận, Nguyễn Hữu Vũ, Nguyễn Van Tinh, Mai Phuong Nam, Pham-Duy Bao-Trung, Quản Thành Thơ, Étienne André, Laure Petrucci and Liu Yang (刘杨). PeCAn: Compositional Verification of Petri Nets Made Easy. In Franck Cassez and Jean-François Raskin (eds.), ATVA’14, Springer LNCS, November 2014. To appear. (English) [PDF (author version)]
- Étienne André, Liu Yang (刘杨), Sun Jun and Dong Jin Song. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. Real-Time Systems Journal, 2015. To appear. (English)
- Giuseppe Lipari, Sun Youcheng, Étienne André and Laurent Fribourg. Toward Parametric Timed Interfaces for Real-Time Components. In Étienne André and Goran Frehse (eds.), SynCoP’14, EPTCS 145, pages 49–64, April 2014.
(English) [PDF | BibTeX] - Tan Tian Huat (陈天发), Chen Manman (陈曼曼), Étienne André, Sun Jun, Liu Yang (刘杨) and Dong Jin Song. Automated Runtime Recovery for QoS-based Service Composition. In Andreid Broder, Kyuseok Shim and Torsten Suel (eds.), WWW’14, ACM, pages 563–574, May 2014. Acceptance rate: 13%. (English)
- Étienne André, Giuseppe Pellegrino and Laure Petrucci. Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs. In FORMATS’13, LNCS 8053, Springer, pages 1–15, 2013.
- Étienne André, Liu Yang (刘杨), Sun Jun, Dong Jin Song and Lin Shang-Wei (林尚威). PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. In CAV’13, LNCS 8044, Springer, pages 984–989, 2013.
Scientific Event
All participants jointly took part to the organization of FSFMA 2014 in Singapore (May 2014).
Tool development
Implementation and test of the latest LTL to BA conversion (LTL3BA)
- Status: completed
Implementation of a compositional verification module in PAT
- Status: completed
Implementation of a Petri Net module in PAT
- Status: completed
