P. S. Thiagarajan

According to our database1, P. S. Thiagarajan
  • authored at least 120 papers between 1972 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Automated Property Synthesis of ODEs Based Bio-pathways Models.
Proceedings of the Computational Methods in Systems Biology, 2017

2016
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015
Approximate Verification of the Symbolic Dynamics of Markov Chains.
J. ACM, 2015

Distributed Markov Chains.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Parallelized Parameter Estimation of Biological Pathway Models.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Approximate Probabilistic Verification of Hybrid Systems.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2014
Rabin's theorem in the concurrency setting: A conjecture.
Theor. Comput. Sci., 2014

The Self-Limiting Dynamics of TGF-β Signaling In Silico and In Vitro, with Negative Feedback through PPM1A Upregulation.
PLoS Computational Biology, 2014

Distributed Markov Chains.
CoRR, 2014

Approximate probabilistic verification of hybrid systems.
CoRR, 2014

2013
In Memoriam: Carl Adam Petri.
Trans. Petri Nets and Other Models of Concurrency, 2013

GPU code generation for ODE-based applications with phased shared-data access patterns.
TACO, 2013

Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
Modular discrete time approximations of distributed hybrid automata.
Theor. Comput. Sci., 2012

A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application.
IEEE/ACM Trans. Comput. Biology Bioinform., 2012

Modeling and Analysis of biopathways Dynamics.
J. Bioinformatics and Computational Biology, 2012

Improved statistical model checking methods for pathway analysis.
BMC Bioinformatics, 2012

Approximate probabilistic analysis of biopathway dynamics.
Bioinformatics, 2012

Approximate Verification of the Symbolic Dynamics of Markov Chains.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics.
Proceedings of the Automated Technology for Verification and Analysis, 2012

The Discrete Time Behaviour of Restricted Linear Hybrid Automata.
Modern Applications of Automata Theory, 2012

2011
Probabilistic approximations of ODEs based bio-pathway dynamics.
Theor. Comput. Sci., 2011

Component-based construction of bio-pathway models: The parameter estimation problem.
Theor. Comput. Sci., 2011

A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System.
PLoS Computational Biology, 2011

A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010
Quasi-static scheduling of communicating tasks.
Inf. Comput., 2010

Incremental Signaling Pathway Modeling by Data Integration.
Proceedings of the Research in Computational Molecular Biology, 2010

Succinct discrete time approximations of distributed hybrid automata.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

2009
Interacting process classes.
ACM Trans. Softw. Eng. Methodol., 2009

Causal Message Sequence Charts.
Theor. Comput. Sci., 2009

Probabilistic Approximations of Signaling Pathway Dynamics.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008
A Multi-mode Real-Time Calculus.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Quasi-Static Scheduling of Communicating Tasks.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Designing communicating transaction processes by supervisory control theory.
Formal Methods in System Design, 2007

Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation.
Proceedings of the Algorithms in Bioinformatics, 7th International Workshop, 2007

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

A UML-Based Design Framework for Time-Triggered Applications.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Causal Message Sequence Charts.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Anchored Concatenation of MSCs.
Proceedings of the Formal Models, 2007

2006
A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk.
Proceedings of the Proceedings 14th International Conference on Intelligent Systems for Molecular Biology 2006, 2006

Interacting process classes.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Behavioural Approximations for Restricted Linear Differential Hybrid Automata.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Interface Design for Rationally Clocked GALS Systems.
Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006

2005
A theory of regular MSC languages.
Inf. Comput., 2005

Event Count Automata: A State-Based Model for Stream Processing Systems.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

The Discrete Time Behavior of Lazy Linear Hybrid Automata.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

The MSO Theory of Connectedly Communicating Processes.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004
Automatic Generation of Protocol Converters from Scenario-Based Specifications.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Model-Driven SoC Design via Executable UML to SystemC.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Lazy Rectangular Hybrid Automata.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Timed vs. Time-Triggered Automata.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
Netcharts: Bridging the gap between HMSCs and executable specifications.
Proceedings of the CONCUR 2003, 2003

Cyclic Communicating Processes: Hierarchy and Verification.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Communicating Transaction Processes.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Branching time controllers for discrete event systems.
Theor. Comput. Sci., 2002

5th Asian Computing Science Conference - Preface.
Int. J. Found. Comput. Sci., 2002

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.
Inf. Comput., 2002

An Executable Specification Language Based on Message Sequence Charts.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

A Decidable Class of Asynchronous Distributed Controllers.
Proceedings of the CONCUR 2002, 2002

Regular Event Structures and Finite Petri Nets: A Conjecture.
Proceedings of the Formal and Natural Computing, 2002

