Search results for "HiP-HOPS"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
126	Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs	Identification of unsettable flip-flops for partial scan and faster ATPG.	ICCAD	1996	DBLP DOI BibTeX RDF	ISCAS89 circuits, deterministic test generation, difficult-to-set hip-hops, hip-hops, state elements, state justification, transformed circuits, unsettable flip-flops identification, logic testing, ATPG, partial scan, sequential circuits test generation
63	Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber 0001, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson 0002, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg	Automatic allocation of safety integrity levels.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	CENELEC standards, HiP-HOPS, ISO 26262, SIL allocation, fault tree synthesis, safety integrity levels, IEC 61508
58	Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos	Compositional Temporal Fault Tree Analysis.	SAFECOMP	2007	DBLP DOI BibTeX RDF	temporal fault trees, formal FTA, automated FTA, fault tree synthesis, formal safety analysis
58	Yiannis Papadopoulos, John A. McDermid	Hierarchically Performed Hazard Origin and Propagation Studies.	SAFECOMP	1999	DBLP DOI BibTeX RDF
35	Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud	Model transformation for analyzing dependability of AADL model by using HiP-HOPS.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
35	Zhibao Mian, Yaqing Gao, Xiaodong Shi, Cairong Tang	Semantic Mapping for Model Transformation Between AADL2 and HiP-HOPS.	ICSRS	2019	DBLP DOI BibTeX RDF
35	Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia	A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS.	IMBSA	2019	DBLP DOI BibTeX RDF
35	Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O'Carroll	Automated Model-Based Attack Tree Analysis Using HiP-HOPS.	IMBSA	2019	DBLP DOI BibTeX RDF
35	Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker 0002, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde	A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies.	IMBSA	2017	DBLP DOI BibTeX RDF
35	Septavera Sharvia, Yiannis Papadopoulos	Integrating model checking with HiP-HOPS in model-based safety analysis.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
35	Carolina D. Villela, Humberto Hayashi Sano, Juliana de Melo Bezerra	Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems.	SAFECOMP	2015	DBLP DOI BibTeX RDF
35	Masakazu Adachi, Yiannis Papadopoulos, Septavera Sharvia, David Parker 0002, Tetsuya Tohdo	An approach to optimization of fault tolerant architectures using HiP-HOPS.	Softw. Pract. Exp.	2011	DBLP DOI BibTeX RDF
19	Matthias Biehl, De-Jiu Chen, Martin Törngren	Integrating safety analysis into the model-based development toolchain of automotive embedded systems.	LCTES	2010	DBLP DOI BibTeX RDF	architecture description language, tool integration, model-based development, safety analysis