×

zbMATH — the first resource for mathematics

Mukund, Madhavan

Compute Distance To:
Author ID: mukund.madhavan Recent zbMATH articles by "Mukund, Madhavan"
Published as: Mukund, Madhavan
External Links: MGP · Wikidata
Documents Indexed: 50 Publications since 1989, including 5 Books

Publications by Year

Citations contained in zbMATH

33 Publications have been cited 134 times in 94 Documents Cited by Year
A theory of regular MSC languages. Zbl 1101.68656
Henriksen, Jesper G.; Mukund, Madhavan; Kumar, K. Narayan; Sohoni, Milind; Thiagarajan, P. S.
22
2005
Petri nets and step transition systems. Zbl 0774.68086
Mukund, Madhavan
18
1992
Synthesizing distributed finite-state systems from MSCs. Zbl 0999.68114
Mukund, Madhavan; Narayan Kumar, K.; Sohoni, Milind
8
2000
Linear time temporal logics over Mazurkiewicz traces. Zbl 0886.03017
Mukund, Madhavan; Thiagarajan, P. S.
8
1996
On message sequence graphs and finitely generated regular MSC languages. Zbl 0973.68042
Henriksen, Jesper G.; Mukund, Madhavan; Kumar, K. Narayan; Thiagarajan, P. S.
7
2000
Determinizing Büchi asynchronous automata. Zbl 1354.68158
Klarlund, Nils; Mukund, Madhavan; Sohoni, Milind
7
1995
Distributed timed automata with independently evolving clocks. Zbl 1160.68450
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Narayan Kumar, K.
5
2008
An elementary expressively complete temporal logic for Mazurkiewicz traces. Zbl 1057.68058
Gastin, Paul; Mukund, Madhavan
4
2002
Regular collections of message sequence charts (extended abstract). Zbl 0996.68506
Henriksen, Jesper G.; Mukund, Madhavan; Narayan Kumar, K.; Thiagarajan, P. S.
4
2000
Synthesizing distributed transition systems from global specifications. Zbl 0956.68008
Castellani, Ilaria; Mukund, Madhavan; Thiagarajan, P. S.
4
1999
A logical characterization of well branching event structures. Zbl 0761.68058
Mukund, Madhavan; Thiagarajan, P. S.
4
1992
Model checking time-constrained scenario-based specifications. Zbl 1245.68129
Akshay, S.; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2010
Matching scenarios with timing constraints. Zbl 1141.68458
Chandrasekaran, Prakash; Mukund, Madhavan
3
2006
Local LTL with past constants is expressively complete for Mazurkiewicz traces. Zbl 1124.68391
Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2003
From global specifications to distributed implementations. Zbl 1054.93037
Mukund, Madhavan
3
2002
Models and logics for true concurrency. Zbl 1075.68604
Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P. S.
3
1992
Distributed timed automata with independently evolving clocks. Zbl 1298.68189
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2014
Automata on distributed alphabets. Zbl 1256.68109
Mukund, Madhavan
2
2012
Finite-state automata on infinite inputs. Zbl 1256.68108
Mukund, Madhavan
2
2012
Kleene theorems for product systems. Zbl 1341.68132
Lodaya, Kamal; Mukund, Madhavan; Phawade, Ramchandra
2
2011
Reachability and boundedness in time-constrained MSC graphs. Zbl 1193.68048
Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2009
Checking coverage for infinite collections of timed scenarios. Zbl 1151.68501
Akshay, S.; Mukund, Madhavan; Kumar, K. Narayan
2
2007
A fresh look at testing for asynchronous communication. Zbl 1161.68349
Bhateja, Puneet; Gastin, Paul; Mukund, Madhavan
2
2006
Formal models, languages and applications. Zbl 1138.68434
Subramanian, K. G. (ed.); Rangarajan, K. (ed.); Mukund, Madhavan (ed.)
2
2006
Bounded time-stamping in message-passing systems. Zbl 1018.68003
Mukund, Madhavan; Narayan Kumar, K.; Sohoni, Milind
2
2003
Determinizing asynchronous automata. Zbl 1422.68153
Klarlund, Nils; Mukund, Madhavan; Sohoni, Milind
2
1994
An axiomatization of event structures. Zbl 0731.03021
Mukund, Madhavan; Thiagarajan, P. S.
2
1989
Distributed Markov chains. Zbl 1432.68266
Saha, Ratul; Esparza, Javier; Jha, Sumit Kumar; Mukund, Madhavan; Thiagarajan, P. S.
1
2015
Causal closure for MSC languages. Zbl 1172.68420
Adsul, Bharat; Mukund, Madhavan; Kumar, K. Narayan; Narayanan, Vasumathi
1
2005
Netcharts: bridging the gap between HMSCs and executable specifications. Zbl 1274.68198
Mukund, Madhavan; Kumar, K. Narayan; Thiagarajan, P. S.
1
2003
Checking consistency of SDL+MSC specifications. Zbl 1023.68526
D’Souza, Deepak; Mukund, Madhavan
1
2003
Hereditary history preserving bisimulation is decidable for trace-labelled systems. Zbl 1027.68090
Mukund, Madhavan
1
2002
Local and symbolic bisimulation using tabled constraint logic programming. Zbl 1053.68582
Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh
1
2001
Distributed Markov chains. Zbl 1432.68266
Saha, Ratul; Esparza, Javier; Jha, Sumit Kumar; Mukund, Madhavan; Thiagarajan, P. S.
1
2015
Distributed timed automata with independently evolving clocks. Zbl 1298.68189
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2014
Automata on distributed alphabets. Zbl 1256.68109
Mukund, Madhavan
2
2012
Finite-state automata on infinite inputs. Zbl 1256.68108
Mukund, Madhavan
2
2012
Kleene theorems for product systems. Zbl 1341.68132
Lodaya, Kamal; Mukund, Madhavan; Phawade, Ramchandra
2
2011
Model checking time-constrained scenario-based specifications. Zbl 1245.68129
Akshay, S.; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2010
Reachability and boundedness in time-constrained MSC graphs. Zbl 1193.68048
Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
2
2009
Distributed timed automata with independently evolving clocks. Zbl 1160.68450
Akshay, S.; Bollig, Benedikt; Gastin, Paul; Mukund, Madhavan; Narayan Kumar, K.
5
2008
Checking coverage for infinite collections of timed scenarios. Zbl 1151.68501
Akshay, S.; Mukund, Madhavan; Kumar, K. Narayan
2
2007
Matching scenarios with timing constraints. Zbl 1141.68458
Chandrasekaran, Prakash; Mukund, Madhavan
3
2006
A fresh look at testing for asynchronous communication. Zbl 1161.68349
Bhateja, Puneet; Gastin, Paul; Mukund, Madhavan
2
2006
Formal models, languages and applications. Zbl 1138.68434
Subramanian, K. G. (ed.); Rangarajan, K. (ed.); Mukund, Madhavan (ed.)
2
2006
A theory of regular MSC languages. Zbl 1101.68656
Henriksen, Jesper G.; Mukund, Madhavan; Kumar, K. Narayan; Sohoni, Milind; Thiagarajan, P. S.
22
2005
Causal closure for MSC languages. Zbl 1172.68420
Adsul, Bharat; Mukund, Madhavan; Kumar, K. Narayan; Narayanan, Vasumathi
1
2005
Local LTL with past constants is expressively complete for Mazurkiewicz traces. Zbl 1124.68391
Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan
3
2003
Bounded time-stamping in message-passing systems. Zbl 1018.68003
Mukund, Madhavan; Narayan Kumar, K.; Sohoni, Milind
2
2003
Netcharts: bridging the gap between HMSCs and executable specifications. Zbl 1274.68198
Mukund, Madhavan; Kumar, K. Narayan; Thiagarajan, P. S.
1
2003
Checking consistency of SDL+MSC specifications. Zbl 1023.68526
D’Souza, Deepak; Mukund, Madhavan
1
2003
An elementary expressively complete temporal logic for Mazurkiewicz traces. Zbl 1057.68058
Gastin, Paul; Mukund, Madhavan
4
2002
From global specifications to distributed implementations. Zbl 1054.93037
Mukund, Madhavan
3
2002
Hereditary history preserving bisimulation is decidable for trace-labelled systems. Zbl 1027.68090
Mukund, Madhavan
1
2002
Local and symbolic bisimulation using tabled constraint logic programming. Zbl 1053.68582
Basu, Samik; Mukund, Madhavan; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Verma, Rakesh
1
2001
Synthesizing distributed finite-state systems from MSCs. Zbl 0999.68114
Mukund, Madhavan; Narayan Kumar, K.; Sohoni, Milind
8
2000
On message sequence graphs and finitely generated regular MSC languages. Zbl 0973.68042
Henriksen, Jesper G.; Mukund, Madhavan; Kumar, K. Narayan; Thiagarajan, P. S.
7
2000
Regular collections of message sequence charts (extended abstract). Zbl 0996.68506
Henriksen, Jesper G.; Mukund, Madhavan; Narayan Kumar, K.; Thiagarajan, P. S.
4
2000
Synthesizing distributed transition systems from global specifications. Zbl 0956.68008
Castellani, Ilaria; Mukund, Madhavan; Thiagarajan, P. S.
4
1999
Linear time temporal logics over Mazurkiewicz traces. Zbl 0886.03017
Mukund, Madhavan; Thiagarajan, P. S.
8
1996
Determinizing Büchi asynchronous automata. Zbl 1354.68158
Klarlund, Nils; Mukund, Madhavan; Sohoni, Milind
7
1995
Determinizing asynchronous automata. Zbl 1422.68153
Klarlund, Nils; Mukund, Madhavan; Sohoni, Milind
2
1994
Petri nets and step transition systems. Zbl 0774.68086
Mukund, Madhavan
18
1992
A logical characterization of well branching event structures. Zbl 0761.68058
Mukund, Madhavan; Thiagarajan, P. S.
4
1992
Models and logics for true concurrency. Zbl 1075.68604
Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P. S.
3
1992
An axiomatization of event structures. Zbl 0731.03021
Mukund, Madhavan; Thiagarajan, P. S.
2
1989
all top 5

