|
|
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 |
126 | Ismed Hartanto, Vamsi Boppana, W. Kent Fuchs |
Identification of unsettable flip-flops for partial scan and faster ATPG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 63-66, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC-CARS ![In: 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010, pp. 7-10, 2010, ACM, 978-1-60558-915-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 106-119, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, pp. 139-152, 1999, Springer, 3-540-66488-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 151, pp. 258-282, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Zhibao Mian, Yaqing Gao, Xiaodong Shi, Cairong Tang |
Semantic Mapping for Model Transformation Between AADL2 and HiP-HOPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSRS ![In: 4th International Conference on System Reliability and Safety, ICSRS 2019, Rome, Italy, November 20-22, 2019, pp. 539-543, 2019, IEEE, 978-1-7281-4781-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 109-124, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings, pp. 255-269, 2019, Springer, 978-3-030-32871-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 163-178, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
35 | Septavera Sharvia, Yiannis Papadopoulos |
Integrating model checking with HiP-HOPS in model-based safety analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 135, pp. 64-80, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings, pp. 19-28, 2015, Springer, 978-3-319-24254-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 41(11), pp. 1303-1327, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, LCTES 2010, Stockholm, Sweden, April 13-15, 2010, pp. 125-132, 2010, ACM, 978-1-60558-953-4. The full citation details ...](Pics/full.jpeg) |
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: )
|
|