@ARTICLE{ML:ENTCS07,
AUTHOR = {Sayan Mitra and Nancy Lynch},
TITLE = {Proving approximate implementation relations for Probabilistic {I/O} Automata.},
JOURNAL = {Electronic Notes in Theoretical Computer Science},
VOLUME = 174,
NUMBER = 8,
YEAR = 2007,
PAGES = {71-93},
EE = {}
}
@INPROCEEDINGS{ML:paul06,
AUTHOR = {Sayan Mitra and Nancy Lynch},
TITLE = { Approximate simulations for task-structured probabilistic {I/O} automata},
BOOKTITLE = { LICS workshop on Probabilistic Automata and Logics (PAul06)},
YEAR = 2006,
ADDRESS = {Seattle, WA},
MONTH = {August},
URL = {http://theory.lcs.mit.edu/~mitras/research/PAul06-final.pdf}
}
@INPROCEEDINGS{ALLMU:memocode06,
AUTHOR = {Myla Archer and HongPing Lim and Nancy Lynch and Sayan Mitra and Shinya Umeno},
TITLE = { Specifying and Proving Properties of Timed {I/O} Automata in the {TIOA} Toolkit },
BOOKTITLE = {In Fourth ACM-IEEE International Conference on Formal Methods
and Models for Codesign (MEMOCODE'06)},
YEAR = 2006,
PUBLISHER = {IEEE},
URL = {http://theory.lcs.mit.edu/~mitras/research/memocode06.pdf}
}
@ARTICLE{MitraA05,
AUTHOR = {Sayan Mitra and Myla Archer},
TITLE = {{PVS} Strategies for Proving Abstraction Properties of Automata.},
JOURNAL = {Electronic Notes in Theoretical Computer Science},
VOLUME = 125,
NUMBER = 2,
YEAR = 2005,
PAGES = {45-65},
EE = {http://dx.doi.org/10.1016/j.entcs.2005.01.005},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{ML:CDC04,
AUTHOR = {Sayan Mitra and Daniel Liberzon},
TITLE = {Stability of hybrid automata with average dwell time: an invariant approach},
BOOKTITLE = {Proceedings of the 43rd {IEEE} Conference on Decision and Control},
MONTH = {February},
YEAR = {2005},
ADDRESS = {Paradise Island, Bahamas},
NOTE = {Full version \url{http://theory.lcs.mit.edu/~mitras/research/cdc04-full.ps.gz}{[ps]}},
URL = {http://theory.lcs.mit.edu/~mitras/research/cdc04.ps.gz}
}
@INPROCEEDINGS{MA04strat,
AUTHOR = {Sayan Mitra and Myla Archer},
TITLE = {Reusable PVS Proof Strategies for Proving Abstraction Properties of {I}/{O} Automata},
BOOKTITLE = {STRATEGIES 2004, IJCAR Workshop on strategies in automated deduction},
YEAR = {2004},
ADDRESS = {Cork, Ireland},
MONTH = {July},
URL = {http://theory.lcs.mit.edu/~mitras/research/strategieso4.ps.gz}
}
@MASTERSTHESIS{mitra01masters,
AUTHOR = {Sayan Mitra},
TITLE = {{HIOA} - A Specification Language for Hybrid {I}nput/{O}utput
Automata},
SCHOOL = {Department of Computer Science and Automation, IISc},
ADDRESS = {Indian Institute of Science, Bangalore},
YEAR = 2001,
URL = {http://theory.lcs.mit.edu/~mitras/research/mastersthesis.ps.gz}
}
@TECHREPORT{quantr02,
AUTHOR = {Sayan Mitra and Yong Wang and Nancy Lynch and Eric Feron},
TITLE = {Application of {H}ybrid {I/O} {A}utomata in Safety Verification of
Pitch Controller for Model Helicopter System},
INSTITUTION = {MIT Laboratory for Computer Science},
YEAR = {2002},
ADDRESS = {Cambridge, MA 02139},
MONTH = {October},
URL = {http://theory.lcs.mit.edu/~mitras/research/QuanTR02.ps}
}
@INPROCEEDINGS{MWLF-hscc03,
AUTHOR = {Sayan Mitra and Yong Wang and Nancy Lynch and Eric Feron},
TITLE = {Safety Verification of Model Helicopter Controller using Hybrid
{I}nput/{O}utput Automata},
BOOKTITLE = {HSCC'03, Hybrid System: Computation and Control},
ADDRESS = {Prague, the Czech Republic},
MONTH = {April 3-5},
YEAR = {2003},
URL = {http://theory.lcs.mit.edu/~mitras/research/paper033.ps}
}
@INPROCEEDINGS{KLM04,
AUTHOR = {Dilsun Kaynar and Nancy Lynch and Sayan Mitra},
TITLE = {Specifying and Proving Timing Properties with {TIOA} Tools},
BOOKTITLE = {In the work in progress session of the 25th {IEEE} International
Real-Time Systems Symposium ({RTSS-WIP})},
YEAR = {2004},
ADDRESS = {Lisbon, Portugal},
MONTH = {December},
URL = {http://theory.lcs.mit.edu/~mitras/research/wip04.ps.gz}
}
@INPROCEEDINGS{CLMT:disc05,
AUTHOR = {Gregory Chockler and Nancy Lynch and Sayan Mitra and Joshua Tauber},
TITLE = { Proving atomicity: an assertional approach},
BOOKTITLE = {Proceedings of Nineteenth International Symposium on Distributed Computing ({DISC'05})},
PAGES = {152 - 168},
YEAR = 2005,
EDITOR = {Pierre Fraigniaud},
VOLUME = { 3724},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = { Cracow, Poland },
MONTH = {September},
PUBLISHER = {Springer},
NOTE = {Full version:\url{http://theory.lcs.mit.edu/~mitras/research/v30.pdf}},
URL = {http://theory.lcs.mit.edu/~mitras/research/disc05.pdf}
}
@INPROCEEDINGS{LKLM:formats05,
AUTHOR = {Hongping Lim and Dilsun Kaynar and Nancy Lynch and Sayan Mitra},
TITLE = {Translating timed I/O automata specifications for theorem proving in PVS},
BOOKTITLE = {Proceedings of Formal Modelling and Analysis of Timed Systems ({FORMATS'05})},
YEAR = 2005,
VOLUME = 3829,
SERIES = {LNCS},
ADDRESS = {Uppsala, Sweden},
MONTH = {September},
PUBLISHER = {Springer},
URL = {http://theory.lcs.mit.edu/~mitras/research/formats05.pdf}
}
@INPROCEEDINGS{LML:icnp05,
AUTHOR = {Ben Leong and Sayan Mitra and Barbara Liskov},
TITLE = {Path vector face routing: Geographic routing with local face information},
BOOKTITLE = { Proceedings of 13th {IEEE} International Conference on Network Protocols ({ICNP'05})},
YEAR = 2005,
ADDRESS = {Boston, Massachusetts},
MONTH = {November},
URL = {http://theory.lcs.mit.edu/~mitras/research/icnp-pvfr.pdf}
}
@INPROCEEDINGS{LMN:cdc05,
AUTHOR = {Nancy Lynch and Sayan Mitra and Tina Nolte},
TITLE = {Motion coordination using virtual nodes},
BOOKTITLE = { Proceedings of 44th {IEEE} Conference on Decision and Control ({CDC05})},
YEAR = 2005,
ADDRESS = {Seville, Spain},
MONTH = {December},
URL = {http://theory.lcs.mit.edu/~mitras/research/vn-cdc07.pdf}
}
@MANUAL{TIOALanguage,
TITLE = {{TIOA} Language},
AUTHOR = {D. Kaynar and N. Lynch and S. Mitra and S. Garland},
ORGANIZATION = {MIT Computer Science and Artificial Intelligence Laboratory},
ADDRESS = {Cambridge, MA},
YEAR = {2005},
URL = {http://tioa.csail.mit.edu/moin.cgi/ProjectDocuments/}
}
@INPROCEEDINGS{MLL:hscc06,
AUTHOR = {Sayan Mitra and Daniel Liberzon and Nancy Lynch},
TITLE = {Verifying Average Dwell Time by Solving Optimization Problems},
BOOKTITLE = {Hybrid Systems: Computation and Control (HSCC 06)},
KEY = {mllhscc06},
YEAR = {2006},
EDITOR = {Ashish Tiwari and Joao P. Hespanha},
SERIES = {LNCS},
ADDRESS = {Santa Barbara, CA},
MONTH = {March},
PUBLISHER = {Springer},
URL = {http://theory.lcs.mit.edu/~mitras/research/paper033.ps}
}
This file has been generated by
bibtex2html 1.70