default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHASE 2012: Omaha, NE, USA
- 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-4742-6
Session 1A
- Utsav Drolia, Soila Kavulya, Kunal Mankodiya
, Priya Narasimhan, Thomas E. Fuhrman:
Diagnostic Fusion for Time-Triggered Automotive Networks. 1-8 - Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo:
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. 9-16 - João Figueiras, Jesper Grønbæk, Andrea Ceccarelli, Hans-Peter Schwefel:
GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios. 17-23
Session 1B
- Boris Motruk, Jonas Diemer, Rainer Buchty, Rolf Ernst, Mladen Berekovic:
IDAMC: A Many-Core Platform with Run-Time Monitoring for Mixed-Criticality. 24-31 - Wenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan:
Real-Time Anomaly Detection in Streams of Execution Traces. 32-39 - Hossain Shahriar, Mohammad Zulkernine:
Information-Theoretic Detection of SQL Injection Attacks. 40-47
Session 2A
- Muhammad Afzaal, Cesario Di Sarno, Luigi Coppolino, Salvatore D'Antonio, Luigi Romano:
A Resilient Architecture for Forensic Storage of Events in Critical Infrastructures. 48-55 - Leon Wu, Gail E. Kaiser:
An Autonomic Reliability Improvement System for Cyber-Physical Systems. 56-61 - Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli:
Visual Model-Driven Design, Verification and Implementation of Security Protocols. 62-65
Session 2B
- Raul Schmidlin Fajardo Silva, Guillermo Marcus:
Device Mechanism: A Structured Device Driver Development Approach. 66-73 - Sean Banerjee, Bojan Cukic, Donald A. Adjeroh:
Automated Duplicate Bug Report Classification Using Subsequence Matching. 74-81 - Karl A. Morris, Jinpeng Wei, Peter J. Clarke, Fábio M. Costa:
Towards Adaptable Middleware to Support Service Delivery Validation in i-DSML Execution Engines. 82-89
Session 3A
- Puntitra Sawadpong, Edward B. Allen, Byron J. Williams:
Exception Handling Defects: An Empirical Study. 90-97 - Luke Herbert, Robin Sharp:
Using Stochastic Model Checking to Provision Complex Business Services. 98-105 - Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi:
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. 106-113
Session 3B
- Kavyashree Jamboti, Peter Liggesmeyer:
A Framework for Generating Integrated Component Fault Trees from Architectural Views. 114-121 - Victor L. Winter, Jonathan Guerrero, Alexander James, Carl Reinke:
Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System. 122-129 - Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat:
Automated Verification of AADL-Specifications Using UPPAAL. 130-138
Session 4A
- Anthony Sargeant, Paul Townend, Jie Xu, Karim Djemame:
Evaluating the Dependability of Dynamic Binding in Web Services. 139-146 - Andrea Ceccarelli, Andrea Bondavalli, João Figueiras, Boris Malinowsky, Jurij Wakula, Francesco Brancati, Carlo Dambra, Andrea Seminatore:
Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System. 147-154 - Hong Lu, Li Zhang, Zhao Liu:
A MDA-based Approach for Developing Simulation-Oriented Combat Flows. 155-158
Session 4B
- Michael Lipaczewski, Simon Struck, Frank Ortmeier:
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. 159-166 - Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa:
Proving the Absence Property Pattern Using the B Method. 167-170
Session 5A
- Abhishek Parakh:
Communication Efficient Oblivious Transfer Using Elliptic Curves. 173-174 - George Spanoudakis, Ernesto Damiani, Antonio Maña:
Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach. 175-176 - Thomas Ruhroth, Jan Jürjens:
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec. 177-184 - Mark Allison, Karl A. Morris, Zhenyu Yang, Peter J. Clarke, Fábio M. Costa:
Towards Reliable Smart Microgrid Behavior Using Runtime Model Synthesis. 185-192
Session 5B
- Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun:
Model Checking Software Architecture Design. 193-200 - Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann:
Multi-objective Optimization of Formal Specifications. 201-208 - César Andrés, Ana R. Cavalli:
How to Reduce the Cost of Passive Testing. 209-216
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 2026-07-12 22:55 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
