default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st SAFECOMP Workshops 2012: Magdeburg, Germany
- Frank Ortmeier, Peter Daniel:
Computer Safety, Reliability, and Security - SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings. Lecture Notes in Computer Science 7613, Springer 2012, ISBN 978-3-642-33674-4
Next Generation of System Assurance Approaches for Safety-Critical Systems Workshop (Sassur 2012)
- Alejandra Ruiz, Tim P. Kelly, Mehrdad Sabetzadeh, Didier Van Den Abeele:
Introduction to Sassur 2012. 3-7 - Ewen Denney, Ganesh Pai, Josef Pohl:
AdvoCATE: An Assurance Case Automation Toolset. 8-21 - Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza:
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse. 22-35 - Jasen Markovski, Joanna M. van de Mortel-Fronczak:
Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. 36-49 - Fabien Belmonte, Elie Soubiran:
A Model Based Approach for Safety Analysis. 50-63 - Jose Luis de la Vara
, Sunil Nair, Eric Verhulst, Janusz Studzizba, Piotr Pepek, Jerome Lambourg, Mehrdad Sabetzadeh:
Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards. 64-78 - Xingyu Zhao, Dajian Zhang, Minyan Lu, Fuping Zeng:
A New Approach to Assessment of Confidence in Assurance Cases. 79-91 - Eric Verhulst, Bernhard H. C. Sputh:
An Unified Meta-model for Trustworthy Systems Engineering. 92-105 - Anna Lanzaro, Antonio Pecchia, Marcello Cinque, Domenico Cotroneo, Ricardo Barbosa, Nuno Silva:
A Preliminary Fault Injection Framework for Evaluating Multicore Systems. 106-116 - Daniel Kästner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand:
Meeting Real-Time Requirements with Multi-core Processors. 117-131 - Patrick J. Graydon, Tim P. Kelly:
Assessing Software Interference Management When Modifying Safety-Related Software. 132-145
Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS 2012)
- António Casimiro, Jörg Kaiser:
Introduction to ASCoMS 2012. 149-150 - Luis Marques, António Casimiro:
Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults. 151-161 - Sebastian Zug, Tino Brade, Jörg Kaiser, Sasanka Potluri:
An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems. 162-173 - Kenneth Östberg, Rolf Johansson:
Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles. 174-179 - Christian Berger:
From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering. 180-189 - Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson:
Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. 190-201
Workshop on Dependable and Secure Computing for Large-Scale Complex Critical Infrastructures (DESEC4LCCI 2012)
- Christian Esposito, Marco Platania, Francesco Brancati:
Introduction to DESEC4LCCI 2012. 205-208 - Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli, Ernesto La Mattina:
Quantitative Security Evaluation of a Multi-biometric Authentication System. 209-221 - Luigi Romano, Salvatore D'Antonio, Valerio Formicola, Luigi Coppolino:
Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology. 222-234 - Mario Ciampi, Giuseppe De Pietro, Christian Esposito, Mario Sicuranza, Paolo Mori, Abraham Gebrehiwot, Paolo Donzelli:
On Securing Communications among Federated Health Information Systems. 235-246 - Richard Bloomfield, Robin E. Bloomfield, Ilir Gashi, Robert J. Stroud:
How Secure Is ERTMS? 247-258 - Craig Gibson, Matteo Melideo, Luigi Romano, Salvatore D'Antonio:
International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead. 259-270 - Magali Andreia Rossi, Jorge Rady de Almeida Jr., Andrea Bondavalli, Paolo Lollini:
A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace. 271-281 - Fabio Petroni, Leonardo Querzoni:
HSIENA: A Hybrid Publish/Subscribe System. 282-293 - Roeland Dillen, Jonas Buys, Vincenzo De Florio, Chris Blondia:
WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms. 294-306 - Julien Brunel, Jacques Cazin:
Formal Verification of a Safety Argumentation and Application to a Complex UAV System. 307-318 - Nuno Silva, Rui Lopes:
Electronic Reliability Estimation: How Reliable Are the Results? 319-327 - Silvano Chiaradonna, Felicita Di Giandomenico, Nicola Nostro:
Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics. 328-339
ERCIM/EWICS/Cyberphysical Systems Workshop
- Erwin Schoitsch, Amund Skavhaug:
Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012. 343-346 - Roberto Vigo:
The Cyber-Physical Attacker. 347-356 - Przemyslaw Osocha, João Carlos Cunha, Fabio Giovagnini:
Dependable and Secure Embedded Node Demonstrator. 357-364 - Florian Skopik, Albert Treytl, Arjan Geven, Bernd Hirschler, Thomas Bleier, Andreas Eckel, Christian El Salloum, Armin Wasicek:
Towards Secure Time-Triggered Systems. 365-372 - Alexander Hanzlik, Erwin Kristen:
Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems. 373-381 - Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch:
Compiling for Time Predictability. 382-391 - Fredrik Asplund, Matthias Biehl, Frédéric Loiret:
Towards the Automated Qualification of Tool Chain Design. 392-399 - Antoaneta Kondeva, Martin Wassmuth, Andreas Mitschke:
A Systematic Elaboration of Safety Requirements in the Avionic Domain. 400-408 - Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari:
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. 409-416 - Janusz Górski, Aleksander Jarzebowicz, Jakub Miler, Michal Witkowicz, Jakub Czyznikiewicz, Patryk Jar:
Supporting Assurance by Evidence-Based Argument Services. 417-426 - Erwin Schoitsch, Wolfgang Herzner, Carmen Alonso-Montes, Petr Chmelar, Lars Dalgaard:
Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform. 427-435 - Marte E. B. Skjønsfjell, Aslak R. Normann, Dag Sjong, Amund Skavhaug:
Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment. 436-446
International Workshop on Digital Engineering (IWDE 2012)
- Veit Köppen, Gunter Saake:
Introduction to IWDE 2012. 449-453 - Max Steiner, Patric Keller, Peter Liggesmeyer:
Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems. 454-465 - André Dietrich, Sebastian Zug, Jörg Kaiser:
Towards Artificial Perception. 466-476 - Michael Soffner, Mykhaylo Nykolaychuk, Friederike Adler, Klaus Richter:
A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes. 477-485 - Yi Yang, Patric Keller, Peter Liggesmeyer:
Visual Approach Facilitating the Importance Analysis of Component Fault Trees. 486-497 - Sven Kuhlmann, Jana Fruth, Tobias Hoppe, Jana Dittmann:
Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation. 498-507 - Sebastian Nielebock, Frank Ortmeier, Marco Schumann, André Winge:
From Discrete Event Simulation to Virtual Reality Environments. 508-516 - Janet Siegmund, Norbert Siegmund, Jana Fruth, Sven Kuhlmann, Jana Dittmann, Gunter Saake:
Program Comprehension in Preprocessor-Based Software. 517-528
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
