Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions
Heym, Wayne, Sivilotti, Paolo A. G., Bucci, Paolo, Sitaraman, Murali, Plis, Kevin, Hollingsworth, Joseph E., Krone, Joan, Sridhar, Nigamanth
Published in 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T) (01.11.2017)
Published in 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T) (01.11.2017)
Get full text
Conference Proceeding
On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving
Lang, M., Sivilotti, P.A.G.
Published in 2009 29th IEEE International Conference on Distributed Computing Systems (01.06.2009)
Published in 2009 29th IEEE International Conference on Distributed Computing Systems (01.06.2009)
Get full text
Conference Proceeding
The specification and testing of quantified progress properties in distributed systems
Krishnamurthy, Prakash, Sivilotti, Paolo A. G.
Published in Proceedings / International Conference on Software Engineering (01.01.2001)
Published in Proceedings / International Conference on Software Engineering (01.01.2001)
Get full text
Conference Proceeding
Journal Article
Dining philosophers with crash locality 1
Pike, S.M., Sivilotti, P.A.G.
Published in 24th International Conference on Distributed Computing Systems, 2004. Proceedings (2004)
Published in 24th International Conference on Distributed Computing Systems, 2004. Proceedings (2004)
Get full text
Conference Proceeding