Madhavan Mukund


Books


Journals and Refereed Conferences


Edited Volumes

  • Proc 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012)
    S Chakraborty and M Mukund (eds.):
    Springer Lecture Notes in Computer Science, 7561, (2012).

  • Proc 28th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008)
    R Hariharan, M Mukund and V Vinay (eds.)
    Leibniz International Proceedings in Informatcs (LIPIcs), 2 (2008).

  • Perspectives in Concurrency Theory
    K Lodaya, M Mukund and R Ramanujam (eds.)
    Universities Press (2008).

  • Formal Models, Languages and Applications
    K G Subramanian, K Rangarajan and M Mukund (eds.)
    World Scientific (2006)

  • Proc 21st International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001)
    R Hariharan, M Mukund and V Vinay (eds.)
    Springer Lecture Notes in Computer Science, 2257, (2001).


Invited Contributions

  • Automata on Distributed Alphabets
    M Mukund
    Modern Applications of Automata Theory
    Deepak D'Souza and Priti Shankar (eds), World Scientific (2012) 45-78.

  • Finite-state Automata on Infinite Inputs
    M Mukund
    Modern Applications of Automata Theory
    Deepak D'Souza and Priti Shankar (eds), World Scientific (2012) 257-288.

  • Reachability and boundedness in time-constrained MSC graphs
    P Gastin, M Mukund and K Narayan Kumar
    Perspectives in Concurrency Theory
    K Lodaya, M Mukund and R Ramanujam (eds.), Universities Press (2008) 157-183.

  • Adding time to scenarios
    P Chandrasekaran and M Mukund
    Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
    S Ramesh and P Sampath (eds.), Springer (2007) 83-97.

  • Anchored Concatenation of MSCs
    M Mukund, K Narayan Kumar, P S Thiagarajan and Shaofa Yang
    Formal models, languages and applications
    K G Subramanian, K Rangarajan and M Mukund (eds.), World Scientific (2006) 274-288.

  • From global specifications to distributed implementations
    M Mukund
    Synthesis and Control of Discrete Event Systems
    B Caillaud, P Darondeau, L Lavagno (eds), Kluwer (2002) 19-34.
    Invited talk, Workshop on Synthesis of Concurrent Systems,
    a satellite event of the
    International Conference on Applications and Theory of Petri Nets (ICATPN'01), Newcastle, UK, June 2001.


Tutorials, Surveys and Lecture Notes


Selected Technical Reports


Slides from Selected Presentations