Items where Author is "Gastin, Paul"

Article

Akshay, S. ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2015) Checking conformance for time-constrained scenario-based specifications Theoretical Computer Science, 594 . pp. 24-43. ISSN 0304-3975

Conference or Workshop Item

Akshay, S. ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2010) Model checking time-constrained scenario-based specifications In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), 15-18 Dec 2010, Chennai, India.

Akshay, S. ; Bollig, Benedikt ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2008) Distributed timed automata with independently evolving clocks In: 19th International Conference on Concurrency Theory, CONCUR 2008, 19-22 Aug 2008, Toronto, Canada.

Bhateja, Puneet ; Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2007) Local testing of message sequence charts is difficult In: 16th International Symposium on Fundamentals of Computation Theory, FCT 2007, 27-30 Aug 2007, Budapest, Hungary.

Bhateja, Puneet ; Gastin, Paul ; Mukund, Madhavan (2006) A fresh look at testing for asynchronous communication In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA 2006,, 23-26 Oct 2006, Beijing, China.

Gastin, Paul ; Mukund, Madhavan ; Narayan Kumar, K. (2003) Local LTL with past constants is expressively complete for Mazurkiewicz traces In: 28th International Symposium of Mathematical Foundations of Computer Science (MCFS-2003), 25-29 Aug 2003, Bratislava, Slovakia.

Gastin, Paul ; Mukund, Madhavan (2002) An elementary expressively complete temporal logic for Mazurkiewicz traces In: 29th International Colloquium on Automata, Languages, and Programming (ICALP 2002), 08-13, July 2002, Málaga, Spain.