scholarly journals Special issue on Automated Verification of Critical Systems (AVoCS 2013)

2015 ◽  
Vol 111 ◽  
pp. 213
Author(s):  
Steve Schneider ◽  
Helen Treharne
2014 ◽  
Vol 81 ◽  
pp. 1-2
Author(s):  
Jens Bendisposto ◽  
Michael Leuschel ◽  
Markus Roggenbach

2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.


2018 ◽  
Vol 35 (4) ◽  
pp. 5-6
Author(s):  
Tulika Mitra ◽  
Jurgen Teich ◽  
Lothar Thiele

2011 ◽  
Vol 76 (2) ◽  
pp. 63-64
Author(s):  
Darren Cofer ◽  
Alessandro Fantechi ◽  
Stefan Leue ◽  
Pedro Merino

i-com ◽  
2016 ◽  
Vol 15 (3) ◽  
Author(s):  
Tilo Mentler ◽  
Christian Reuter ◽  
Stefan Geisler

AbstractMission- and safety-critical domains are more and more characterized by interactive and multimedia systems varying from large-scale technologies (e. g. airplanes) to wearable devices (e. g. smartglasses) operated by professional staff or volunteering laypeople. While technical availability, reliability and security of computer-based systems are of utmost importance, outcomes and performances increasingly depend on sufficient human-machine interaction or even cooperation to a large extent. While this i-com Special Issue on “Human-Machine Interaction and Cooperation in Safety-Critical Systems” presents recent research results from specific application domains like aviation, automotive, crisis management and healthcare, this introductory paper outlines the diversity of users, technologies and interaction or cooperation models involved.


Sign in / Sign up

Export Citation Format

Share Document