|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet |
Formalization of design patterns for security and dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013, pp. 17-26, 2013, ACM, 978-1-4503-2123-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marc Ronell |
Safety concerns regarding the use of visual programming in civilian avionics software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013, pp. 33-38, 2013, ACM, 978-1-4503-2123-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Oriol, Thomas Gamer, Thijmen de Gooijer, Michael Wahler, Ettore Ferranti |
Fault-tolerant fault tolerance for component-based automation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013, pp. 49-58, 2013, ACM, 978-1-4503-2123-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wojtek Kozaczynski |
Monitoring and diagnosing cloud infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013, pp. 59-60, 2013, ACM, 978-1-4503-2123-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roshanak Roshandel, Payman Arabshahi, Radha Poovendran |
LIDAR: a layered intrusion detection and remediationframework for smartphones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013, pp. 27-32, 2013, ACM, 978-1-4503-2123-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Kruchten, Sam Malek (eds.) |
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![ACM, 978-1-4503-2123-5 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Maurice H. ter Beek, Fabio Gadducci, Francesco Santini 0001 |
Validating reconfigurations of reo circuits in an e-Banking scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013, pp. 39-48, 2013, ACM, 978-1-4503-2123-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiwei Xu 0001, Qinghua Lu 0001, Liming Zhu 0001, Zhanwen Li, Sherif Sakr, Hiroshi Wada, Ingo Weber |
Availability analysis for deployment of in-cloud applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013, pp. 11-16, 2013, ACM, 978-1-4503-2123-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Teerat Pitakrat, André van Hoorn, Lars Grunske |
A comparison of machine learning algorithms for proactive hard disk drive failure detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, ISARCS 2013, Vancouver, BC, Canada, June 17-21, 2013, pp. 1-10, 2013, ACM, 978-1-4503-2123-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Funmilade Faniyi, Rami Bahsoon |
Self-managing SLA compliance in cloud architectures: a market-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012, pp. 61-70, 2012, ACM, 978-1-4503-1347-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo J. Rodríguez, Catia Trubiani, José Merseguer |
Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012, pp. 21-30, 2012, ACM, 978-1-4503-1347-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aziz |
Application of formal analysis to enhancing trust in a complex grid-based operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012, pp. 41-50, 2012, ACM, 978-1-4503-1347-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Staite, Rami Bahsoon |
Evaluating identity management architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012, pp. 11-20, 2012, ACM, 978-1-4503-1347-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Oriol, Michael Wahler, Robin Steiger, Sascha Stoeter, Egemen Vardar, Heiko Koziolek, Atul Kumar |
FASA: a scalable software framework for distributed control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012, pp. 51-60, 2012, ACM, 978-1-4503-1347-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Milena Guessi, Elisa Yumi Nakagawa, Flávio Oquendo, José Carlos Maldonado |
Architectural description of embedded systems: a systematic review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012, pp. 31-40, 2012, ACM, 978-1-4503-1347-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Grassi, Raffaela Mirandola, Jorge Cuéllar, Javier López 0001 (eds.) |
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![ACM, 978-1-4503-1347-6 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois C. Knoll, Gernot Spiegelberg |
Early safety evaluation of design decisions in E/E architecture according to ISO 26262. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012, pp. 1-10, 2012, ACM, 978-1-4503-1347-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | J. Paul Gibson, Eric Lallet, Jean-Luc Raffy |
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 89-108, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael N. Gagnon, John Truelove, Apu Kapadia, Joshua W. Haines, Orton Huang |
Towards Net-Centric Cyber Survivability for Ballistic Missile Defense. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 125-141, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Germanus, Abdelmajid Khelil, Neeraj Suri |
Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 161-178, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo J. Rodríguez, José Merseguer |
Integrating Fault-Tolerant Techniques into the Design of Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 33-51, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Gawkowski, Konrad Grochowski, Maciej Lawrynczuk, Piotr M. Marusak, Janusz Sosnowski, Piotr Tatjewski |
Testing Fault Robustness of Model Predictive Control Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 109-124, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Decký |
A Road to a Formally Verified General-Purpose Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 72-88, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Cortellessa, Catia Trubiani, Leonardo Mostarda, Naranker Dulay |
An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 1-18, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ibrahim Habli, Tim Kelly |
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 142-160, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Atef Mohamed, Mohammad Zulkernine |
Architectural Design Decisions for Achieving Reliable Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 19-32, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Eckardt, Stefan Henkler |
Component Behavior Synthesis for Critical Systems, . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 52-71, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Holger Giese (eds.) |
Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![Springer, 978-3-642-13555-2 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hillenbrand, Matthias Heinz, Nico Adler, Klaus D. Müller-Glaser, Johannes Matheis, Clemens Reichmann |
ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISARCS ![In: Architecting Critical Systems, First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings, pp. 179-192, 2010, Springer, 978-3-642-13555-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|