A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics von Douthwaite, J A, Lesage, B, Gleirscher, M, Calinescu, R, Aitken, J M, Alexander, R, Law, J

Volltext

On Activation, Connection, and Behavior in Dynamic Architectures von Marmsoler, Diego, Gleirscher, Mario

Volltext

Toward a Holistic and Standardized Automotive Architecture Description von Broy, M., Gleirscher, M., Merenda, S., Wild, D., Kluge, P., Krenzer, W.

Volltext

IsaVODEs: interactive verification of cyber-physical systems at scale von Huerta y Munive, J.J, Foster, S, Gleirscher, M, Struth, G, Pardillo Laursen, C, Hickman, T

Volltext bestellen

A modular digital twinning framework for safety assurance of collaborative robotics von Douthwaite, J.A, Lesage, B, Gleirscher, M, Calinescu, R, Aitken, J.M, Alexander, R, Law, J

Volltext bestellen

Verified synthesis of optimal safety controllers for human-robot collaboration von Gleirscher, M, Calinescu, R, Douthwaite, J, Lesage, B, Paterson, C, Aitken, J, Alexander, R, Law, J

Volltext bestellen

Challenges in the safety-security co-assurance of collaborative industrial robots von Gleirscher, M, Johnson, N, Karachristou, P, Calinescu, R, Law, J, Clark, J

Volltext bestellen

Incremental Integration of Heterogeneous Systems Views von Gleirscher, M., Ratiu, D., Schatz, B.

Volltext bestellen

From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case von Gleirscher, Mario, Kugele, Stefan

Volltext

Ternary low-friction coatings on thermoplastics by plasma spraying: Investigations on the process-structure von Kopp, Dietmar, Gleirscher, Milena, Stummer, Maximilian, Major, Lukasz, Hausberger, Andreas, Schlögl, Sandra, Lackner, Jürgen M., Kaindl, Reinhard, Prethaler, Thomas, Coclite, Anna Maria, Waldhauser, Wolfgang

Volltext

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs von Foster, Simon, Huerta y Munive, Jonathan Julián, Gleirscher, Mario, Struth, Georg

Volltext

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics von Douthwaite, James A, Lesage, Benjamin Michael Jean-Rene, Gleirscher, Mario, Calinescu, Radu, Aitken, Jonathan M, Alexander, Rob, Law, James

Volltext bestellen