Cited by 146 Authors

9 Muscholl, Anca
8 Bollig, Benedikt
8 Gastin, Paul
6 Mukund, Madhavan
6 Thiagarajan, Pazhamaneri Subramaniam
5 Darondeau, Philippe
5 Genest, Blaise
4 Badouel, Eric
4 Diekert, Volker
4 Kleijn, Jetty H. C. M.
4 Koutny, Maciej
4 Kuske, Dietrich
4 Morin, Rémi
4 Pietkiewicz-Koutny, Marta
3 Akshay, S.
3 Kumar, K. Narayan
3 Lodaya, Kamal
3 Sohoni, Milind A.
2 Baudru, Nicolas
2 Grindei, Manuela-Lidia
2 Habermehl, Peter
2 Hélouët, Loïc
2 Hierons, Robert Mark
2 Lohrey, Markus
2 Lucanu, Dorel
2 Meseguer Guaita, José
2 Montanari, Ugo G.
2 Quaas, Karin
2 Ramanujam, Ramaswamy
2 Ramanujam, Rohit Sunkam
2 Sangnier, Arnaud
2 Sassone, Vladimiro
2 Yang, Shaofa
2 Yoshida, Nobuko
1 Alur, Rajeev
1 Ambroszkiewicz, Stanislaw
1 Avellaneda, Florent
1 Babari, Parvaneh
1 Baier, Christine
1 Balaguer, Sandie
1 Baresi, Luciano
1 Bernardinello, Luca
1 Bocchi, Laura
1 Bruni, Roberto
1 Busi, Nadia
1 Campanoni, Simone
1 Carbone, Marco
1 Carmona, Josep
1 Chatain, Thomas
1 Chaturvedi, Namit
1 Cimatti, Alessandro
1 Crespi Reghizzi, Stefano
1 Desel, Jörg
1 Dima, Cătălin
1 Ding, Yingcai
1 Dingel, Juergen
1 Droste, Manfred
1 Etessami, Kousha
1 Fahland, Dirk
1 Fanchon, Jean
1 Fortin, Marie-Josée
1 Fröschle, Sibylle B.
1 Gao, Xinyan
1 Gazagnaire, Thomas
1 Gelderie, Marcus
1 Gong, Ping
1 Goubault, Eric
1 Guo, Haifeng
1 Haar, Stefan
1 Henriksen, Jesper G.
1 Hermanns, Holger
1 Hildebrandt, Thomas T.
1 Honda, Kohei
1 Hong, Zhong
1 Hoogers, P. W.
1 Huang, Siyu
1 Isawasan, Pradeep
1 Jiang, Jianmin
1 Karimadini, Mohammad
1 Keller, Walter
1 Klarlund, Nils
1 Kleijn, H. C. M.
1 Krčál, Jan
1 Krishna, Siddharth
1 Kufleitner, Manfred
1 Kuperberg, Denis
1 Lanotte, Ruggero
1 Legay, Axel
1 Leucker, Martin
1 Li, Dakui
1 Li, Qin
1 Lin, Hai
1 Liu, Chuchang
1 Liu, Miao
1 Liu, Wenbo
1 Lucas, Philipp
1 Majumdar, Anirban
1 Meenakshi, B.
1 Merayo, Mercedes G.
1 Mimram, Samuel
...and 46 more Authors

Citations by Year

Wikidata Timeline