Loading...
Images of Jyotirmoy Deshmukh
(0 from 0 )1
0
0
News
Campus Event Calendar: Jyotirmoy Deshmukh ( in G )
domino.mpi-inf.mpg.de
Title: Mining Requirements from an Industrial-scale Control System. Speaker: Jyotirmoy Deshmukh. coming from: Toyota Engineering.
Conference Program | Design Automation Conference
www2.dac.com
Jyotirmoy Deshmukh - Univ. of Southern California, Los Angeles, CA , Runtime Monitoring for Safety of Intelligent Vehicles. Speaker: Eunsuk Kang - Toyota ...
ETAPS Complangwww.complang.tuwien.ac.at/etaps06/Programme/progTACAS.html
www.complang.tuwien.ac.at
... room: EI 7): Automatic Verification of Parameterized Data Structures: Jyotirmoy Deshmukh, E. Allen Emerson, and Prateek Gupta (The Univ.
Telephone & Addresses
Jyotirmoy V Deshmukh, 38
View Jyotirmoy's social profiles and photos on Facebook, MySpace, and +40 Networks.
WhitePages: Jyotirmay Deshmukh | Whitepages
Prior:Honolulu HI, Brandon FL, Hopkins MN, Tampa FL, Pittsfield MA; Knows:No known associations. View Full ProfileView More Details · Jyotirmoy Deshmukh.
Network Profiles
mesa/README.md at main · NASA-SW-VnV/mesa - GitHub
github.com
In: Jyotirmoy Deshmukh and Dejan Nickovic (eds) Runtime Verification. RV Lecture Notes in Computer Science, vol Springer, Cham. › NASA-SW-VnV › mesa › blob › R...
jyotirmoy deshmukh: 1 Books available | chapters.indigo.ca
www.chapters.indigo.ca
› contributor › author › jy...
Business Profiles
Jyotirmoy Deshmukh University of Southern California | USC
www.researchgate.net
› profile › Jyotirmoy-Deshm...
Education
Sriram Sankaranarayanan: Publications
theory.stanford.edu
[DES09] Jyotirmoy Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan, Symbolic Deadlock Analysis in Concurrent Libraries and their Clients, ASE 2009, to appear.
AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-16)
www.inf.kcl.ac.uk
Jyotirmoy Deshmukh, Toyota Motors, USA, Erion Plaku, Catholic University of America, USA. Stefan Edelkamp, University of Bremen, Germany, Miguel Ramirez, ...
FMCAD Final Program
www.cs.utexas.edu
Jyotirmoy Deshmukh and E . Allen Emerson. Verification of Recursive Methods on Tree-like Data Structures ...
Heritage
Jyotirmoy Deshmukh - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Search; About MGP. Mission; News; Staff; Recognition; Acknowledgments; Links; FAQs; Posters; Submit Data; Contact; The Mathematics Genealogy Project is in need of ...
E. Allen Emerson - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Name School Year Descendants; Nina Amla: University of Texas at Austin: 2001: Paul Attie: University of Texas at Austin: 1995: Jyotirmoy Deshmukh: University of Texas ...
Projects
HOL theorem-proving system / [Hol-info] V2CPS: Workshop on...
sourceforge.net
... Boulder, USA) -- Jyotirmoy Deshmukh (Toyota Technical Center, USA) Program Committee: -- Ufuk Topcu, University of Texas at Austin, ...
Bridging the Gap between Research and Practice: Formal Methods in the...
ptolemy.berkeley.edu
Bridging the Gap between Research and Practice: Formal Methods in the Automotive Domain Jyotirmoy Deshmukh. Citation Jyotirmoy Deshmukh. "Bridging the Gap …
HOL theorem-proving system / [Hol-info] NSV 2013, CFP, Extended...
sourceforge.net
Jyotirmoy.Deshmukh@... Program Committee ================== - Khalil Ghorbal Carnegie Mellon University - Jyotirmoy V. Deshmukh Toyota Technical ...
Books & Literature
Runtime Verification - Booktopia
www.booktopia.com.au
Oct 7, — ... RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings by Jyotirmoy Deshmukh online from Australia's leading online eBook store. › ebook
Runtime Verification: 20th International Conference, RV
www.goodreads.com
Dec 8, — Jyotirmoy Deshmukh (Editor),. Dejan Nickovic (Editor) · Rating details · 0 ratings · 0 reviews. This book constitutes the refereed ... › book › show ›
Interdisciplinary Topics in Applied Mathematics, Modeling ...
books.google.com
James Kapinski and Jyotirmoy Deshmukh Abstract We describe a numerical technique for discovering forward invariant sets for discrete-time nonlinear ...
Runtime Verification: 20th International Conference, RV ...
books.google.com
20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings Jyotirmoy Deshmukh, Dejan Ničković. Dejan Jyotirmoy Deshmukh ...
Related Documents
[ ] Mining Shape Expressions with ShapeIt - arXiv
arxiv.org
by E Bartocci · — Authors:Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin. › cs
Jyotirmoy Deshmukh - researchr alias
researchr.org
Publications by 'Jyotirmoy Deshmukh'. Publications; Advised. No publications in this list. About · Contact · Credits · Help · Web Service API · Blog · FAQ ...
[ v2] Logical Concurrency Control from Sequential Proofs
arxiv.org
Jul 21, · Title: Logical Concurrency Control from Sequential Proofs. Authors: Jyotirmoy Deshmukh (University of Texas at Austin), G. Ramalingam
CiteSeerX — Protocol Design with Concolic Snippets
citeseerx.ist.psu.edu
BibTeX @MISC{Alur_protocoldesign, author = {Rajeev Alur and Jyotirmoy Deshmukh and Milo Martin and Arun Raghavan and Rajeev Alur and Jyotirmoy Deshmukh and …
Scientific Publications
dblp: Jyotirmoy V. Deshmukh
dblp.uni-trier.de
List of computer science publications by Jyotirmoy V. Deshmukh
LandOfFree - Scientist - Jyotirmoy V. Deshmukh
science.landoffree.com
Check out Jyotirmoy V. Deshmukh. Rate and share your experience with other people.
NSV 2015: 8th International Workshop on Numerical Software...
nsv2015.informatik.uni-freiburg.de
NSV 2015: 8th International Workshop on Numerical Software Verification Nikos Arechiga, James Kapinski, Jyotirmoy Deshmukh, Andre Platzer and Bruce Krogh.
Publications
Runtime Verification | SpringerLink
link.springer.com
by J Deshmukh · — 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings · Jyotirmoy Deshmukh · Dejan Ničković. › book
Logical Concurrency Control from Sequential Proofs - CORE
core.ac.uk
Logical Concurrency Control from Sequential Proofs. By Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath and Kapil Vaswani ...
Logical Concurrency Control from Sequential Proofs | SpringerLink
link.springer.com
We are interested in identifying and enforcing the isolation requirementsof a concurrent program, i.e., concurrency control that ensures that the program meets...
Reports & Statements
Specification Formalisms for Modern Cyber-Physical Systems
www.dagstuhl.de
Specification Formalisms for Modern Cyber-Physical Systems. Organizers. Jyotirmoy Deshmukh (USC – Los Angeles, US) Oded Maler (VERIMAG – Grenoble, FR) › program › calendar › semhp
[TYPES/announce] Second CFP: 7th International Workshop on Numerical...
www.mail-archive.com
... Olivier Bouissou CEA, LIST - Jyotirmoy Deshmukh Toyota Technical Center - Khalil Ghorbal Carnegie Mellon University - Eric Goubault CEA, ...
CISE Seminar: Jyotirmoy Deshmukh, Toyota
www.bu.edu
CISE Seminar: Jyotirmoy Deshmukh, Toyota. "How Can We Formally Reason About Industrial-Scale Control Systems?" Date: Friday ...
Miscellaneous
Internships - Souradeep Dutta - Google Sites
sites.google.com
Worked remotely with Jyotirmoy Deshmukh, Toyota Research Institute, North America; Summer Supervised By : Dr Madanlal Musuvathi,. › site › internships
Jyotirmoy Deshmukh | LinkedIn
www.linkedin.com
world's largest business network, helping professionals like Jyotirmoy Deshmukh
...
Academics | Aniruddh Puranic
aniruddh-puranic.info
Aniruddh Puranic, Jian Chen, Jessica Nguyen, Jyotirmoy Deshmukh, Andrew Hung. Journal of Urology, Specifying and Evaluating Quality Metrics for ... › academics
Anand Balakrishnan
anandb.me
Jyotirmoy Deshmukh. My research interests lie in the design and verification of controllers for cyber-physical systems. My research involves:.
Award # CPS: Small: Uncertainty-aware ...
www.nsf.gov
; Jyotirmoy Deshmukh (Co-Principal Investigator). Awardee Sponsored Research Office: University of Southern California S FLOWER ST FL 3 › awardsearch › showAward
CS 591, Monsoon IIT Guwahati
www.iitg.ac.in
Chapters 6, 7 and 9 are relevant for this course. Course on Autonomous Cyber-Physical Systems by Jyotirmoy Deshmukh at USC (with lecture slides). › pbhaduri
CS659: Autonomous Cyber-Physical Systems - CSE - IIT Kanpur
www.cse.iitk.ac.in
Jyotirmoy Deshmukh (Email: jyotirmoy[dot]deshmukh[at]usc[dot]edu) Indranil Saha (Email: isaha[at]cse[dot]iitk[dot]ac[dot]in) Teaching Assistants: › isaha › Courses › acps21
Departmental Papers (CIS) - ScholarlyCommons
repository.upenn.edu
Protocol Design With Concolic Snippets, Rajeev Alur, Jyotirmoy Deshmukh, Sela Mador-Haim, Milo Martin, Arun Raghavan, and Abhishek Udupa. › cis_papers › index.2.html
Efficient System Verification with Multiple Weakly-Hard ...
www.scholars.northwestern.edu
by SL Wu · · Cited by 2 — Title of host publication, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Editors, Jyotirmoy Deshmukh, Dejan Nickovic. › publications
Hyperproperties of real-valued signals (bibtex) - Taylor T ...
www.taylortjohnson.com
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Taylor T. Johnson, "Hyperproperties of real-valued signals", In 15th ACM-IEEE ... › bibtexbrowser
Luan Nguyen : University of Dayton, Ohio
udayton.edu
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, and Taylor T. Johnson, “Hyperproperties of Real-Valued Signals,” 15th ACM-IEEE ... › artssciences › computerscience
Numerically-Robust Inductive Proof Rules for Continuous ...
www.tri.global
Jul 15, — TRI Authors: Nikos Arechiga, Soonho Kong. All Authors: Sicun Gao, James Kapinski, Jyotirmoy Deshmukh, Nima Roohi, Armando Solar-Lezama, ... › research › numerically-robust-i...
Related search requests for Jyotirmoy Deshmukh
Rajeev Alur Jian Chen Alessandro D'innocenzo | Arun Raghavan Thao Dang Andrew Hung | Alexandre Donzé Sela Mador-Haim Mohamed Djemai |
Person "Deshmukh" (7) Forename "Jyotirmoy" (85) Name "Deshmukh" (1931) |
sorted by relevance / date