|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23864 occurrences of 8654 keywords
|
|
|
Results
Found 38276 publication records. Showing 38275 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
29 | Cristina Satizábal, Rafael Páez, Jordi Forné |
PROSEARCH: A Protocol to Simplify Path Discovery in Critical Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructures Security, First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006, Revised Papers, pp. 151-165, 2006, Springer, 3-540-69083-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hierarchical trust model, peer-to-peer trust model, certification path discovery, critical information systems, Public Key Infrastructure (PKI) |
29 | Peter Marwedel, Catherine H. Gebotys |
Secure and safety-critical vs. insecure, non safety-critical embedded systems: do they require completely different design approaches? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2004, Stockholm, Sweden, September 8-10, 2004, pp. 72, 2004, ACM, 1-58113-937-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
security, safety-critical |
28 | Pan Li 0001, Chi Zhang 0001, Yuguang Fang |
Asymptotic connectivity in wireless ad hoc networks using directional antennas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(4), pp. 1106-1117, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
asymptotic connectivity, critical transmission power, critical transmission range, wireless ad hoc networks, directional antenna |
28 | Krzysztof Czarnecki 0001, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf |
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings, pp. 231-244, 2002, Springer, 3-540-43784-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical |
28 | Norman F. Schneidewind |
Predictions for increasing confidence in the reliability of safety critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 104-107, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
residual faults, time to next failure, NASA Space Shuttle Primary Avionics Software System, reliability, software reliability, safety-critical software, safety critical software, confidence |
27 | Honghai Zhang, Jennifer C. Hou |
Asymptotic critical total power for k-connectivity of wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(2), pp. 347-358, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
critical power, wireless networks, connectivity, power control |
27 | Mahboobeh Soleimani, Ali A. Ghorbani 0001 |
Critical Episode Mining in Intrusion Detection Alerts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNSR ![In: Sixth Annual Conference on Communication Networks and Services Research (CNSR 2008), 5-8 May 2008, Halifax, Nova Scotia, Canada, pp. 157-164, 2008, IEEE Computer Society, 978-0-7695-3135-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Episode mining, Critical episode, Alert mining, Multistage attack, Attack scenario |
27 | Hiroki Satake, Haruna Marumoto, Kazuhisa Seta, Motohide Umano, Mitsuru Ikeda |
Learning Environment for Improving Critical Thinking Skills Based on New Synthesis Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part III, pp. 580-587, 2008, Springer, 978-3-540-85566-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
new synthesis, guidance information, critical thinking |
27 | Shah M. Jahinuzzaman, Mohammad Sharifkhani, Manoj Sachdev |
Investigation of Process Impact on Soft Error Susceptibility of Nanometric SRAMs Using a Compact Critical Charge Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 207-212, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
critical charge, process variation, Soft error, SRAM |
27 | Yuanquan Wang 0001, Jia Liang, Yunde Jia |
On the Critical Point of Gradient Vector Flow Snake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (2) ![In: Computer Vision - ACCV 2007, 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II, pp. 754-763, 2007, Springer, 978-3-540-76389-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
optimal stopping time, image segmentation, critical point, gradient vector flow, snake model |
27 | Marco Antonio Cruz-Chavez, Juan Frausto Solís |
A New Algorithm That Obtains an Approximation of the Critical Path in the Job Shop Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 450-460, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
schedule, metaheuristic, Critical path, neighborhood, slack time |
27 | Xudong Yao, Jianxin Zhou |
A local minimax characterization for computing multiple nonsmooth saddle critical points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 104(2-3), pp. 749-760, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Locally Lipschitz Continuous Functionals, Nonsmooth Critical Points, Minimax Characterization |
27 | Sandeep S. Kulkarni, Bezawada Bruhadeshwar |
Reducing the Cost of the Critical Path in Secure Multicast for Dynamic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings, pp. 43-48, 2002, IEEE Computer Society, 0-7695-1588-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Shared Keys, Multicast, Group Communication, Critical Path |
27 | Marco Loog, Johannes Jisse Duistermaat, Luc Florack |
On the Behavior of Spatial Critical Points under Gaussian Blurring. A Folklore Theorem and Scale-Space Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale-Space and Morphology in Computer Vision, Third International Conference, Scale-Space 2001, Vancouver, Canada, July 7-8, 2001, Proceedings, pp. 183-192, 2001, Springer, 3-540-42317-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Large-scale behavior, loss of detail, nonnegative function, compact support, spatial critical point, deep structure |
27 | Byung S. So, Charles R. Kime |
A fault simulation method: Parallel pattern critical path tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 4(3), pp. 255-265, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
parallel pattern simulation, single fault propagation, fault simulation, Critical path tracing |
26 | Lee Baugh, Craig B. Zilles |
An Analysis of I/O And Syscalls In Critical Sections And Their Implications For Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2008, April 20-22, 2008, Austin, Texas, USA, Proceedings, pp. 54-62, 2008, IEEE Computer Society, 978-1-4244-2232-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Amotz Bar-Noy, Danny Dolev, Daphne Koller, David Peleg |
Fault-Tolerant Critical Section Management in Asynchronous Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings, pp. 13-23, 1989, Springer, 3-540-51687-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Markku I. Nurminen |
e-Man and his e-Mancipation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Computing ![In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility, 2005, Aarhus, Denmark, August 20-24, 2005, pp. 39-48, 2005, ACM, 1-59593-203-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
emanicipation, control, articulation work, IT Service, self-service |
26 | Carlo Jacucci, Giulio Jacucci, Ina Wagner, Thomas Psik |
A manifesto for the performative development of ubiquitous media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Computing ![In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility, 2005, Aarhus, Denmark, August 20-24, 2005, pp. 19-28, 2005, ACM, 1-59593-203-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Peter Bittner, Eva Hornecker |
A micro-ethical view on computing practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Computing ![In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility, 2005, Aarhus, Denmark, August 20-24, 2005, pp. 69-78, 2005, ACM, 1-59593-203-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
everyday work practice, moral improvisation, work culture, ethics, responsibility, professional practice, self-reflection |
26 | Anne Marie Kanstrup, Ellen Christiansen |
Model power: still an issue? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Computing ![In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility, 2005, Aarhus, Denmark, August 20-24, 2005, pp. 165-168, 2005, ACM, 1-59593-203-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model power, cognitive models, cooperative design, user involvement, design techniques |
26 | Åke Walldius, Yngve Sundblad, Alan Borning |
A first analysis of the UsersAward programme from a value sensitive design perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Computing ![In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility, 2005, Aarhus, Denmark, August 20-24, 2005, pp. 199-202, 2005, ACM, 1-59593-203-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UsersAward programme, user-driven certification of software, workplace computing, participatory design, value sensitive design |
26 | Claus Bossen, Peter Dalsgård |
Conceptualization and appropriation: the evolving use of a collaborative knowledge management system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Computing ![In: Proceedings of the 4th Decennial Conference on Critical Computing: Between Sense and Sensibility, 2005, Aarhus, Denmark, August 20-24, 2005, pp. 99-108, 2005, ACM, 1-59593-203-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
conceptualisation, design, knowledge management, participatory design, system development, tailorability, user involvement, appropriation |
26 | H. Rex Hartson, José C. Castillo |
Remote evaluation for post-deployment usability improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24 - 27, 1998, pp. 22-29, 1998, ACM Press. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
remote usability evaluation, usability data, user-initiated, user-reported critical incident method, evaluation method, software deployment, critical incidents |
26 | Susanne Jul, George W. Furnas |
Critical Zones in Desert Fog: Aids to Multiscale Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 11th Annual ACM Symposium on User Interface Software and Technology, UIST 1998, San Francisco, CA, USA, November 1-4, 1998, pp. 97-106, 1998, ACM, 1-58113-034-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ZTracker, critical zone analysis, critical zones, space-scale diagrams, view-based navigational aids, view-navigation, navigation, browsing, multiscale, residue, information navigation, Pad++ |
26 | Roymond S. C. Shanahan |
Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings, pp. 86-92, 1996, IEEE Computer Society, 0-8186-7629-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
product line center approach, mission critical systems development, Department of Defense, information systems development environment, systems development costs, software architectures, software tools, software reuse, initiatives, safety-critical software, computer-based systems engineering, ECBS |
26 | Arkady Kanevsky, Peter C. Krupp, Paul J. Wallace |
Paradigm for building robust real-time distributed mission-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 33-40, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
search radar, military systems, radar tracking, robust real-time distributed mission-critical systems building, long life-cycle defense system, stringent safety requirements, stringent timing requirements, stringent dependability requirements, multiple target tracking, surveillance radar system, system upgrade support, system hardware, baseline performance, SEI/CMU Simplex Architecture, prototypical industrial feedback control application, integrated standard technologies, real-time systems, reliability, fault tolerant computing, distributed processing, timing, software fault tolerance, target tracking, safety-critical software, system software, military computing, application software, computing paradigm |
26 | Giuseppe Iazeolla, Raffaela Mirandola, Andrea D'Ambrogio |
Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 4th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'95), April 20-22, 1995, Berkeley Springs, West Virginia, USA, Proceedings, pp. 221-230, 1995, IEEE Computer Society, 0-8186-7019-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
collaborative software verification, Software Performance Evaluation and Modeling, Master Model, performance analysis model, software workload model, abstract machine model, database management systems, program verification, performance predictions, software performance evaluation, database design, computer aided software engineering, safety-critical software, software performance engineering, SPEED, life cycle, hybrid simulation, software engineering methodology, software toolkit, critical software |
26 | Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman |
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS-AVoCS ![In: Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings, pp. 3-18, 2017, Springer, 978-3-319-67112-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola |
Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS-AVoCS ![In: Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, pp. 205-213, 2016, Springer, 978-3-319-45942-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Arnaud Dieumegard, Andres Toom, Marc Pantel |
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS-AVoCS ![In: Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, pp. 117-132, 2016, Springer, 978-3-319-45942-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Axel Habermaier, Johannes Leupolz, Wolfgang Reif |
Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS-AVoCS ![In: Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, pp. 150-167, 2016, Springer, 978-3-319-45942-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Daphne R. Raban, Mihai Moldovan, Quentin Jones |
An empirical study of critical mass and online community survival. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: Proceedings of the 2010 ACM Conference on Computer Supported Cooperative Work, CSCW 2010, Savannah, Georgia, USA, February 6-10, 2010, pp. 71-80, 2010, ACM, 978-1-60558-795-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
critical mass, online community system design, computer-mediated communication, chat, synchronous communication, irc |
25 | Jeronimo Dzaack, Leon Urbas |
Multilevel Analysis of Human Performance Models in Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Digital Human Modeling, Second International Conference, ICDHM 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, pp. 375-383, 2009, Springer, 978-3-642-02808-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multilevel analysis, evaluation and design, human factor, tools, safety-critical systems, cognitive architectures, human performance models |
25 | Zhipeng Lü, Jin-Kao Hao |
A Critical Element-Guided Perturbation Strategy for Iterated Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoCOP ![In: Evolutionary Computation in Combinatorial Optimization, 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings, pp. 1-12, 2009, Springer, 978-3-642-01008-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
perturbation operator, critical element-guided perturbation, course timetabling, graph coloring, iterated local search |
25 | Harry Ku |
Teaching of Critical Path Networks Using Software Packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 435-440, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Engineering management science, Microsoft Project 2007, Quantitative Methods - Production and Operations Management (POM-QM) for Windows 3, Excel in Microsoft Office 2007 and critical path networks |
25 | Bo-Zhou Chen, Hung-Ming Chen, Li-Da Huang, Po-Cheng Pan |
A stochastic-based efficient critical area extractor on OpenAccess platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009, pp. 197-202, 2009, ACM, 978-1-60558-522-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OpenAccess, critical area analysis |
25 | Chung-Yuan Huang, Chia-Ying Cheng, Chuen-Tsai Sun |
Resource Limitations, Transmission Costs and Critical Thresholds in Scale-Free Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings, pp. 485-494, 2008, Springer, 978-3-540-78581-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Critical threshold, economic resource limitations, transmission costs, power-law degree distribution, scale-free networks |
25 | Pao-Ann Hsiung, Yean-Ru Chen, Yen-Hung Lin |
Model Checking Safety-Critical Systems Using Safecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 56(5), pp. 692-705, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Safecharts, extended timed automaton, model checking, Safety-critical systems |
25 | Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen |
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. ![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. 451-464, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems |
25 | Claudio Balducelli, Antonio Di Pietro, Luisa Lavalle, Giordano Vicoli |
A Middleware Improved Technology (MIT) to Mitigate Interdependencies between Critical Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], pp. 28-51, 2007, Springer, 978-3-540-85570-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
middleware technology, jms, java, information sharing, situation awareness, soap, risk assessment, application server, critical infrastructure, interdependencies, ejb |
25 | Yu-Shen Liu, Min Liu 0018, Daisuke Kihara, Karthik Ramani |
Salient critical points for meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid and Physical Modeling ![In: Proceedings of the 2007 ACM Symposium on Solid and Physical Modeling, Beijing, China, June 4-6, 2007, pp. 277-282, 2007, ACM, 978-1-59593-666-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
saliency, critical points, Morse theory |
25 | Tridib Mukherjee, Krishna K. Venkatasubramanian, Sandeep K. S. Gupta |
Performance modeling of critical event management for ubiquitous computing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2006, Terromolinos, Spain, October 2-6, 2006, pp. 12-19, 2006, ACM, 1-59593-477-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ubiquitous computing, autonomic computing, safety-critical systems, event management, proactive computing |
25 | Per Mellstrand, Rune Gustavsson |
Experiment Based Validation of CIIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructures Security, First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006, Revised Papers, pp. 15-29, 2006, Springer, 3-540-69083-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Resilient Software, Critical Infrastructures, Vulnerability Assessment |
25 | Andrew J. Kornecki, Janusz Zalewski |
Experimental evaluation of software development tools for safety-critical real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 1(2), pp. 176-188, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Tool qualification, Safety-critical systems, CASE tools, Software safety |
25 | Hermann Kopetz |
On the Fault Hypothesis for a Safety-Critical Real-Time System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWSD ![In: Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers, pp. 31-42, 2004, Springer, 3-540-37677-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems |
25 | Feng-Tse Lin, Jing-Shing Yao |
Fuzzy Critical Path Method Based on Signed-Distance Ranking and Statistical Confidence-Interval Estimates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 24(3), pp. 305-325, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
signed-distance ranking, confidence-interval estimate, fuzzy set, activity network, critical path method |
25 | Paul Townend, Jie Xu 0007, Malcolm Munro |
Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy, pp. 103-110, 2001, IEEE Computer Society, 0-7695-1068-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Critical software and systems, industrial embedded systems, multi-version software, reliability and safety, fault tolerance |
25 | Gerald M. Karam, Raymond J. A. Buhr |
Starvation and Critical Race Analyzers for Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(8), pp. 829-843, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters |
25 | Gerald M. Karam, Christine M. Stanczyk, Gregory W. Bond |
Critical Races in Ada Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1471-1480, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
critical races, concurrent Ada programs, system errors, CRF language, caller selection mechanism, discriminatory mutual exclusion, dimutex, MLog language, gas-station example, parallel programming, Ada, rapid-prototyping, Ada language |
25 | Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola |
A Study on Multiformalism Modeling of Critical Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 336-343, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multiformalism Modeling, Security, Performability, Dependability, Critical Infrastructure |
25 | Rüdiger Klein |
Information Modelling and Simulation in Large Dependent Critical Infrastructures - An Overview on the European Integrated Project IRRIIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 131-143, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CI dependency, federated simulation, improved CI communication and management, dependability, information models, simulation environment, critical infrastructures |
25 | Anas Abou El Kalam, Yves Deswarte |
Critical Infrastructures Security Modeling, Enforcement and Runtime Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructure Security, Third International Workshop, CRITIS 2008, Rome, Italy, October 13-15, 2008. Revised Papers, pp. 95-108, 2008, Springer, 978-3-642-03551-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Security policies and models, access control enforcement, security of critical infrastructures, runtime model checking |
24 | Ronald J. Kohl |
AIAA (Draft) Guidebook "Managing the Use of Commercial Off-the-Shelf (COTS) Software Components for Mission Critical Systems". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCBSS ![In: COTS-Based Software Systems, Third International Conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings, pp. 16, 2004, Springer, 3-540-21903-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Eric A. M. Luiijf, Marieke H. A. Klaver |
Protecting a nation's critical infrastructure: the first steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1185-1190, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Brian A. Fields, Shai Rubin, Rastislav Bodík |
Focusing processor policies via critical-path prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 28th Annual International Symposium on Computer Architecture, ISCA 2001, Göteborg, Sweden, June 30-July 4, 2001, pp. 74-85, 2001, ACM, 0-7695-1162-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Nassir Navab, Olivier D. Faugeras |
The Critical Sets of Lines for Camera Displacement Estimation: A Mixed Euclidean-Projective and Constructive Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 23(1), pp. 17-44, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Jason Staggs, Sujeet Shenoi (eds.) |
Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![Springer, 978-3-031-49584-7 The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Raza Ahmad, Aniket Modi, Eunjin Jung, Carolina de Senne Garcia, Hassaan Irshad, Ashish Gehani |
Analyzing Discrepancies in Whole-Network Provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 93-114, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | James Wright, Stephen D. Wolthusen |
A Contextual Integrity Property to Impede Privacy Violations in 5G Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 115-139, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Richard White |
Redefining Homeland Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 3-14, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Scott Anderson, Tucker Bell, Patrick Egan, Nathan Weinshenker, Paul Barford |
Measuring the Impacts of Power Outages on Internet Hosts in the United States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 62-90, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Øyvind Anders Arntzen Toftegaard, Doney Abraham, Sujeet Shenoi, Bernhard M. Hämmerli |
Smart-Grid-Enabled Business Cases and the Consequences of Cyber Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 17-39, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Doney Abraham, Øyvind Anders Arntzen Toftegaard, Alemayehu Gebremedhin, Sule Yayilgan |
Consequence Verification During Risk Assessments of Smart Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 40-61, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Edward Martin, Sujeet Shenoi |
Real-Time Attack Detection in Modern Automobile Controller Area Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 221-252, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Dee Meng Kang, Haadee Faahym, Souhail Meftah, Sye Loong Keoh, Khin Mi Mi Aung |
Practical Deep Neural Network Protection for Unmodified Applications in Intel Software Guard Extension Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 177-192, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Raymond H. Chan, Wye Kaye Yan, Jung Man Ma, Kai Mun Loh, Tan Yu, Malcolm Y. H. Low, Habib Rehman, Thong Chee Phua |
Security-Enhanced Orchestration Platform for Building Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 164-176, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Kameron Tillman, Jason Staggs, Sujeet Shenoi |
A Cyber Security Analysis Methodology for Evaluating Automobile Risk Exposures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVII - 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers, pp. 195-220, 2023, Springer, 978-3-031-49584-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Jason Staggs, Sujeet Shenoi (eds.) |
Critical Infrastructure Protection XV - 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![Springer, 978-3-030-93510-8 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jason Staggs, Sujeet Shenoi (eds.) |
Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![Springer, 978-3-031-20136-3 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Amani Abou Rida, Rabih Amhaz, Pierre Parrend |
Anomaly Detection on Static and Dynamic Graphs Using Graph Convolutional Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 227-248, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Francesco Colace, Massimo De Santo, Francesco Marongiu, Domenico Santaniello, Alfredo Troiano |
Secure Medical Data Sharing Through Blockchain and Decentralized Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 249-262, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Passent Mohammed El-Kafrawy, Mohamed Bennawy |
Walk Through Event Stream Processing Architecture, Use Cases and Frameworks Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 57-71, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Mario Casillo, Francesco Colace, Angelo Lorusso, Francesco Marongiu, Domenico Santaniello |
An IoT-Based System for Expert User Supporting to Monitor, Manage and Protect Cultural Heritage Buildings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 143-154, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Ashutosh Kumar, Aditya Upadhyay, Neha Mishra, Srawan Nath, Kalu Ram Yadav, Gajanand Sharma |
Privacy and Security Concerns in Edge Computing-Based Smart Cities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 89-110, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Dmitry Kushnir, Maxim Kovtsur, Ammar Muthanna, Anastasiia Kistruga, Mark Akilov, Anton Batalov |
Developing Instrument for Investigation of Blockchain Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 123-141, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Johannes Meister, Kim Ho Yeap, Magdalene Wan Ching Goh, Humaira Nisar, Johannes Fischer 0005, Hans Meier |
The Design of a Pheromone-Based Robotic Varroa Trap for Beekeeping Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 21-56, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Kriti Aggarwal, Sunil K. Singh 0002, Muskaan Chopra, Sudhakar Kumar, Francesco Colace |
Deep Learning in Robotics for Strengthening Industry 4.0.: Opportunities, Challenges and Future Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 1-19, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Nidhee Kamble |
Commercializing Blockchain in a Smart City: Autonomous Vehicles, Cryptocurrency, and Contract Law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 155-170, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Veenu Rani, Munish Kumar, Ajay Mittal, Krishan Kumar 0001 |
Artificial Intelligence for Cybersecurity: Recent Advancements, Challenges and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 73-88, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Alberto Huertas Celdrán, Pedro Miguel Sánchez Sánchez, Fabio Sisi, Gérôme Bovet, Gregorio Martínez Pérez, Burkhard Stiller |
Creation of a Dataset Modeling the Behavior of Malware Affecting the Confidentiality of Data Managed by IoT Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 193-225, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Jasmeen Kaur Chahal, Vidhyotma Gandhi, Payal Kaushal |
A Taxonomy of DDoS Defense Mechanism in Software Defined Networking (SDN). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 111-122, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Phuc Do |
Finding All Shortest Meaningful Meta-Paths Between Two Vertices of a Secured Large Heterogeneous Information Network Using Distributed Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities ![In: Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities, pp. 171-192, 2022, Springer, 978-3-030-96736-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | James Cervini, Daniel Muller, Alexander Beall, Joseph Maurio, Aviel Rubin, Lanier A. Watkins |
Trusted Virtualization-Based Programmable Logic Controller Resilience Using a Backfit Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 103-117, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Øyvind Anders Arntzen Toftegaard, Janne Hagen, Bernhard M. Hämmerli |
Are European Security Policies Ready for Advanced Metering Systems with Cloud Back-Ends? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 47-69, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Laura Tinnel, Ulf Lindqvist |
Importance of Cyber Security Analysis in the Operational Technology System Lifecycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 73-101, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Noah Diamond, Scott R. Graham, Gilbert Clark |
Securing Infiniband Traffic with Bluefield-2 Data Processing Units. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 277-300, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Elizabeth Kurkowski, Mason Rice, Sujeet Shenoi |
Detecting Part Anomalies Induced by Cyber Attacks on a Powder BED Fusion Additive Manufacturing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 175-203, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Muhammad Haris Rais, Muhammad Ahsan, Vaibhav Sharma 0004, Radhika Barua, Rob Prins, Irfan Ahmed 0001 |
Low-Magnitude Infill Structure Manipulation Attacks on Fused Filament Fabrication 3D Printers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 205-232, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Elizabeth Kurkowski, Alyxandra Van Stockum, Joel A. Dawson, Curtis Taylor, Tricia Schulz, Sujeet Shenoi |
Manipulation of G-Code Toolpath Files in 3D Printers: Attacks and Mitigations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 155-174, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Alyxandra Van Stockum, Elizabeth Kurkowski, Tiffany Potok, Curtis Taylor, Joel A. Dawson, Mason Rice, Sujeet Shenoi |
Attack-Defense Modeling of Material Extrusion Additive Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 121-153, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Neal Ziring |
National Cyber Resilience and Roles for Public and Private Sector Stakeholders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 3-46, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Samuel Chadwick, Scott R. Graham, James Dean, Matthew Dallmeyer |
Leveraging Confidential Computing to Enable Secure Information Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 235-252, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Calvin Muramoto, Scott R. Graham, Stephen Dunlap |
Evaluating the Use of Boot Image Encryption on the TALOS II Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XVI - 16th IFIP WG 11.10 International Conference, ICCIP 2022, Virtual Event, March 14-15, 2022, Revised Selected Papers, pp. 253-273, 2022, Springer, 978-3-031-20136-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Kyle Hintze, Scott R. Graham, Stephen Dunlap, Patrick Sweeney |
InfiniBand Network Monitoring: Challenges and Possibilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XV - 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers, pp. 187-208, 2021, Springer, 978-3-030-93510-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Yu Han Chu, Sye Loong Keoh, Chee Kiat Seow, Qi Cao 0002, Kai Wen, Soon Yim Tan |
GPS Signal Authentication Using a Chameleon Hash Keychain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XV - 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers, pp. 209-226, 2021, Springer, 978-3-030-93510-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Brandt Reutimann, Indrakshi Ray |
Simulating Measurement Attacks in a Scada System Testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XV - 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers, pp. 135-153, 2021, Springer, 978-3-030-93510-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Syed Ali Qasim, Adeen Ayub, Jordan Johnson, Irfan Ahmed 0001 |
Attacking the IEC 61131 Logic Engine in Programmable Logic Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XV - 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers, pp. 73-95, 2021, Springer, 978-3-030-93510-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Tim Ellis, David Balenson, Michael Locasto |
Cyber Security Awareness Requirements for Operational Technology Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XV - 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers, pp. 23-44, 2021, Springer, 978-3-030-93510-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Ken Yau, Kam-Pui Chow, Siu-Ming Yiu |
Detecting Anomalous Programmable Logic Controller Events Using Process Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection XV - 15th IFIP WG 11.10 International Conference, ICCIP 2021, Virtual Event, March 15-16, 2021, Revised Selected Papers, pp. 119-133, 2021, Springer, 978-3-030-93510-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 38275 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|