|
|
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. |
ISARCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marc Ronell |
Safety concerns regarding the use of visual programming in civilian avionics software. |
ISARCS |
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. |
ISARCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wojtek Kozaczynski |
Monitoring and diagnosing cloud infrastructure. |
ISARCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roshanak Roshandel, Payman Arabshahi, Radha Poovendran |
LIDAR: a layered intrusion detection and remediationframework for smartphones. |
ISARCS |
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 |
ISARCS |
2013 |
DBLP BibTeX RDF |
|
1 | Maurice H. ter Beek, Fabio Gadducci, Francesco Santini 0001 |
Validating reconfigurations of reo circuits in an e-Banking scenario. |
ISARCS |
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. |
ISARCS |
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. |
ISARCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Funmilade Faniyi, Rami Bahsoon |
Self-managing SLA compliance in cloud architectures: a market-based approach. |
ISARCS |
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. |
ISARCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aziz |
Application of formal analysis to enhancing trust in a complex grid-based operating system. |
ISARCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Staite, Rami Bahsoon |
Evaluating identity management architectures. |
ISARCS |
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. |
ISARCS |
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. |
ISARCS |
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 |
ISARCS |
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. |
ISARCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | J. Paul Gibson, Eric Lallet, Jean-Luc Raffy |
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements. |
ISARCS |
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. |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Germanus, Abdelmajid Khelil, Neeraj Suri |
Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays. |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo J. Rodríguez, José Merseguer |
Integrating Fault-Tolerant Techniques into the Design of Critical Systems. |
ISARCS |
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. |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Decký |
A Road to a Formally Verified General-Purpose Operating System. |
ISARCS |
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. |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ibrahim Habli, Tim Kelly |
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Atef Mohamed, Mohammad Zulkernine |
Architectural Design Decisions for Achieving Reliable Software Systems. |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Eckardt, Stefan Henkler |
Component Behavior Synthesis for Critical Systems, . |
ISARCS |
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 |
ISARCS |
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. |
ISARCS |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|