You are here

Paul Sivilotti

  • Associate Professor, Computer Science & Engineering
  • 695 Dreese Laboratories
    2015 Neil Ave
    Columbus, OH 43210
  • 614-292-5835

Honors

  • 20150401-20160401

    Joel and Ruth Spira Excellence in Teaching Award.

  • 20120501

    Alumni Award for Distinguished Teaching.

  • 20100101-20110101

    Department of Computer Science and Engineering Outstanding Teaching Award.

  • 20100101

    Invitation to Foundations of Engineering Education Symposium.

  • 20090101-20100101

    Faculty invitee to OSU's "President's Salute to Undergraduate Acheivement".

Books

2011

  • Ramnath, R.; Crawfis, R.; Sivilotti, P.. 2011. "Android 3 SDK Programming For Dummies." John Wiley and Sons (For Dummies.

Journal Articles

2004

  • J. Hallstrom, N. Sridhar, P. Sivilotti, and A. Arora, 2004, "A container-based approach to object oriented product lines." Journal of Object Technology

2001

  • Krishnamurthy, P.; Sivilotti, P.A.G., 2001, "The specification and testing of quantified progress properties in distributed systems." Proceedings - International Conference on Software Engineering 201-210 - 201-210.

Presentations

  • "Synchronous Observers for Automated Validation of Reactive Embedded Systems." 2011, Presented at Denman Undergraduate Research Forum,
  • "The Maximality of Distributed Programs: Possibilities and Impossibilities." 2013, Presented at Distinguished Seminar Series, Queen's University School of Computing,
  • "The Maximality of Distributed Programs: Possibilities and Impossibilities." 2013, Presented at Invited Talk,
  • "Kinesthetic Learning Activities in an Upper-Division Computer Science Course." 2010, Presented at Frontiers of Engineering Education (National Academy of Engineering),

Papers in Proceedings

2017

  • Heym, W.; Sivilotti, P.A.G.; Bucci, P.; Sitaraman, M. et al. "Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions." (12 2017).
  • Heym, W.; Sivilotti, P.A.G.; Bucci, P.; Sitaraman, M. et al. "Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions." (1 2017).
  • Heym, W.; Sivilotti, P.A.G.; Bucci, P.; Sitaraman, M. et al. "Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions." (11 2017).
  • Heym, W.; Sivilotti, P.A.G.; Bucci, P.; Sitaraman, M. et al. "Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions." in 30th IEEE Conference on Software Engineering Education and Training (CSEE&T). (1 2017).

2016

  • Wayne Heym, Paolo Sivilotti, Joseph E. Hollingsworth, Joan Krone, Murali Sitaraman and Nigamanth Sridhar "Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions." (5 2016).

2012

  • Pavlic, T.P.; Peddi, S.P.; Sivilotti, P.A.G.; Weide, B.W. "Poster Abstract: Getting Out of the Way - Safety Verification without Compromise." in 3rd IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS). (1 2012).
  • Pavlic, T.P.; Peddi, S.P.; Sivilotti, P.A.G.; Weide, B.W. "Poster abstract: Getting out of the way - Safety verification without compromise." (5 2012).
  • Pavlic, T.P.; Peddi, S.P.; Sivilotti, P.A.G.; Weide, B.W. et al. "Poster Abstract: Getting Out of the Way - Safety Verification without Compromise." (1 2012).

2010

  • Sivilotti, P.A.G.; Lang, M. "Interfaces first (and foremost) with Java." (5 2010).
  • Sivilotti,Paolo,AG; Lang,Matthew "Interfaces First (and Foremost) With Java." in 41st ACM Technical Symposium on Computer Science Education. (3 2010).

2009

  • Lang,Matthew; Sivilotti,Paolo,AG "On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving." in 29th IEEE International Conference on Distributed Computing Systems. (6 2009).
  • Lang, M.; Sivilotti, P.A.G. "On the impossibility of maximal scheduling for strong fairness with interleaving." (10 2009).

2008

  • Sivilotti, P.A.G.; Laugel, S.A. "Scratching the surface of advanced topics in software engineering: A workshop module for middle school students." (12 2008).

2007

  • Lang, M.; Sivilotti, P.A.G. "A distributed maximal scheduler for strong fairness." (12 2007).
  • Sivilotti, P.A.G.; Pike, S.M. "The suitability of kinesthetic learning activities for teaching distributed algorithms." (10 2007).

2006

  • Sridhar, N.; Hallstrom, J.O.; Sivilotti, P.A.G. "Container-based component deployment: A case-study." (12 2006).

2005

  • Buehrer, G.; Weide, B.W.; Sivilotti, P.A.G. "Using parse tree validation to prevent SQL injection attacks." (12 2005).
  • Moore, B.T.; Sivilotti, P.A.G. "Plausible clocks with bounded inaccuracy." (12 2005).

2004

  • Bohn, C.A.; Sivilotti, P.A.G.; Weide, B.W. "Designing the control of a UAV fleet with model checking." in 4th Annual Conference on Cooperative Control and Optimization. (1 2004).
  • Bohn,C,A; Sivilotti,P,AG; Weide,B,W "Designing the control of a UAV fleet with model checking." in 4th Annual Conference on Cooperative Control and Optimization. (1 2004).
  • Pike, S.M.; Sivilotti, P.A.G. "Dining philosophers with crash locality 1." (6 2004).
  • Sivilotti, P.A.G.; Weide, B.W. "Research, teaching, and service: The miniconference as a model for CS graduate seminar courses." (3 2004).
  • Bohn, C.A.; Sivilotti, P.A.G.; Weide, B.W. "Designing the control of a UAV fleet with model checking." (1 2004).
  • Sivilotti, P.A.G.; Weide, B.W. "Research, teaching, and service: The miniconference as a model for CS graduate seminar courses." (6 2004).

2003

  • Aydin, N.; Sivilotti, P.A.G. "Remote belief: Preserving volition for loosely coupled processes." (7 2003).
  • Sivilotti, P.A.G.; Demirbas, M. "Introducing middle school girls to fault tolerant computing." (7 2003).

2001

  • Jagannathan, R.; Sivilotti, P.A.G. "Increasing client-side confidence in remote component implementations." (12 2001).

2000

  • Giles, C.P.; Sivilotti, P.A.G. "A tool for testing liveness in distributed object systems." (1 2000).

1998

  • Mani Chandy, K.; Sivilotti, P.A.G.; Kiniry, J.R. "A cottage industry of software publishing: Implications for theories of composition." (1 1998).