-
Notifications
You must be signed in to change notification settings - Fork 0
/
oin.html
executable file
·387 lines (357 loc) · 17.3 KB
/
oin.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
<html>
<head>
<title>Ashutosh Trivedi</title>
<link href="main.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script>
<link href='http://fonts.googleapis.com/css?family=Open+Sans' rel='stylesheet' type='text/css'>
<link href='http://fonts.googleapis.com/css?family=Ultra' rel='stylesheet' type='text/css'>
</head>
<body>
<table>
<tr>
<td width=100%>
<table BORDER="0" CELLPADDING="10" CELLSPACING="10">
<tr>
<td width=40%>
<div class="image-cropper">
<img width=228cm src="aaa.jpg">
</div>
</td>
<td width=60%>
<div class="header"> Ashutosh Trivedi </div>
Assistant Research Professor
<br>
<a href="http://www.cs.colorado.edu/"> Department of Computer Science </a><br>
<a href="http://www.colorado.edu/"> University of Colorado Boulder</a><br>
<br>
<b> Office </b>:
ECCS 121 D <br>
<b> Address </b>:
1045 Regent Drive 430 UCB <br>
Boulder CO, 80309-0430 USA <br>
<b> Phone</b>:
+1-303-735-6628 <br>
<b> Twitter</b>:
astrivedi
<br>
<b> Skype </b>:
astrivedi
<br>
<b> URL </b>:
<a href="http://ashutoshtrivedi.com"> http://ashutoshtrivedi.com</a>
<br>
<b> Email</b>: [email protected] <br>
</td>
</tr>
</table>
<hr>
<p>
I am an assistant research professor in
the <a href="http://www.cs.colorado.edu/"> Department of Computer Science </a>
at the
<a href="http://www.colorado.edu/"> University of Colorado Boulder</a>.
I am a member of the <a href="http://plv.colorado.edu/"> Programming Languages
and Verification Group </a> and the
<a href="http://www.colorado.edu/cs-theory/"> Theory Group</a> at the University of Colorado Boulder (CUPLV).
</p>
<p>
The central theme underlying my research is to employ rigorous mathematical
reasoning to analyze (verification and optimization) and to design (controller
synthesis) secure cyber-physical systems with guaranteed performance.
Key sub-themes of my research include timed and hybrid systems, strochastic systems,
transducers, logic and automata, and games.
</p>
<hr>
<a id="news"> </a>
<h3> News </h3>
<ul>
<li>
I am offering <a href="courses/csci3434.html"> CSCI 3434 (Theory of Computation) </a> this Fall.
</ul>
<hr>
<h3> Projects/Awards </h3>
<ul>
<li>
I am a co-PI on the DARPA <a href="http://www.darpa.mil/program/space-time-analysis-for-cybersecurity"> STAC </a> program.
<li>
I am a co-PI on an Indo-French project on the <b> Algorithmic Verification of
Real-Time Systems </b>
(<a href="http://www.labri.fr/perso/herbrete/averts/index.html">AVeRTS</a>).
<li>
I received <a href="http://www.liv.ac.uk/research/liverpool-india-fellowships/">Liverpool
India fellowship</a> in 2014.
</ul>
<hr>
<h3> Teaching</h3>
<ul>
<li> Current
<ul>
<li> <a href="courses/csci3434.html"> CSCI 3434 (Theory of Computation) : Fall 2016 </a>
</ul>
<li> Previous
<ul>
<li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs226.html"> CS 226 (Digital Logic Design) : Spring 2014 </a>
<li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs254.html"> CS 254 (Digital Logic Design Lab) : Spring 2014 </a>
<li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs208.html"> CS 208 (Automata Theory and Logic) : Spring 2014 </a>
<li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs208.html"> CS 208 (Automata Theory and Logic) : Spring 2013 </a>
<li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs620.html"> CS 620 (New Trends in Information Technology) : Autumn 2013 </a>
<li> <a href="http://www.cse.iitb.ac.in/~trivedi/courses/cs208-summer13.html"> CS 208 (Automata Theory and Logic) : Summer 2012 </a>
</ul>
</ul>
<hr>
<h3>Professional Service</h3>
<ul>
<li> Program Chair:
<ul>
<li> <a href="http://www.cs.ox.ac.uk/conferences/VVCPS16/"> VVCPS 2016 </a> (colocated with iFM 2016)
</ul>
<li> PC Membership:
<ul>
<li> <a href="https://www.concur2016.ulaval.ca/no_cache/home/"> CONCUR 2016</a>
<li> <a href="http://www.fsttcs.org/">FSTTCS 2014</a>
<li> <a href="http://www.cs.ox.ac.uk/conferences/hscc2016/index.html"> HSCC 2016 </a>, <a href="http://ljk.imag.fr/hscc2015/">HSCC 2015</a>, <a href="http://2014.hscc-conference.org/">HSCC 2014</a>
<li>
<a href="http://formats2015.unifi.it/">FORMATS 2015</a>,
<a href="http://formats2014.unifi.it/">FORMATS 2014</a>,
<a href="http://projects.lsv.ens-cachan.fr/formats2013/">FORMATS 2013</a>
</ul>
<li> Organizing Chair:
<ul>
<li> <a href="http://www.cs.ox.ac.uk/conferences/VVCPS16/"> VVCPS 2016 </a> (colocated with iFM 2016)
<li> <a href="http://www.cse.iitb.ac.in/~icla15"> ICLA 2015</a>
<li> <a href="http://www.cse.iitb.ac.in/~alc15"> ALC 2015 </a>
</UL>
</ul>
<hr>
<a id="pubs"></a>
<h3> Tools </h3>
<UL>
<li> <a href="https://bitbucket.org/mskd96/meanpayoff"> MMPGSolver </a> : <b> Multi-player mean-payoff games solver </b>
<li> <a href="https://bitbucket.org/ashut/symsim"> SymSIM </a> : <b> Symmetric Strategy-Improvement Game Solver </b>
</UL>
<hr>
<h3> Publications [As seen by <a href="http://www.informatik.uni-trier.de/~ley/pers/hd/t/Trivedi:Ashutosh">DBLP</a> and <a href="http://scholar.google.co.in/citations?\
user=9WDXyy4AAAAJ&hl=en"> Google Scholar</a>]</h3>
<h4> 2016 </h4>
<UL class="Ashu">
<li> Vrunda Dave, Krishna S. and Ashutosh Trivedi.
<a href=""> FO-definable transformations of infinite strings </a>. <br>
Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016.
<br><br>
<li> Shibashis Guha, Marcin Jurdzinski, Krishna S. and Ashutosh Trivedi.
<a href=""> Mean-Payoff Games on Timed Automata </a>. <br>
Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016.
<br><br>
<li> S Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa,
Ashutosh Trivedi.
<a href="https://arxiv.org/abs/1607.05671"> Stochastic Timed Games Revisited </a>. <br>
Mathematical Foundations of Computer Science (MFCS 2016)
<br><br>
<li> Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
<a href="http://www.sciencedirect.com/science/article/pii/S0304397516300603"> Expected reachability-time games </a>. <br>
Theoretical Computer Science 631: 139-160 (2016)
<br><br>
<li> Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
<a href="http://link.springer.com/chapter/10.1007%2F978-3-662-53132-7_4"> A Perfect Class of Context-Sensitive Timed Languages </a>. <br>
Developments in Language Theory (DLT 2016), Volume 9840 of the series LNCS, pp 38-50
<br><br>
<li> Devendra Bhave, Vrunda Dave, Shankara Narayanan Krishna, Ramchandra Phawade, Ashutosh Trivedi
<a href="http://link.springer.com/chapter/10.1007%2F978-3-319-30000-9_7"> A Logical Characterization for Dense-Time Visibly Pushdown Automata </a>. <br>
Language and Automata Theory and Applications (LATA 2016), Volume 9618 of
the series LNCS, pp 89-101
<br><br>
<li> Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Maram Sai Krishna Deepak, Bharath Kumar Padarthi.
<a href="http://link.springer.com/chapter/10.1007%2F978-3-319-41591-8_21">Incentive Stackelberg Mean-Payoff Games </a>. <br>
Software Engineering and Formal Methods (SEFM 2016), Volume 9763 of the
series LNCS, pp 304-320
<br><br>
</UL>
<h4> 2015 </h4>
<UL class="Ashu">
<li> Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh
Trivedi:
<a href="http://dl.acm.org/citation.cfm?doid=2744769.2747928"> Compositional modeling and analysis of automotive feature product
lines. </a> <br>
DAC 2015: 57:1-57:6 <br><br>
<li>
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay:
<a href="http://arxiv.org/abs/1508.05497"> Skolem Functions for Factored Formulas. </a> <br> FMCAD 2015:
73-80
<br><br>
<li>
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
<a href="http://drops.dagstuhl.de/opus/volltexte/2015/5644/"> Revisiting Robustness in Priced Timed Games. </a> <br>
FSTTCS 2015: 261-277
<br><br>
<li>
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
<a href="http://ieeexplore.ieee.org/document/7371934/?arnumber=7371934"> Reachability Games on Recursive Hybrid Automata. <a> <br> TIME
2015: 150-159
<br><br>
<li> Sven Schewe, Ashutosh Trivedi, Thomas Varghese.
<a href="http://link.springer.com/chapter/10.1007%2F978-3-662-47666-6_31"> Symmetric Strategy Improvment </a>. <br>
Proocedings of the 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015).
<br><br>
<li>
Ankush Das, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi, and Dominik Wojtczak.
<a href="http://link.springer.com/chapter/10.1007%2F978-3-319-17142-5_31"> On Pure Nash Equilibria in Stochastic Games</a>. <br>
Prooceeding of the 12th international conference on Theory and Applications of Models of Computation TAMC 2015.
<br><br>
<li> Shankara Narayanan Krishna, Lakhsmi Manasa, and Ashutosh Trivedi.
<a href="http://dl.acm.org/citation.cfm?doid=2728606.2728624"> What is Decidable about Recursive Hybrid Automata? </a> <br>
HSCC'15, 31--40, Seattle, April 2015.
<br><br>
<li> Devendra Bhave, Sagar Jha, Shakara Narayanan Krishna, Sven Schewe, and Ashutosh Trivedi.
<a href="http://dl.acm.org/citation.cfm?doid=2728606.2728616"> Bounded-Rate Multi-Mode Systems Based Motion Planning. </a> <br>
HSCC'15, 41--50, Seattle, April 2015.
<br><br>
<li> Shankara Narayanan Krishna, Lakshmi Manasa, and Ashutosh Trivedi.
<a href="http://link.springer.com/chapter/10.1007%2F978-3-319-15579-1_18"> The Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable</a> <br>
To appear in Proceedings of LATA'15, Nice, France, Mar 2015.
</UL>
<h4> 2014 </h4>
<UL class="Ashu">
<li>
Emmanuel Filiot, Shankara Narayanan Krishna, and Ashutosh Trivedi.
<a href="http://arxiv.org/abs/1406.7824"> First-order definable string transformations</a>. <br>
Proceedings of IARCS Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, FSTTCS 2014.
<br>
<br>
<li>
Shankara Narayanan Krishna, Umang Mathur, and Ashutosh Trivedi.
<a href="pubs/formats14.html"> Weak Singular Hybrid Automata </a>. <br>
Proceedings of 12th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2014. <br>
<br>
<li>
Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Benjamin Monmege, and Ashutosh Trivedi.
<a href="pubs/concur14.html"> Adding Negative Prices to Priced Timed Games </a>. <br>
Proceedings of the 25th international conference on concurrency theory, CONCUR 2014. <br>
<br>
<li>
Shankara Narayanan Krishna, Lakshmi Manasa, and Ashutosh Trivedi.
<a href="pubs/gandalf14.html"> Improved Undecidability Results for Reachability Games on Recursive Timed Automata</a>. <br>
Proceedings of the 5th international symposium on games, automata, logics and formal verification, GandALF 2014. <br>
</ul>
<h4> 2013 </h4>
<UL class="Ashu">
<li>
Shankara Narayanan Krishna and Ashutosh Trivedi.
<a href="pubs/iisc13.html"> Hybrid Automata for Formal Modeling
and Verification of Cyber-Physical Systems</a>. <br>
<a href="http://journal.iisc.ernet.in/index.php/iisc/issue/view/Jul%20-%20Sep.%202013/showToc">Journal of the Indian Institute of Science</a>, 2013. <br>
<br>
<li>
Rajeev Alur, Antoine Durand-Gasselin, and Ashutosh Trivedi.
<a href="pubs/lics13.html"> From Monadic Second-Order Definable String Transformations to Transducers</a>. <br>
Proceedings of 28th Annual Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press, 2013. <br>
<br>
<li>
Rajeev Alur, Vojtech Forejt, Salar Moarref, and Ashutosh Trivedi.
<a href="pubs/hscc13.html"> Safe Schedulability of Bounded-Rate Multi-Mode Systems</a>. <br>
Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013,
<br>
</ul>
<h4> 2012 </h4>
<ul>
<li>
Taolue Chen, Vojtech Forejt, Marta Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, and Michael Ummels.
<a href="pubs/concur12.html">Playing Stochastic Games Precisely</a>.
<br>
Proceedings of 23rd International Conference on Concurrency Theory, CONCUR 2012.
<br><br>
<li> Rajeev Alur, Emmanuel Filiot, and Ashutosh Trivedi.
<a href="pubs/lics12.html">Regular Transformations of Infinite Strings</a>. <br>
Proceedings of the 27th Annual IEEE/ACM Symposium on Logic in Computer Science, LICS 2012.
<br>
<br>
<li> Rajeev Alur, Ashutosh Trivedi, and Dominik Wojtczak.
<a href="pubs/hscc12.html">Optimal Scheduling for Constant-Rate Multi-Mode System</a>. <br>
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC 2012.
<br> <font color="#8A0808"> Best paper award, HSCC, CPS Week 2012.</font>
<br>
</ul>
<h4> 2011 </h4>
<ul>
<li> Rajeev Alur and Ashutosh Trivedi.
<a href="pubs/emsoft11.html"> Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems</a>. <br>
Proceedings of the 9th ACM international conference on Embedded software, EMSOFT 2011.<br>
</ul>
<h4> 2010 </h4>
<ul>
<li> Ashutosh Trivedi and Dominik Wojtczak.
<a href="pubs/atva10.html">Recursive Timed Automata</a>. <br>
Proceedings of 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010.<br><br>
<li> Ashutosh Trivedi and Dominik Wojtczak.
<a href="pubs/qest10.html">Timed Branching Processes</a>.<br>
Proceedings of the 7th International Conference on Quantitative Evaluation of Systems, QEST 2010.
<br><br>
<li> Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
<a href="pubs/formats10.html">Expected Reachability-time Games</a>.
[<a href="http://www.prismmodelchecker.org/papers/RR-10-07.pdf">Full version</a>]<br>
Proceedings of 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010.
<br><br>
<li> Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
<a href="pubs/arxiv10.html"> Quantitative Games on Probabilistic Timed Automata </a>. <br>
Unpublished manuscript, CoRR abs/1001.1933, 2010 <br>
</ul>
<h4> 2009 </h4>
<ul>
<li> Ashutosh Trivedi. <a href="pubs/warwick09.html"> Competitive Optimisation on Timed Automata </a> <br>
PhD dissertation, The University of Warwick.
<br><br>
<li> Marcin Jurdzinski, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi.
<a href="pubs/concur09.html">
Concavely-Priced Probabilistic Timed Automata</a> [<a href="http://qav.comlab.ox.ac.uk/bibitem.php?key=JKNT09b">Full version</a>].<br>
Proceedings of 20th International Conference on Concurrency Theory, CONCUR 2009.
</ul>
<h4> 2008 </h4>
<ul>
<li> Marcin Jurdzinski and Ashutosh Trivedi.
<a href="pubs/fsttcs08.html">Average-Time Games</a> [<a href="http://arxiv.org/abs/0910.2891">Full version</a>].<br>
Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008). <br><br>
<li> Marcin Jurdzinski and Ashutosh Trivedi.
<a href="pubs/formats08.html">
Concavely-Priced Timed Automata</a> <br>
Proceedings of 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008.
</ul>
<h4> 2007 </h4>
<ul>
<li> Marcin Jurdzinski and Ashutosh Trivedi.
<a href="pubs/icalp07.html">
Reachability-Time Games on Timed Automata</a> [<a href="http://arxiv.org/abs/arxiv:0907.3414">Full version</a>]. <br>
Proceedings of 34th International Colloquium on Automata, Languages and Programming, ICALP 2007.
</ul>
<h4> 2003 </h4>
<ul>
<li> Ashutosh Trivedi.
<a href="pubs/iitb03.html">
Techniques In Symbolic Model Checking </a><br>
Master's dissertation, IIT Bombay.
</ul>
<hr>
<center>
<font color="gray"> Last updated in August 2016. </a>
<br><br>
</center>
</td>
<!-- <td width=20%>
<center>
<a class="twitter-timeline" href="https://twitter.com/astrivedi">Tweets by astrivedi</a> <script async src="//platform.twitter.com/widgets.js"></script>
</center>
</td>
-->
</tr>
</table>
</body>
</html>