Madhavan Mukund

Available identifiers

zbMath Open mukund.madhavanWikidataQ102339834 ScholiaQ102339834MaRDI QIDQ229996

List of research outcomes

Publication	Date of Publication	Type
Regular languages: from automata to logic and back	2024-07-29	Paper
A local-time semantics for negotiations	2024-05-03	Paper
Knowledge transfer and information leakage in protocols	2022-08-12	Paper
Formalizing and checking multilevel consistency	2020-08-05	Paper
Time-bounded statistical analysis of resource-constrained business processes with distributed probabilistic systems	2018-08-16	Paper
Effective verification of replicated data types using later appearance records (LAR)	2016-01-08	Paper
Checking conformance for time-constrained scenario-based specifications	2015-07-24	Paper
Bounded implementations of replicated data types	2015-02-04	Paper
Distributed Markov chains	2015-02-04	Paper
Distributed timed automata with independently evolving clocks	2014-05-14	Paper
Finite-state automata on infinite inputs	2013-02-26	Paper
Automata on distributed alphabets	2013-02-26	Paper
Model checking time-constrained scenario-based specifications	2012-08-29	Paper
Assembling Sessions	2011-10-07	Paper
Kleene theorems for product systems	2011-07-29	Paper
Adding time to scenarios	2010-06-02	Paper
Netcharts: bridging the gap between HMSCs and executable specifications.	2010-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q5190778	2009-07-27	Paper
Distributed Timed Automata with Independently Evolving Clocks	2008-11-25	Paper
Checking Coverage for Infinite Collections of Timed Scenarios	2008-09-18	Paper
A Fresh Look at Testing for Asynchronous Communication	2008-09-04	Paper
Matching Scenarios with Timing Constraints	2008-07-08	Paper
Local Testing of Message Sequence Charts Is Difficult	2008-02-26	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
Model Checking Software	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4811370	2004-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4737221	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736511	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4426378	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4415263	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4536376	2002-06-25	Paper
Models and logics for true concurrency.	2002-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q3152830	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2754187	2001-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4501674	2000-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4501586	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4375802	1998-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4353634	1997-09-10	Paper
PETRI NETS AND STEP TRANSITION SYSTEMS	1993-05-16	Paper
A logical characterization of well branching event structures	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3356298	1989-01-01	Paper

Research outcomes over time

This page was built for person: Madhavan Mukund