Abstract Cyclic Communicating Processes: A Logical View.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
Distributed Controller Synthesis for Local Specifications.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

2000
Regular Collections of Message Sequence Charts.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

On Message Sequence Graphs and Finitely Generated Regular MSC Languages.
Proceedings of the Automata, Languages and Programming, 27th International Colloquium, 2000

Open Systems in Reactive Environments: Control and Synthesis.
Proceedings of the CONCUR 2000, 2000

1999
Dynamic Linear Time Temporal Logic.
Ann. Pure Appl. Logic, 1999

Product Interval Automata: A Subclass of Timed Automata.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

Synthesizing Distributed Transition Systems from Global Specification.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998
Some Logical and Automata-Theoretic Aspects of Product Behaviours.
Electr. Notes Theor. Comput. Sci., 1998

Controllers for Discrete Event Systems via Morphisms.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

A Product Version of Dynamic Linear Time Temporal Logic.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
An Event Structure Semantics for General Petri Nets.
Theor. Comput. Sci., 1996

Linear Time Temporal Logics over Mazurkiewicz Traces.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Linear time temporal logics over Mazurkiewicz traces.
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995
Transition Systems, Event Structures and Unfoldings
Inf. Comput., May, 1995

A Logical Study of Distributed Transition Systems
Inf. Comput., May, 1995

A Trace Semantics for Petri Nets
Inf. Comput., February, 1995

A Trace Consistent Subset of PTL.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
A Trace Based Extension of Linear Time Temporal Logic
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993
Decidability of a Partial Order Based Temporal Logic.
Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

Local Event Structures and Petri Nets.
Proceedings of the CONCUR '93, 1993

1992
Elementary Transition Systems.
Theor. Comput. Sci., 1992

A Logical Characterization of Well Branching Event Structures.
Theor. Comput. Sci., 1992

Temporal Logics for Communicating Sequential Agents: I.
Int. J. Found. Comput. Sci., 1992

Elementary Transition Systems and Refinement.
Acta Inf., 1992

A Trace Semantics for Petri Nets (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991
Event Structures and Trace Monoids.
Theor. Comput. Sci., 1991

1990
Some Behavioural Aspects of Net Theory.
Theor. Comput. Sci., 1990

Behavioural Notions for Elementary Net Systems.
Distributed Computing, 1990

1989
A Petri Net Model of Asynchronously Communicating Sequential Processes.
Proceedings of the A Perspective in Theoretical Computer Science, 1989

An Axiomatization of Event Structures.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988
A logic for distributed transition sytems.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

Some Behavioural Aspects of Net Theory.
Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988

1987
A Modal Logic for a Subclass of Event Structures.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986
Elementary Net Systems.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Petri Nets: Basic Notions, Structure, Behaviour.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1984
A Fresh Look at Free Choice Nets
Information and Control, May, 1984

A Theory of Bipolar Synchronization Schemes.
Theor. Comput. Sci., 1984

D-Continuous Causal Nets: A Model of Non-Sequential Processes.
Theor. Comput. Sci., 1984

Generalized Handle Grammars and Their Relation to Petri Nets.
Elektronische Informationsverarbeitung und Kybernetik, 1984

Degrees of Non-Determinism and Concurrency: A Petri Net View.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

In praise of free choice nets.
Proceedings of the Advances in Petri Nets 1984, 1984

A lattice theoretic view of K-density.
Proceedings of the Advances in Petri Nets 1984, 1984

A note on observable occurrence nets.
Proceedings of the Advances in Petri Nets 1984, 1984

1983
Some Aspects of Net Theory.
Proceedings of the Analysis of Concurrent Systems, 1983

1982
Some Properties of D-Continuous Causal Nets.
Proceedings of the Automata, 1982

Petri nets and their relation to graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

A Note on D-Continuous Causal Nets.
Proceedings of the Applications and Theory of Petri Nets, 1982

1981
Two Alterative Definitions of Synchronic Distance.
Proceedings of the Application and Theory of Petri Nets, 1981

1980
Substitution Systems - A Family of System Models Based on Concurrency.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Bipolar Synchronization Systems.
Proceedings of the Automata, 1980

1979
Elements of General Net Theory.
Proceedings of the Net Theory and Applications, 1979

1978
Surveyor's Forum: Net Progress.
ACM Comput. Surv., 1978

1975
On the Interconnection of Asynchronous Control Structures.
J. ACM, 1975

1973
On the Equivalence of Asynchronous Control Structures.
SIAM J. Comput., 1973

1972
On the Equivalence of Asynchronous Control Structures
Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972


  Loading...