no help available
no help available
authorThe blue social bookmark and publication sharing system.
bookmarks
- No matching items.
- Cristian Cadar, and Koushik Sen. Commun. ACM 56(2):82-90 (2013)Cristian Cadar, and Koushik Sen. Commun. ACM 56(2):82-90 (2013)2 months and 28 days agoby dblp1
- Cristian Cadar, and Koushik Sen. RV, volume 7687 of Lecture Notes in Computer Science, page 2. Springer, (2012)Cristian Cadar, and Koushik Sen. RV, volume 7687 of Lecture Notes in Computer Science, page 2. Springer, (2012)3 months and 25 days agoby dblp1
- Peter Collingbourne, Cristian Cadar, and Paul H. J. Kelly. Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 203-218. Springer, (2011)Peter Collingbourne, Cristian Cadar, and Paul H. J. Kelly. Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 203-218. Springer, (2011)6 months and 29 days agoby dblp1
- Cristian Cadar, and Petr Hosek. HotSWUp, page 36-40. IEEE, (2012)Cristian Cadar, and Petr Hosek. HotSWUp, page 36-40. IEEE, (2012)8 months agoby dblp1
- Paul Dan Marinescu, and Cristian Cadar. SPIN, volume 7385 of Lecture Notes in Computer Science, page 7-21. Springer, (2012)Paul Dan Marinescu, and Cristian Cadar. SPIN, volume 7385 of Lecture Notes in Computer Science, page 7-21. Springer, (2012)10 months agoby dblp1
- Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, and Matthew Williams. KR, AAAI Press, (2012)Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, and Matthew Williams. KR, AAAI Press, (2012)10 months agoby dblp1
- Paul Dan Marinescu, and Cristian Cadar. ICSE, page 716-726. IEEE, (2012)Paul Dan Marinescu, and Cristian Cadar. ICSE, page 716-726. IEEE, (2012)10 months agoby dblp1
- Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee. OSDI, page 303-316. USENIX Association, (2004)Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee. OSDI, page 303-316. USENIX Association, (2004)a year agoby dblp1
- JaeSeung Song, Tiejun Ma, Cristian Cadar, and Peter Pietzuch. ICCCN, page 1-8. IEEE, (2011)JaeSeung Song, Tiejun Ma, Cristian Cadar, and Peter Pietzuch. ICCCN, page 1-8. IEEE, (2011)a year agoby dblp1
- Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, and Willem Visser. ICSE, page 1066-1071. ACM, (2011)Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, and Willem Visser. ICSE, page 1066-1071. ACM, (2011)a year and 4 months agoby dblp1
- Tristan O. R. Allwood, Cristian Cadar, and Susan Eisenbach. ISSTA, page 375-385. ACM, (2011)Tristan O. R. Allwood, Cristian Cadar, and Susan Eisenbach. ISSTA, page 375-385. ACM, (2011)a year and 9 months agoby dblp1
- Peter Collingbourne, Cristian Cadar, and Paul H. J. Kelly. EuroSys, page 315-328. ACM, (2011)Peter Collingbourne, Cristian Cadar, and Paul H. J. Kelly. EuroSys, page 315-328. ACM, (2011)2 years and a month agoby dblp1
- Cristian Cadar, Peter Pietzuch, and Alexander L. Wolf. FoSER, page 81-86. ACM, (2010)Cristian Cadar, Peter Pietzuch, and Alexander L. Wolf. FoSER, page 81-86. ACM, (2010)2 years and 4 months agoby dblp1
- Martin Rinard, Cristian Cadar, Daniel Roy, and Daniel Dumitran. #ACSAC04#, (2004)Martin Rinard, Cristian Cadar, Daniel Roy, and Daniel Dumitran. #ACSAC04#, (2004)2 years and 7 months agoby liangzk1
- Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and Jr. William S. Beebee. Proceedings of the 6th Symposium on Operating Systems Design and Implementation OSDI, (December 2004)Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and Jr. William S. Beebee. Proceedings of the 6th Symposium on Operating Systems Design and Implementation OSDI, (December 2004)2 years and 7 months agoby liangzk1
- Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, and Dawson R. Engler. #CCS06#, (2006)Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, and Dawson R. Engler. #CCS06#, (2006)2 years and 7 months agoby liangzk2
- M. Stiemerling, J. Quittek, and C. Cadar. RFC 4540 Experimental, (May 2006)M. Stiemerling, J. Quittek, and C. Cadar. RFC 4540 Experimental, (May 2006)3 years and 6 months ago1
- Cristian Cadar, and Dawson R. Engler. SPIN, volume 3639 of LNCS, page 2-23. Springer, (2005)Cristian Cadar, and Dawson R. Engler. SPIN, volume 3639 of LNCS, page 2-23. Springer, (2005)4 years agoby sriram03392
- Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. OSDI, page 209-224. USENIX Association, (2008)Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. OSDI, page 209-224. USENIX Association, (2008)4 years and 5 months agoby dblp1
- Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, and Dawson R. Engler. ACM Trans. Inf. Syst. Secur. (2008)Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, and Dawson R. Engler. ACM Trans. Inf. Syst. Secur. (2008)4 years and 6 months agoby dblp1