2008 |
91 | EE | Philippe Darondeau,
Blaise Genest,
P. S. Thiagarajan,
Shaofa Yang:
Quasi-Static Scheduling of Communicating Tasks.
CONCUR 2008: 310-324 |
2007 |
90 | | Jean-François Raskin,
P. S. Thiagarajan:
Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
Springer 2007 |
89 | EE | Thomas Gazagnaire,
Blaise Genest,
Loïc Hélouët,
P. S. Thiagarajan,
Shaofa Yang:
Causal Message Sequence Charts.
CONCUR 2007: 166-180 |
88 | EE | Linh T. X. Phan,
Samarjit Chakraborty,
P. S. Thiagarajan,
Lothar Thiele:
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.
RTSS 2007: 343-352 |
87 | EE | Kathy Dang Nguyen,
P. S. Thiagarajan,
Weng-Fai Wong:
A UML-Based Design Framework for Time-Triggered Applications.
RTSS 2007: 39-48 |
86 | EE | Geoffrey Koh,
Lisa Tucker-Kellogg,
David Hsu,
P. S. Thiagarajan:
Composing Globally Consistent Pathway Parameter Estimates Through Belief Propagation.
WABI 2007: 420-430 |
85 | EE | L. Feng,
W. Murray Wonham,
P. S. Thiagarajan:
Designing communicating transaction processes by supervisory control theory.
Formal Methods in System Design 30(2): 117-141 (2007) |
2006 |
84 | | Bernd Kleinjohann,
Lisa Kleinjohann,
Ricardo Jorge Machado,
Carlos Eduardo Pereira,
P. S. Thiagarajan:
From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal
Springer 2006 |
83 | | Susanna Donatelli,
P. S. Thiagarajan:
Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
Springer 2006 |
82 | EE | Joycee Mekie,
Supratik Chakraborty,
Dinesh K. Sharma,
Girish Venkataramani,
P. S. Thiagarajan:
Interface Design for Rationally Clocked GALS Systems.
ASYNC 2006: 160-171 |
81 | EE | Manindra Agrawal,
Frank Stephan,
P. S. Thiagarajan,
Shaofa Yang:
Behavioural Approximations for Restricted Linear Differential Hybrid Automata.
HSCC 2006: 4-18 |
80 | EE | Ankit Goel,
Sun Meng,
Abhik Roychoudhury,
P. S. Thiagarajan:
Interacting process classes.
ICSE 2006: 302-311 |
79 | EE | Geoffrey Koh,
Huey Fern Carol Teong,
Marie-Véronique Clément,
David Hsu,
P. S. Thiagarajan:
A decompositional approach to parameter estimation in pathway modeling: a case study of the Akt and MAPK pathways and their crosstalk.
ISMB (Supplement of Bioinformatics) 2006: 271-280 |
2005 |
78 | EE | P. Madhusudan,
P. S. Thiagarajan,
Shaofa Yang:
The MSO Theory of Connectedly Communicating Processes.
FSTTCS 2005: 201-212 |
77 | EE | Manindra Agrawal,
P. S. Thiagarajan:
The Discrete Time Behavior of Lazy Linear Hybrid Automata.
HSCC 2005: 55-69 |
76 | EE | Samarjit Chakraborty,
Linh T. X. Phan,
P. S. Thiagarajan:
Event Count Automata: A State-Based Model for Stream Processing Systems.
RTSS 2005: 87-98 |
75 | EE | Jesper G. Henriksen,
Madhavan Mukund,
K. Narayan Kumar,
Milind A. Sohoni,
P. S. Thiagarajan:
A theory of regular MSC languages.
Inf. Comput. 202(1): 1-38 (2005) |
2004 |
74 | EE | Pavel Krcál,
Leonid Mokrushin,
P. S. Thiagarajan,
Wang Yi:
Timed vs. Time-Triggered Automata.
CONCUR 2004: 340-354 |
73 | EE | Manindra Agrawal,
P. S. Thiagarajan:
Lazy Rectangular Hybrid Automata.
HSCC 2004: 1-15 |
72 | EE | Abhik Roychoudhury,
P. S. Thiagarajan,
Tuan-Anh Tran,
Vera A. Zvereva:
Automatic Generation of Protocol Converters from Scenario-Based Specifications.
RTSS 2004: 447-458 |
71 | EE | Kathy Dang Nguyen,
Zhenxin Sun,
P. S. Thiagarajan,
Weng-Fai Wong:
Model-Driven SoC Design via Executable UML to SystemC.
RTSS 2004: 459-468 |
2003 |
70 | EE | Abhik Roychoudhury,
P. S. Thiagarajan:
Communicating Transaction Processes.
ACSD 2003: 157-166 |
69 | EE | P. S. Thiagarajan:
Cyclic Communicating Processes: Hierarchy and Verification.
ACSD 2003: 4 |
68 | EE | Madhavan Mukund,
K. Narayan Kumar,
P. S. Thiagarajan:
Netcharts: Bridging the gap between HMSCs and executable specifications.
CONCUR 2003: 293-307 |
67 | EE | Abhik Roychoudhury,
P. S. Thiagarajan:
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.
Lectures on Concurrency and Petri Nets 2003: 789-818 |
2002 |
66 | EE | Abhik Roychoudhury,
P. S. Thiagarajan:
An Executable Specification Language Based on Message Sequence Charts.
10th Anniversary Colloquium of UNU/IIST 2002: 226-241 |
65 | EE | P. Madhusudan,
P. S. Thiagarajan:
A Decidable Class of Asynchronous Distributed Controllers.
CONCUR 2002: 145-160 |
64 | EE | P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: A Conjecture.
Formal and Natural Computing 2002: 244-256 |
63 | EE | Mogens Nielsen,
P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.
ICATPN 2002: 335-351 |
62 | EE | P. S. Thiagarajan:
Abstract Cyclic Communicating Processes: A Logical View.
ICATPN 2002: 68-69 |
61 | EE | P. S. Thiagarajan,
Igor Walukiewicz:
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.
Inf. Comput. 179(2): 230-249 (2002) |
60 | EE | P. S. Thiagarajan,
Roland H. C. Yap:
5th Asian Computing Science Conference - Preface.
Int. J. Found. Comput. Sci. 13(3): 313-314 (2002) |
59 | EE | P. Madhusudan,
P. S. Thiagarajan:
Branching time controllers for discrete event systems.
Theor. Comput. Sci. 274(1-2): 117-149 (2002) |
2001 |
58 | EE | P. Madhusudan,
P. S. Thiagarajan:
Distributed Controller Synthesis for Local Specifications.
ICALP 2001: 396-407 |
2000 |
57 | EE | Orna Kupferman,
P. Madhusudan,
P. S. Thiagarajan,
Moshe Y. Vardi:
Open Systems in Reactive Environments: Control and Synthesis.
CONCUR 2000: 92-107 |
56 | EE | Jesper G. Henriksen,
Madhavan Mukund,
K. Narayan Kumar,
P. S. Thiagarajan:
On Message Sequence Graphs and Finitely Generated Regular MSC Languages.
ICALP 2000: 675-686 |
55 | EE | Jesper G. Henriksen,
Madhavan Mukund,
K. Narayan Kumar,
P. S. Thiagarajan:
Regular Collections of Message Sequence Charts.
MFCS 2000: 405-414 |
1999 |
54 | | P. S. Thiagarajan,
Roland H. C. Yap:
Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings
Springer 1999 |
53 | EE | Ilaria Castellani,
Madhavan Mukund,
P. S. Thiagarajan:
Synthesizing Distributed Transition Systems from Global Specification.
FSTTCS 1999: 219-231 |
52 | EE | Deepak D'Souza,
P. S. Thiagarajan:
Product Interval Automata: A Subclass of Timed Automata.
FSTTCS 1999: 60-71 |
51 | | Jesper G. Henriksen,
P. S. Thiagarajan:
Dynamic Linear Time Temporal Logic.
Ann. Pure Appl. Logic 96(1-3): 187-207 (1999) |
1998 |
50 | EE | P. Madhusudan,
P. S. Thiagarajan:
Controllers for Discrete Event Systems via Morphisms.
CONCUR 1998: 18-33 |
49 | EE | P. S. Thiagarajan:
Some Logical and Automata-Theoretic Aspects of Product Behaviours.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
1997 |
48 | | Jesper G. Henriksen,
P. S. Thiagarajan:
A Product Version of Dynamic Linear Time Temporal Logic.
CONCUR 1997: 45-58 |
47 | EE | P. S. Thiagarajan,
Igor Walukiewicz:
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces.
LICS 1997: 183-194 |
1996 |
46 | | Madhavan Mukund,
P. S. Thiagarajan:
Linear Time Temporal Logics over Mazurkiewicz Traces.
MFCS 1996: 62-92 |
45 | | P. S. Thiagarajan,
Jesper G. Henriksen:
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.
Petri Nets 1996: 643-681 |
44 | EE | P. W. Hoogers,
H. C. M. Kleijn,
P. S. Thiagarajan:
An Event Structure Semantics for General Petri Nets.
Theor. Comput. Sci. 153(1&2): 129-170 (1996) |
1995 |
43 | | P. S. Thiagarajan:
Foundations of Software Technology and Theoretical Computer Science, 15th Conference, Bangalore, India, December 18-20, 1995, Proceedings
Springer 1995 |
42 | | P. S. Thiagarajan:
A Trace Consistent Subset of PTL.
CONCUR 1995: 438-452 |
41 | | P. W. Hoogers,
H. C. M. Kleijn,
P. S. Thiagarajan:
A Trace Semantics for Petri Nets
Inf. Comput. 117(1): 98-114 (1995) |
40 | | Mogens Nielsen,
Grzegorz Rozenberg,
P. S. Thiagarajan:
Transition Systems, Event Structures and Unfoldings
Inf. Comput. 118(2): 191-207 (1995) |
39 | | Kamal Lodaya,
Rohit Parikh,
Ramaswamy Ramanujam,
P. S. Thiagarajan:
A Logical Study of Distributed Transition Systems
Inf. Comput. 119(1): 91-118 (1995) |
1994 |
38 | | P. S. Thiagarajan:
Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings
Springer 1994 |
37 | | P. S. Thiagarajan:
A Trace Based Extension of Linear Time Temporal Logic
LICS 1994: 438-447 |
1993 |
36 | | P. W. Hoogers,
H. C. M. Kleijn,
P. S. Thiagarajan:
Local Event Structures and Petri Nets.
CONCUR 1993: 462-476 |
35 | | Kamal Lodaya,
P. S. Thiagarajan:
Decidability of a Partial Order Based Temporal Logic.
ICALP 1993: 582-592 |
1992 |
34 | | P. W. Hoogers,
H. C. M. Kleijn,
P. S. Thiagarajan:
A Trace Semantics for Petri Nets (Extended Abstract).
ICALP 1992: 595-604 |
33 | | Mogens Nielsen,
Grzegorz Rozenberg,
P. S. Thiagarajan:
Elementary Transition Systems and Refinement.
Acta Inf. 29(6/7): 555-578 (1992) |
32 | | Kamal Lodaya,
Ramaswamy Ramanujam,
P. S. Thiagarajan:
Temporal Logics for Communicating Sequential Agents: I.
Int. J. Found. Comput. Sci. 3(2): 117-159 (1992) |
31 | | Mogens Nielsen,
Grzegorz Rozenberg,
P. S. Thiagarajan:
Elementary Transition Systems.
Theor. Comput. Sci. 96(1): 3-33 (1992) |
30 | | Madhavan Mukund,
P. S. Thiagarajan:
A Logical Characterization of Well Branching Event Structures.
Theor. Comput. Sci. 96(1): 35-72 (1992) |
1991 |
29 | | Brigitte Rozoy,
P. S. Thiagarajan:
Event Structures and Trace Monoids.
Theor. Comput. Sci. 91(2): 285-313 (1991) |
1990 |
28 | | Mogens Nielsen,
Grzegorz Rozenberg,
P. S. Thiagarajan:
Behavioural Notions for Elementary Net Systems.
Distributed Computing 4: 45-57 (1990) |
27 | | P. S. Thiagarajan:
Some Behavioural Aspects of Net Theory.
Theor. Comput. Sci. 71(1): 133-153 (1990) |
1989 |
26 | | Madhavan Mukund,
P. S. Thiagarajan:
An Axiomatization of Event Structures.
FSTTCS 1989: 143-160 |
1988 |
25 | | P. S. Thiagarajan:
Some Behavioural Aspects of Net Theory.
ICALP 1988: 630-653 |
24 | | Kamal Lodaya,
Ramaswamy Ramanujam,
P. S. Thiagarajan:
A logic for distributed transition sytems.
REX Workshop 1988: 508-522 |
1987 |
23 | | Kamal Lodaya,
P. S. Thiagarajan:
A Modal Logic for a Subclass of Event Structures.
ICALP 1987: 290-303 |
1986 |
22 | | P. S. Thiagarajan:
Elementary Net Systems.
Advances in Petri Nets 1986: 26-59 |
21 | | Grzegorz Rozenberg,
P. S. Thiagarajan:
Petri Nets: Basic Notions, Structure, Behaviour.
Current Trends in Concurrency 1986: 585-668 |
1984 |
20 | | César Fernández,
Mogens Nielsen,
P. S. Thiagarajan:
A note on observable occurrence nets.
European Workshop on Applications and Theory in Petri Nets 1984: 122-138 |
19 | | César Fernández,
P. S. Thiagarajan:
A lattice theoretic view of K-density.
European Workshop on Applications and Theory in Petri Nets 1984: 139-153 |
18 | | P. S. Thiagarajan,
Klaus Voss:
In praise of free choice nets.
European Workshop on Applications and Theory in Petri Nets 1984: 438-454 |
17 | | Mogens Nielsen,
P. S. Thiagarajan:
Degrees of Non-Determinism and Concurrency: A Petri Net View.
FSTTCS 1984: 89-117 |
16 | | Hartmann J. Genrich,
Dirk Janssens,
Grzegorz Rozenberg,
P. S. Thiagarajan:
Generalized Handle Grammars and Their Relation to Petri Nets.
Elektronische Informationsverarbeitung und Kybernetik 20(4): 179-206 (1984) |
15 | | P. S. Thiagarajan,
K. Vos:
A Fresh Look at Free Choice Nets
Information and Control 61(2): 85-113 (1984) |
14 | | César Fernández,
P. S. Thiagarajan:
D-Continuous Causal Nets: A Model of Non-Sequential Processes.
Theor. Comput. Sci. 28: 171-196 (1984) |
13 | | Hartmann J. Genrich,
P. S. Thiagarajan:
A Theory of Bipolar Synchronization Schemes.
Theor. Comput. Sci. 30: 241-318 (1984) |
1983 |
12 | | P. S. Thiagarajan:
Some Aspects of Net Theory.
The Analysis of Concurrent Systems 1983: 26-54 |
1982 |
11 | | César Fernández,
P. S. Thiagarajan:
A Note on D-Continuous Causal Nets.
European Workshop on Applications and Theory of Petri Nets 1982: 86-97 |
10 | | Hartmann J. Genrich,
Dirk Janssens,
Grzegorz Rozenberg,
P. S. Thiagarajan:
Petri nets and their relation to graph grammars.
Graph-Grammars and Their Application to Computer Science 1982: 115-129 |
9 | | César Fernández,
P. S. Thiagarajan:
Some Properties of D-Continuous Causal Nets.
ICALP 1982: 225-238 |
1981 |
8 | | Ursula Goltz,
Wolfgang Reisig,
P. S. Thiagarajan:
Two Alterative Definitions of Synchronic Distance.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 96-103 |
1980 |
7 | | Hartmann J. Genrich,
P. S. Thiagarajan:
Bipolar Synchronization Systems.
ICALP 1980: 257-272 |
6 | | Hartmann J. Genrich,
Kurt Lautenbach,
P. S. Thiagarajan:
Substitution Systems - A Family of System Models Based on Concurrency.
MFCS 1980: 698-723 |
1978 |
5 | | Hartmann J. Genrich,
P. S. Thiagarajan:
Surveyor's Forum: Net Progress.
ACM Comput. Surv. 10(1): 84-85 (1978) |
1975 |
4 | | Hartmann J. Genrich,
Kurt Lautenbach,
P. S. Thiagarajan:
Elements of General Net Theory.
Advanced Course: Net Theory and Applications 1975: 21-163 |
3 | EE | J. Robert Jump,
P. S. Thiagarajan:
On the Interconnection of Asynchronous Control Structures.
J. ACM 22(4): 596-612 (1975) |
1973 |
2 | | J. Robert Jump,
P. S. Thiagarajan:
On the Equivalence of Asynchronous Control Structures.
SIAM J. Comput. 2(2): 67-87 (1973) |
1972 |
1 | | J. Robert Jump,
P. S. Thiagarajan:
On the Equivalence of Asynchronous Control Structures
FOCS 1972: 212-223 |