Search results for "ISSE"

Hits ?▲	Authors	Title	Venue	Year	Link
30	Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi	Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Daniel Ratiu, Marc Zeller, Lennart Killian	Safety.Lab: Model-Based Domain Specific Tooling for Safety Argumentation.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Francesca Saglietti, Stefan Winzinger, Raimar Lill	Reconfiguration Testing for Cooperating Autonomous Agents.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Martin Becker 0001, Markus Neumair, Alexander Söhn, Samarjit Chakraborty	Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Øyvind Netland, Amund Skavhaug	Dependable Cyber-Physical Systems with Redundant Consumer Single-Board Linux Computers.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Uwe Becker	Dependability Arguments Supported by Fuzz-Testing.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Binbin Chen 0001, Christoph Schmittner, Zhendong Ma, William G. Temple, Xinshu Dong, Douglas L. Jones, William H. Sanders	Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Szilvia Varró-Gyapay, Dániel László Magyar, Melinda Kocsis-Magyar, Katalin Tasi, Attila Hoangthanh Dinh, Ágota Bausz, László Gönczy	Optimization of Reconfiguration Mechanisms in Critical Infrastructures.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Thomas Gruber 0004, Christian Zinner	Approach for Demonstrating Safety for a Collision Avoidance System.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Georg Macher, Andrea Höller, Harald Sporer, Eric Armengaud, Christian Kreiner	A Combined Safety-Hazards and Security-Threat Analysis Method for Automotive Systems.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	John C. Knight, Jonathan C. Rowanhill, Jian Xiang	A Safety Condition Monitoring System.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Sam Procter, John Hatcliff, Sandy Weininger, Anura Fernando	Error Type Refinement for Assurance of Families of Platform-Based Systems.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Julien Brunel, David Chemouil	Safety and Security Assessment of Behavioral Properties Using Alloy.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh 0001, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng	Is Current Incremental Safety Assurance Sound?	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Jonas Wäfler, Poul E. Heegaard	How to Use Mobile Communication in Critical Infrastructures: A Dependability Analysis.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Kateryna Netkachova, Oleksandr Netkachov, Robin E. Bloomfield	Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Andrea Ceccarelli, Nuno Silva	Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Erwin Kristen, Egbert Althammer	FlexRay Robustness Testing Contributing to Automated Safety Certification.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Sebastian Müller 0008, Peter Liggesmeyer	A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at Runtime.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Kenji Taguchi 0001, Daisuke Souma, Hideaki Nishihara	Safe & Sec Case Patterns.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Tiago Amorim 0001, Alejandra Ruiz 0001, Christoph Dropmann, Daniel Schneider 0001	Multidirectional Modular Conditional Safety Certificates.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Florian Arnold, Dennis Guck, Rajesh Kumar 0012, Mariëlle Stoelinga	Sequential and Parallel Attack Tree Modelling.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Michael Roth 0006, Peter Liggesmeyer	Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Christoph Schmittner, Zhendong Ma	Towards a Framework for Alignment Between Automotive Safety and Security Standards.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Stylianos Basagiannis, Francisco José González-Espín	Towards Verification of Multicore Motor-Drive Controllers in Aerospace.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Marco Tiloca, Francesco Racciatti, Gianluca Dini	Simulative Evaluation of Security Attacks in Networked Critical Infrastructures.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Peter Priller, Werner Gruber, Niklas Olberding, Dietmar Peinsipp	Towards Perfectly Scalable Real-Time Systems.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Max Steiner, Peter Liggesmeyer	Qualitative and Quantitative Analysis of CFTs Taking Security Causes into Account.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Kateryna Netkachova, Robin E. Bloomfield, Peter T. Popov, Oleksandr Netkachov	Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical Infrastructures.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta	Combining MILS with Contract-Based Design for Safety and Security Requirements.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Shuichiro Yamamoto	An Approach to Assure Dependability Through ArchiMate.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
30	Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier (eds.)	Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Nicholas J. Bryan, Gautham J. Mysore, Ge Wang 0002	ISSE: an interactive source separation editor.	CHI	2014	DBLP DOI BibTeX RDF
30	Jana Fruth, Edgar Nett	Uniform Approach of Risk Communication in Distributed IT Environments Combining Safety and Security Aspects.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Renato Librino, Martin Törngren	3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS).	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Luís Almeida 0001, Frederico Santos, Luis Oliveira 0002	Comparing Adaptive TDMA against a Clock Synchronization Approach.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Yaping Luo, Luc Engelen, Mark van den Brand	Metamodel Comparison and Model Comparison for Safety Assurance.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone 0001, Roberto Nardone, Adriano Peron, Valeria Vittorini	An Interoperable Testing Environment for ERTMS/ETCS Control Systems.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi	Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Christian Berger 0001, Oscar Morales-Ponce, Thomas Petig, Elad Michael Schiller	Driving with Confidence: Local Dynamic Maps That Provide LoS for the Gulliver Test-Bed.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Christian Ellen, Martin Böschen, Thomas Peikenkamp	MTBF Inconsistency Analysis on Inferred Product Breakdown Structures.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Nicola Nostro, Ilaria Matteucci, Andrea Ceccarelli, Felicita Di Giandomenico, Fabio Martinelli, Andrea Bondavalli	On Security Countermeasures Ranking through Threat Analysis.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Erwin Schoitsch, Amund Skavhaug	Introduction: ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems (DECSoS'14) at SAFECOMP 2014 - A European Approach to Critical Systems Engineering.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Francesco Brancati, Nuno Laranjeiro, Ábel Hegedüs	Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14).	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Marc Zeller, Kai Höfig, Martin Rothfelder	Towards a Cross-Domain Software Safety Assurance Process for Embedded Systems.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Johan Ekberg, Urban Ingelsson, Henrik Lönn, Magnus Skoog, Jan Söderberg	Collaborative Development of Safety-Critical Automotive Systems: Exchange, Views and Metrics.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Barbara Gallina, Shaghayegh Kashiyarandi, Karlheinz Zugsbratl, Arjan Geven	Enabling Cross-Domain Reuse of Tool Qualification Certification Artefacts.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Linling Sun, Nuno Silva, Tim Kelly	Rethinking of Strategy for Safety Argument Development.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Tino Brade, Georg Jäger, Sebastian Zug, Jörg Kaiser	Sensor- and Environment Dependent Performance Adaptation for Maintaining Safety Requirements.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Kenneth Östberg, Martin Törngren, Fredrik Asplund, Magnus Bengtsson	Intelligent Transport Systems - The Role of a Safety Loop for Holistic Safety Management.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner	Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Rocco Aversa, Beniamino Di Martino, Francesco Moscato 0001	Critical Systems Verification in MetaMORP(h)OSY.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Attila Nagy, Olaf Landsiedel	Towards Energy Efficient, High-Speed Communication in WSNs.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Roberto Baldoni, Adriano Cerocchi, Claudio Ciccotelli, Alessandro Donno, Federico Lombardi, Luca Montanari	Towards a Non-intrusive Recognition of Anomalous System Behavior in Data Centers.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Silvia Bonomi, Ilaria Matteucci	Introduction to the Safecomp 2014 Workshop: Reliability and Security Aspects for Critical Infrastructure Protection (ReSA4CI 2014).	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Richard M. Zahoransky, Thomas G. Koslowski, Rafael Accorsi	Toward Resilience Assessment in Business Process Architectures.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Sunil Nair, Neil Walkinshaw, Tim Kelly	Quantifying Uncertainty in Safety Cases Using Evidential Reasoning.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Daniel Skarin, Jonny Vinter, Rickard Svenningsson	Visualization of Model-Implemented Fault Injection Experiments.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Tom Ferrell, Uma Ferrell	Assuring Avionics - Updating the Approach for the 21st Century.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Jussi Lahtinen	Verification of Fault-Tolerant System Architectures Using Model Checking.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Daniel Schneider 0001, Eric Armengaud, Erwin Schoitsch	Towards Trust Assurance and Certification in Cyber-Physical Systems.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Alexandre Ginisty, Frédérique Vallée, Elie Soubiran, Vidal-delmas Tchapet-Nya	Report on the Railway Use-Case of the Crystal Project: Objectives and Progress.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Christoph Schmittner, Zhendong Ma, Paul Smith 0001	FMVEA for Safety and Security Analysis of Intelligent and Cooperative Vehicles.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Fabio Duchi, Nuno Antunes, Andrea Ceccarelli, Giuseppe Vella, Francesco Rossi, Andrea Bondavalli	Cost-Effective Testing for Critical Off-the-Shelf Services.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Alejandra Ruiz 0001, Tim Kelly, Jose Luis de la Vara	Introduction to SASSUR 2014.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Oleksandr Netkachov, Peter T. Popov, Kizito Salako	Quantification of the Impact of Cyber Attack in Critical Infrastructures.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna	Modelling Resilient Systems-of-Systems in Event-B.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano	Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Eric Vial, António Casimiro	Evaluation of Safety Rules in a Safety Kernel-Based Architecture.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Sayali Salvi, Daniel Kästner, Tom Bienmüller, Christian Ferdinand	True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Cesario Di Sarno, Alessia Garofalo	Energy-Based Detection of Multi-layer Flooding Attacks on Wireless Sensor Network.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Paolo Franchin, Luigi Laura	Probabilistic Inference in the Physical Simulation of Interdependent Critical Infrastructure Systems.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Markus Oertel, Omar Kacimi, Eckard Böde	Proving Compliance of Implementation Models to Safety Specifications.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Kozo Okano, Toshifusa Sekizawa	Safety Verification of Multiple Autonomous Systems by Formal Approach.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Ragaad AlTarawneh, Max Steiner, Davide Taibi 0001, Shah Rukh Humayoun, Peter Liggesmeyer	Does Visualization Speed Up the Safety Analysis Process?	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson 0002, Alex Gerdes	Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Tamás Tóth, András Vörös 0001	Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Tor Stålhane, Geir Kjetil Hanssen, Thor Myklebust, Børge Haugset	Agile Change Impact Analysis of Safety Critical Software.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Asim Abdulkhaleq, Stefan Wagner 0001	A Software Safety Verification Method Based on System-Theoretic Process Analysis.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Pierre Bieber, Julien Brunel	From Safety Models to Security Models: Preliminary Lessons Learnt.	SAFECOMP Workshops	2014	DBLP DOI BibTeX RDF
30	Helmut Reimer	ISSE 2012, Brüssel, 23./24.10.2012.	Datenschutz und Datensicherheit	2012	DBLP DOI BibTeX RDF
30	Helmut Reimer	ISSE 2008, 07. bis 09. Oktober 2008 in Madrid.	Datenschutz und Datensicherheit	2008	DBLP DOI BibTeX RDF
28	Jinung Kim, Nicholas Asher	Modals and Anaphors in Korean.	JSAI Workshops	2005	DBLP DOI BibTeX RDF