Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Rupak Majumdar | lit.salon

Author

Rupak Majumdar

7 works

2008–2021 across 6 dated works

No biography is available yet.

Start with

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings2008
With Klaus Havelund, Jens Palsberg
Hybrid Systems : Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings2009
With Paulo Tabuada
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings2010
With Javier Esparza
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings2015
With Ezio Bartocci

Books

7 works

Featured (6)Featured (6)All (7)All (7)

Search booksSort books

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings2015
With Ezio Bartocci
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II2017
With Viktor Kunčak
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Hybrid Systems : Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings2009
With Paulo Tabuada
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings2010
With Javier Esparza
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings2008
With Klaus Havelund, Jens Palsberg
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Networked Systems 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings2021
With Chryssis Georgiou
1 edition
shelves
0
reviews
0
lists
0
quotes
0
POPL '16 : Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages2016
With Rastislav Bodik
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Rupak Majumdar.

The conversation is still open.

There is no public salon activity to show for Rupak Majumdar yet.