|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 136 publication records. Showing 136 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Quantitative Verification of System Safety in Event-B.  |
SERENE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miles McQueen, Annarita Giani |
'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System State. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo |
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter T. Popov |
Preliminary Interdependency Analysis (PIA): Method and Tool Support. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivica Crnkovic |
Predictability and Evolution in Resilient Systems. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Masci 0001, Nicola Nostro, Felicita Di Giandomenico |
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinfu Wang 0001, Peng Jiang 0001, John Bigham, Bob Chew, Milan Novkovic, Ilesh Dattani |
Adding resilience to message oriented middleware. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil B. Harrison, Paris Avgeriou, Uwe Zdun |
On the impact of fault tolerance tactics on architecture patterns. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun |
Availability modelling of a virtual black box for automotive systems. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce |
Design support and tooling for dependable embedded control software. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo J. Rodríguez, José Merseguer, Simona Bernardi 0001 |
Modelling and analysing resilience as a security issue within UML. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Augmenting formal development of control systems with quantitative reliability assessment. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann |
Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon |
A UML-based method for risk analysis of human-robot interactions. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Ferrari 0001, Mario Papini, Alessandro Fantechi, Daniele Grasso |
An industrial application of formal model based development: the Metrô Rio ATP case. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky |
On fault tolerance reuse during refinement. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Antinisca Di Marco, Fabio Martinelli, Valérie Issarny, Rachid Saadi |
Dependability in dynamic, evolving and heterogeneous systems: the connect approach. |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanna Di Marzo Serugendo, John S. Fitzgerald (eds.) |
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010 |
SERENE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Masci 0001, Henrique Moniz, Alessandra Tedeschi |
Services for fault-tolerant conflict resolution in air traffic management. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Romanovsky |
DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel L. Zenarosa, Soumya Simanta |
Experiences in engineering active replication into a traditional three-tiered client-server system. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli |
An integrated framework for the dependability evaluation of distributed mobile applications. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Cirani, Natalya Fedotova, Luca Veltri |
A resilient architecture for DHT-based distributed collaborative environments. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil B. Harrison, Paris Avgeriou |
Incorporating fault tolerance tactics in software architecture patterns. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Yuhui Chen, Alexander B. Romanovsky |
The threat of uncertainty in service-oriented architecture. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten van Ellen, Wilhelm Hasselbring |
Extended exceptions for contingencies. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky (eds.) |
SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008 |
SERENE |
2008 |
DBLP BibTeX RDF |
|
| 1 | James Hawthorne, Richard Anthony |
A reconfigurable component model using reflection. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard John Payne |
RPL: a policy language for dynamic reconfiguration. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky |
Formal development of cooperative exception handling for mobile agent systems. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anirban Bhattacharyya, John S. Fitzgerald |
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems: a technical diary. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadaf Mustafiz, Jörg Kienzle, Andrey Berlizev |
Addressing degraded service outcomes and exceptional modes of operation in behavioural models. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Lopatkin |
Resilience through dynamic reconfiguration in agent systems. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Felici, Valentino Meduri, Alessandra Tedeschi, Carlo Riccucci |
Supporting resilience in air traffic management. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Towards reasoning about teleo-reactive programs for robust real-time systems. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando J. Barros |
An evolving hierarchical & modular approach to resilient software. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #136 of 136 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license