The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase hip-hops (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2019 (13)
Publication types (Num. hits)
article(3) inproceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
126Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs Identification of unsettable flip-flops for partial scan and faster ATPG. Search on Bibsonomy ICCAD The full citation details ... 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
63Yiannis 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. Search on Bibsonomy EDCC-CARS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF CENELEC standards, HiP-HOPS, ISO 26262, SIL allocation, fault tree synthesis, safety integrity levels, IEC 61508
58Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos Compositional Temporal Fault Tree Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF temporal fault trees, formal FTA, automated FTA, fault tree synthesis, formal safety analysis
58Yiannis Papadopoulos, John A. McDermid Hierarchically Performed Hazard Origin and Propagation Studies. Search on Bibsonomy SAFECOMP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
35Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Nidhal Mahmud Model transformation for analyzing dependability of AADL model by using HiP-HOPS. Search on Bibsonomy J. Syst. Softw. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Zhibao Mian, Yaqing Gao, Xiaodong Shi, Cairong Tang Semantic Mapping for Model Transformation Between AADL2 and HiP-HOPS. Search on Bibsonomy ICSRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Sohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. Search on Bibsonomy IMBSA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O'Carroll Automated Model-Based Attack Tree Analysis Using HiP-HOPS. Search on Bibsonomy IMBSA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Sohag 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. Search on Bibsonomy IMBSA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Septavera Sharvia, Yiannis Papadopoulos Integrating model checking with HiP-HOPS in model-based safety analysis. Search on Bibsonomy Reliab. Eng. Syst. Saf. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Carolina D. Villela, Humberto Hayashi Sano, Juliana de Melo Bezerra Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
35Masakazu Adachi, Yiannis Papadopoulos, Septavera Sharvia, David Parker 0002, Tetsuya Tohdo An approach to optimization of fault tolerant architectures using HiP-HOPS. Search on Bibsonomy Softw. Pract. Exp. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
19Matthias Biehl, De-Jiu Chen, Martin Törngren Integrating safety analysis into the model-based development toolchain of automotive embedded systems. Search on Bibsonomy LCTES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF architecture description language, tool integration, model-based development, safety analysis
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license