Conference Papers

Journal Papers

  • Rizwan Parveen, Ivan Ruchkin, Ashin Laurel R, Neena Goveas, Dominique Blouin. Modelling and Verification of Resource Allocation for Sustainable Healthcare Systems. In submission to Elsevier Software and Systems Modeling (SoSyM).
  • Sydney Pugh, Ivan Ruchkin, Christopher Bonafide, Sara DeMauro, Oleg Sokolsky, Insup Lee, James Weimer.
    Evaluating Alarm Classifiers with High-Confidence Data Programming [ACM].
    In ACM Transactions on Computing for Healthcare (HEALTH), 2022.
  • Ankica Barišić, Jácome Cunha, Ivan Ruchkin, Ana Moreira, João Araújo, Moharram Challenger, Dušan Savić, Vasco Amaral.
    Modelling Sustainability in Cyber-Physical Systems: a Systematic Mapping Study.
    In submission to Elsevier Sustainable Computing: Informatics and Systems.
  • Ankica Barišić, Ivan Ruchkin, Dušan Savić, Mustafa Abshir Mohamed, Rima Al-Ali, Letitia Li, Hana Mkaouar, Raheleh Eslampanah, Moharram Challenger, Dominique Blouin, Oksana Nikiforova, Antonio Cicchetti.
    Multi-paradigm Modeling for Cyber–Physical Systems: A Systematic Mapping Review [PDF] [BibTex] [ScienceDirect].
    In Journal of Systems and Software (JSS), volume 183, 2021.
  • Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee.
    Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors [PDF] [BiBTex] [IEEE] [Supplement] [Github] [Slides] [Talk].
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), volume 39, issue 11, 2020. In Proceedings of the International Conference on Embedded Software (EMSOFT).
  • Jonathan Aldrich, David Garlan, Christian Kaestner, Claire Le Goues, Anahita Mohseni Kabir, Ivan Ruchkin, Selva Samuel, Bradley Schmerl, Christopher Steven Timperley, Manuela Veloso, Ian Voysey, Joydeep Biswas, Arjun Guha, Jarrett Holtz, Javier Camara, Pooyan Jamshidi.
    Model-Based Adaptation for Robotics Software [PDF] [BibTex] [IEEE].
    IEEE Software article, volume 36, number 2, 2019.
  • Xiaokang Zhou, Albert Zomaya, Weimin Li, Ivan Ruchkin.
    Cybermatics: Advanced Strategy and Technology for Cyber-Enabled Systems and Applications [PDF] [BibTex] [ScienceDirect].
    Elsevier Future Generation Computer Systems (FGCS), volume 79, 2018.
  • Akshay Rajhans, Ajinkya Bhave, Ivan Ruchkin, Bruce Krogh, David Garlan, Andre Platzer, Bradley Schmerl.
    Supporting Heterogeneity in Cyber-Physical Systems Architectures [PDF] [BiBTex] [IEEE].
    In the IEEE Transactions on Automatic Control (TAC), volume 59, issue 12, 2014.

Workshop Papers


  • Xiaokang Zhou, Guangquan Xu, Jianhua Ma, Ivan Ruchkin.
    Scalable Platforms and Advanced Algorithms for IoT and Cyber-enabled Applications [PDF] [BibTex].
    Editorial for the Elsevier Journal of Parallel and Distributed Computing (JPDC), volume 118, part 1, 2018.
  • Tomas Bures, Danny Weyns, Bradley Schmerl, Eduardo Tovar, Eric Boden, Thomas Gabor, Ilias Gerostathopoulos, Pragya Gupta, Eunsuk Kang, Alessia Knauss, Pankesh Patel, Awais Rashid, Ivan Ruchkin, Roykrong Sukkerd, Christos Tsigkanos.
    Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions [PDF] [BibTex].
    In the ACM SIGSOFT Software Engineering Notes (SEN), volume 42, number 2, 2017.
  • Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan.
    Framework for Inter-Model Analysis of Cyber-Physical Systems [PDF] [BibTex] [Abstract] [Slides].
    Extended abstract and poster at the 2nd Summer School on Cyber-Physical Systems, Grenoble, France. 2014.
  • Ivan Ruchkin, Stefan Mitsch, Akshay Rajhans, Jan-David Quesel, André Platzer, Bruce Krogh, David Garlan, Bradley Schmerl, Prashant Ramachandra, Ken Butts.
    An Architectural Approach to Heterogeneous Modeling and Verification of CPS [PDF] [BibTex] [Abstract].
    Extended abstract and poster at the 4th Annual NSF CPS PI Meeting, Arlington, VA, 2013. 
  • Ivan Ruchkin.
    Interconnection of Heterogeneous CPS Models Through Architectural Views [PDF] [BibTex].
    Extended abstract at the 3rd Annual NSF CPS PI Meeting, National Harbor, MD, 2012.

Non-peer Reviewed

  • Ankica Barišić, Antonio Cicchetti, Ivan Ruchkin, Dominique Blouin.
    Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems [PDF] [BiBTeX] [HAL].
    Technical report, Archive ouverte HAL, 2021.
  • Ivan Ruchkin.
    Integration of Modeling Methods for Cyber-Physical Systems [PDF] [BiBTeX] [CMU].
    PhD Thesis. Pittsburgh, PA, 2019.
  • Amanda Rico, Ivan Ruchkin, Bradley Schmerl, David Garlan.
    Hardware Power Modeling for Turtlebot [PDF] [BibTex].
    Poster at the BRASS PI Meeting, Rice University, Houston, TX, 2016.
  • Ivan Ruchkin, Vishal Dwivedi, David Garlan, Bradley Schmerl.
    Architectural Modeling of Ozone Widget Framework End-User Compositions [PDF] [BiBTeX] [CMU].
    Technical Report. Pittsburgh, PA, 2014.
  • Ivan Ruchkin and Ashiwini Rao.
    DUI: A Fast Probabilistic Paper Evaluation Tool [PDF].
    In Proceedings of SIGBOVIK’13.  Pittsburgh, PA, 2013.
  • Ivan Ruchkin.
    Building Software In-House: Too Much Control and Flexibility [PDF] [BiBTex] [Slides].
    Practicum reflection report.
    Carnegie Mellon University, Pittsburgh, PA, USA. 2012.
  • Ivan Ruchkin.
    Tool View Interface of Integrated Development Environments [PDF – Russian] [Slides – Russian].
    Undergraduate research thesis.
    Lomonosov Moscow State University, Moscow, Russia, 2011.

The slides from my talks are posted on Slideshare.