• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 35 matches

• 2011
• 
  Hananeh Aliee, Hamid R. Zarandi:
  A Fault-Tolerant, Dynamically Scheduled Pipeline Structure for Chip Multiprocessors. SAFECOMP 2011: 324-337
• 
  Leonardo Aniello, Giuseppe Antonio Di Luna, Giorgia Lodi, Roberto Baldoni:
  A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks. SAFECOMP 2011: 310-323
• 
  Ismail Assayad, Alain Girault, Hamoudi Kalla:
  Tradeoff Exploration between Reliability, Power Consumption, and Execution Time. SAFECOMP 2011: 437-451
• 
  Simona Bernardi, Francesco Flammini, Stefano Marrone, José Merseguer, Camilla Papa, Valeria Vittorini:
  Model-Driven Availability Evaluation of Railway Control Systems. SAFECOMP 2011: 15-28
• 
  Pierre Bieber, Remi Delmas, Christel Seguin:
  DALculus - Theory and Tool for Development Assurance Level Allocation. SAFECOMP 2011: 43-56
• 
  Jean-Paul Blanquart, Eric Armengaud, Philippe Baufreton, Quentin Bourrouilh, Gerhard Griessnig, Martin Krammer, Odile Laurent, Joseph Machrouh, Thomas Peikenkamp, Cecile Schindler, Tormod Wien:
  Towards Cross-Domains Model-Based Safety Process, Methods and Tools for Critical Embedded Systems: The CESAR Approach. SAFECOMP 2011: 57-70
• 
  Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram:
  Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP 2011: 85-98
• 
  Giuseppe Bonifacio, Pietro Marmo, Antonio Orazzo, Ida Petrone, Luigi Velardi, Alessio Venticinque:
  Improvement of Processes and Methods in Testing Activities for Safety-Critical Embedded Systems. SAFECOMP 2011: 369-382
• 
  Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli:
  A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. SAFECOMP 2011: 128-142
• 
  Laura Carnevali, Lorenzo Ridi, Enrico Vicario:
  A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. SAFECOMP 2011: 409-422
• 
  Luigi Coppolino, Salvatore D'Antonio, Ivano Alessandro Elia, Luigi Romano:
  Security Analysis of Smart Grid Data Collection Technologies. SAFECOMP 2011: 143-156
• 
  Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano:
  Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study. SAFECOMP 2011: 199-212
• 
  Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono:
  A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain. SAFECOMP 2011: 213-227
• 
  Federico Cruciani, Enrico Vicario:
  Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. SAFECOMP 2011: 355-368
• 
  Alessandro Fantechi, Stefania Gnesi:
  On the Adoption of Model Checking in Safety-Related Software Industry. SAFECOMP 2011: 383-396
• 
  Massimo Felici, Valentino Meduri, Bjørnar Solhaug, Alessandra Tedeschi:
  Evolutionary Risk Analysis: Expert Judgement. SAFECOMP 2011: 99-112
• 
  Andrea Fiaschetti, Francesco Lavorato, Vincenzo Suraci, Andi Palo, Andrea Taglialatela, Andrea Morgagni, Renato Baldelli, Francesco Flammini:
  On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems. SAFECOMP 2011: 467-479
• 
  Matthias Güdemann, Frank Ortmeier:
  Model-Based Multi-objective Safety Optimization. SAFECOMP 2011: 423-436
• 
  Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly:
  Using a Software Safety Argument Pattern Catalogue: Two Case Studies. SAFECOMP 2011: 185-198
• 
  Joachim Hillebrand, Peter Reichenpfader, Irenka Mandic, Hannes Siegl, Christian Peer:
  Establishing Confidence in the Usage of Software Tools in Context of ISO 26262. SAFECOMP 2011: 257-269
• 
  Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson:
  Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP 2011: 243-256
• 
  Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue:
  From Probabilistic Counterexamples via Causality to Fault Trees. SAFECOMP 2011: 71-84
• 
  Giuseppe Lami, Fabrizio Fabbrini, Mario Fusani:
  ISO/IEC 15504-10: Motivations for Another Safety Standard. SAFECOMP 2011: 284-295
• 
  Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee:
  Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. SAFECOMP 2011: 397-408
• 
  Roland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grießnig, Christian Steger, Reinhold Weiß:
  Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems. SAFECOMP 2011: 113-127
• 
  Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo:
  An Integrated Approach for Availability and QoS Evaluation in Railway Systems. SAFECOMP 2011: 171-184
• 
  Antonio Pecchia, Roberto Pietrantuono, Stefano Russo:
  Criticality-Driven Component Integration in Complex Software Systems. SAFECOMP 2011: 452-466
• 
  Peter T. Popov, Gabriele Manno:
  The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software. SAFECOMP 2011: 1-14
• 
  Rupert Schlick, Wolfgang Herzner, Elisabeth Jöbstl:
  Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. SAFECOMP 2011: 270-283
• 
  Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno:
  Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. SAFECOMP 2011: 296-309

skipping 5 more matches