8 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.HC2026
Cyber-Physical Digital Factory Architecture as the Enabler of Disembodied Work
Tero Kaarlela, Ivan Ruchkin, Jose Outeiro +1
Digital Twins (DTs), Artificial Intelligence (AI), and Industrial Internet of Things (IIoT) technologies have significantly advanced manufacturing digitalization. However, these te…
eess.SY2025
What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems
Chengyu Li, Saleh Faghfoorian, Ivan Ruchkin
Formal guarantees for cyber-physical systems (CPS) rely on diverse assumptions. If satisfied, these assumptions enable the transfer of abstract guarantees into real-world assurance…
cs.SE2012★ 8 cited
Foundations and Tools for End-User Architecting
David Garlan, Vishal Dwivedi, Ivan Ruchkin +1
Within an increasing number of domains an important emerging need is the ability for technically naive users to compose computational elements into novel configurations. Examples i…