Search results for "Supratik Mukhopadhyay"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	S. Sitharama Iyengar, Xin Li, Huanhuan Xu, Supratik Mukhopadhyay, N. Balakrishnan, Amit Sawant, Puneeth Iyengar	Toward More Precise Radiotherapy Treatment of Lung Tumors.	IEEE Computer	2012	DBLP DOI BibTeX RDF
1	Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya	'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths.	COMSNETS	2011	DBLP DOI BibTeX RDF
1	Manuel Peralta, Supratik Mukhopadhyay	Code-Change Impact Analysis Using Counterfactuals.	COMPSAC	2011	DBLP DOI BibTeX RDF
1	Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu	Functional "AJAX" in Secure Synchronous Programming.	HICSS	2011	DBLP DOI BibTeX RDF
1	Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj	Counterfactually reasoning about security.	SIN	2011	DBLP DOI BibTeX RDF
1	S. S. Iyengar, Supratik Mukhopadhyay, Christopher Steinmuller, Xin Li	Preventing Future Oil Spills with Software-Based Event Detection.	IEEE Computer	2010	DBLP DOI BibTeX RDF	AI Redux, Cognitive Information Management (CIM) Shell, Deepwater Horizon oil spill, Complex event processing
1	Sukhamay Kundu, Supratik Mukhopadhyay	Approximation of CFL by Regular Languages for Concurrent Program Verification.	COMPSAC Workshops	2010	DBLP DOI BibTeX RDF
1	Ramesh Bharadwaj, Supratik Mukhopadhyay	A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Formal Methods, Service-Oriented Computing
1	Prabhdeep Singh, Fatih Gelgi, Hasan Davulcu, Stephen S. Yau, Supratik Mukhopadhyay	A Risk Reduction Framework for Dynamic Workflows.	IEEE SCC	2008	DBLP DOI BibTeX RDF	workflows, risk reduction
1	Supratik Mukhopadhyay	A uniform constraint-based framework for the verification of infinite state systems.		2007	RDF
1	Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Haishan Gong, Prabhdeep Singh, Fatih Gelgi	Automated Situation-Aware Service Composition in Service-Oriented Computing.	Int. J. Web Service Res.	2007	DBLP BibTeX RDF
1	Supratik Mukhopadhyay, Abhik Roychoudhury, Zijiang Yang	Preface.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Sandro Etalle, Supratik Mukhopadhyay, Abhik Roychoudhury	Preface.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Ramesh Bharadwaj, Supratik Mukhopadhyay, Nilay Padh	Service Composition in a Secure Agent-Based Architecture.	EEE	2005	DBLP DOI BibTeX RDF
1	Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj	Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems.	WORDS	2005	DBLP DOI BibTeX RDF	dependable software, speci.cation languages, veri.cation, formal analysis, Architectural patterns
1	Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao	Adaptable Situation-Aware Secure Service-Based (AS3) Systems.	ISORC	2005	DBLP DOI BibTeX RDF	adaptive workflow planning, distributed trust management, verification, specification language, situation-awareness, Service-based systems
1	Lan Guo, Supratik Mukhopadhyay, Bojan Cukic	Does Your Result Checker Really Check?	DSN	2004	DBLP DOI BibTeX RDF
1	Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay, Bojan Cukic	RETNA: From Requirements to Testing in a Natural Way.	RE	2004	DBLP DOI BibTeX RDF
1	Jean H. Gallier, Salvatore La Torre, Supratik Mukhopadhyay	Deterministic finite automata with recursive calls and DPDAs.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
1	Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot	Model checking mobile ambients.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay (eds.)	Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings	VMCAI	2003	DBLP BibTeX RDF
1	Supratik Mukhopadhyay, Andreas Podelski	An Algebraic Framework for Abstract Model Checking.	SARA	2002	DBLP DOI BibTeX RDF
1	Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski	Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.	ICLP	2002	DBLP DOI BibTeX RDF
1	Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano	Optimal-Reachability and Control for Acyclic Weighted Timed Automata.	IFIP TCS	2002	DBLP BibTeX RDF
1	Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski	Compositional Termination Analysis of Symbolic Forward Analysis.	VMCAI	2002	DBLP DOI BibTeX RDF
1	Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay	Dynamic Message Sequence Charts.	FSTTCS	2002	DBLP DOI BibTeX RDF
1	Supratik Mukhopadhyay, Andreas Podelski	Constraint Database Models Characterizing Timed Bisimilarity.	PADL	2001	DBLP DOI BibTeX RDF
1	Supratik Mukhopadhyay, Andreas Podelski	Accurate Widenings and Boundedness Properties of Timed Systems.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
1	Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski	Model Checking Communication Protocols.	SOFSEM	2001	DBLP DOI BibTeX RDF
1	Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot	The Complexity of Model Checking Mobile Ambients.	FoSSaCS	2001	DBLP DOI BibTeX RDF
1	Supratik Mukhopadhyay, Andreas Podelski	Model Checking for Timed Logic Processes.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Supratik Mukhopadhyay, Andreas Podelski	Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata.	FSTTCS	1999	DBLP DOI BibTeX RDF

Publications of "Supratik Mukhopadhyay" ( http://dblp.L3S.de/Authors/Supratik_Mukhopadhyay )