(click here for the Formal Methods in India page.) (click here for the mu M Indian Classical Music project)
|
Paritosh K. Pandya
|
|
My Curriculum
Vitae and List
of Publications are accessible in postscript form and through DBLP Bibliography.
Bibliometric indices and citations to my papers as recorded by Google
scholar.
Advances in Theory and Analysis of Timed and Hybrid Systems (TIME09), TIFR, 11 February, 2009.
Logics, Automata, Concurrency, Formal Methods, Embedded Systems and Software Engineering.
Model checking
Duration Calculus and logics of Time
Refinement Algebra and CSP
Hoare Logics for Distributed Programs
Scheduling Theory
New NuSMV-DP:
A tool for reachability analysis in asynchronous processes
with
special focus on Networks of Discrete-timed automata.
Paper
on NuSMV-DP (Extended version of TACAS 2006 paper.)
DCVALID,
a validity checker for Duration Calculus (QDDC) formulae. DCVALID
Version 1.4 includes CTLDC, a model checker for CTL extended
with past and timing properties. It checks Verilog, SMV, ESTEREL and
Lustre designs. Click for an overview
and an example.
Latest:
Version 1.4 of DCVALID released on 2 October, 2000.
Formal Aspects of Computing , The international Journal of Formal Methods, Springer
Automata and computability (August-December 2008)
Foundations of Program Verification (August-December 2007)
Automata and Computability (August-December 2007)
Automata and Verification (Jan-Apr 2006)
Introduction to Logic (August-December, 2005.)
Automata and Computability (Aug 2003-Jan 2003)
Model Checking: Theory and Practice (Aug 2002- Jan 2003)
Automata and Computability (Aug-Dec 2001)
Introduction to Logic (Aug-Dec 1999)
Model checking : Theory and Practice (Jan-Apr 1999)
Elementary Predicate Logic (Aug-Dec 1998, Aug-Dec 1996)
Science of Programming (Aug-Dec 1994)
International Symposium on Temporal Representation and Reasoning (TIME 2010), Parits, France, 6-8 September, 2010. (PC Member)
International Conf. on Foundations ofSoftware Technology and Theoretical Computer Science (FSTTCS 2010), Chennai, India, 15-19 December, 2010. (PC Member)
International Conf. on Theoretical Aspects of Computing (ICTAC 2010), Natal, Brazil, 1-3 September, 2010. (PC Member)
ACM Intl. Conf. on Hybrid Systems Computation and Control (HSCC) 2010, Stockholm, Sweden, 12-16 April, 2010. (PC Member)
Third Indian School on Logic and Applications (ISLA) , Hyderabad, India, 18-29 January, 2010. (PC Member)
FORMATS 2009, Budapest, Hungary, 13-16 September, 2009. (PC Member)
FM 2009, 2009. Eindhoven, The Netherlands, 2-6 November, 2009. (PC Member)
AVOCS 2009, Greynog, Wales, U.K., September 23-25, 2009. (PC Member)
Computing: The Australian Theory Symposium (CATS2009), Wellington, New Zealand, January 20-23, 2009. (PC Member)
FORMATS 2008, St Malo, France, 14-17 September, 2008. (PC Member)
AVOCS 2008, Glasgow, U.K., 30 September-1 October, 2008. (PC Member)
Formal Methods (FM2008), Turku, Finland, 26-30 May, 2008. (PC Member)
Computing: The Australian Theory Symposium (CATS2009), Wellington, New Zealand, January 20-23, 2009. (PC Member)
Workshop on Automated Formal Methods (AFM 2007), Georgia, Atlanta, USA, 6 November 2007. (PC Member)
First International Workshop on Forrmal Modelling and Analysis of Timed Systems (FORMATS 2007), Salzburg, 3-5 October, 2007. (PC Member)
The 14th Int. Symposium on Temporal Representation and Reasoning (TIME 2007), Spain, 28-30 June, 2007. (PC Member)
Pre-conference workshop on Advances and Issues in Timed Systems, FSTTCS 2006 conference, Kolkata, 11-12 December, 2006. (Invited speaker).
Symposium on Formal Methods 2006 (FM2006), Hamilton, Canada, 21-27 August, 2006. (PC Member)
Sixth International Workshop on Automated Verification of Critical Systems (AVoCS 2006), Nancy, France, 18-19 September, 2006. (PC Member)
Fourth IEEE Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, India, 11-15 September, 2006 (PC Co-chairman)
First Asian Semantic Web Conference (ASWC 2006), Beijing, China. (Poster Co-Chair)
Fifth Update Meeting on Automata, Concurrency, Logic and Verificiation, (IITG), 3-7 July, 2006.
International Workshop on Analysis Synthesis and Perception of Music Signals, 26-30, September, 2005, Jadavpur, Kolkata. (Invited Speaker)
Fiflth International Workshop on Automated Verification of Critical Systems (AVoCS 2005), Warwick, U.K., 12-13 September, 2005. (PC Member)
Third International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, Germany, 7-9 September 2005. (PC Member)
Fourth Update Meeting on Automata, Concurrency, Logic and Verification, IIT Bombay, 18-21 July, 2005. (Co-Coordinator)
First Indo-Trento Workshop on Knowledge and Logic Oriented Software Engineering, TIFR, Mumbai, 19-21 January 2005 (Co-Coordinator)
Logic 2005, IIT Mumbai, 8-13 Januaary, 2005 (Invited Speaker)
Fourth synchronous Languages, Applications and Programming (SLAP 2005), Edinburgh, Scotland, (3 April, 2005). (PC Member)
Second International Colloquium on Theoretical Aspects of Computing (ICTAC2005), Hanoi, Vietnam, 17-21 October 2005. (PC Member)
First International Colloquium on Theoretical Aspects of Computing (ICTAC2004), Guiyang, China, 6-10 September 2004. (PC Member)
Second International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China 26 - 30 September 2004. (PC Member)
Synchronous Languages, Applications and Programming (SLAP 2004), Barcelona, Spain, (28 March, 2004). (PC Member)
23rd conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 23), Mumbai, India (15-17 December 2003). (PC Co-chairman)
Workshop on Advances in Model Checking, Mumbai, India (14 December, 2003). (Coordinator)
First International Workshop on Forrmal Modelling and Analysis of Timed Systems (FORMATS 2003), Marseille, France (6-7 September, 2003). (PC Member)
Synchronous Languages, Applications and Programming (SLAP 2003), Porto, Portugal, (1 July, 2003). (PC Member)
Second Workshop and School on Automata, Concurrency and Logic, Chennai, (24-29 January 2003).
21th conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 21), Bangalore, India (December 2001). (PC Member)
Workshop on Reasoning about Large and Infinite State Systems, Chennai, (17-18 December, 2001). (Speaker)
School on Theoretical Aspects of Computer Science, Chennai.
Workshop on Formal Methods for the Design of Safety Critical Applications: Synchronous Approaches, IISc, Bangalore (19-20, February, 2001).
Formal Methods Europe 2001, Humboldt University of Berlin, Germany, March 12-16, 2001.
20th conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS 20), Delhi, India (13-15 December 2000).
Advanced coure on RAISE and Duration Calculus, KIIT, Bhubaneshwar, (9-20 August, 1999).
IFIP WG 2.3 meeting at Technical University of Munich, Munich, Germany, (June, 1999).
BRNS workshop on Verification of Digital and Hybrid Systems (January, 1999).
IFIP WG 2.3 meeting at Indiana University, Bloomington, U.S.A. (June, 1998).
Esprit project ProCoS Kit workshop , Macau (May, 1998).
Eighth NSTCS , Bhubaneshwar, Orrisa, India (11-14 June 1998).
Advanced course on Specification and Verification of Real-time Systems using Duration Calculus, SVREC, Surat (26-31 Jan 1998) Course annoucement in plain text and postscript forms.
FSTTCS17, Kharagpur (December 1997)
Course on Logical Foundations of Duration Calculus, UNU/IIST, Macau (October, 1997).
Update meeting on Reasoning about Timed Systems, IMSc, Chennai (June 1997)
Workshop on Applied Formal Methods, Hyderabad(December 1996)
Advanced course on Real-time Systems: Theory and Practice, NCST, Mumbai (November 1996)
IFIP WG 2.2 meeting in Macau (September 1996)
IFIP WG 2.2 Seminar in Beijing (November 1996)
Advanced course on Formal Methods in Software Development, SERC, IISc, Bangalore (April 1996)
Nicholas Halbwachs
Mathai Joseph
The mu
M Project: Measuring Hidustani Classical Music.
(NEW A
Tabla Synthesizer
Synthesis
of Aalaps )
Most
cited in computer science from India
India
TOP 100 most popular Web Sites Directory :)
Last modified by Paritosh Pandya on 10 October, 2010.
