Result 1 to 20 of 40 total
Model-driven availability evaluation of railway control systems. (English)
Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 15-28 (2011).
1
Augmenting surveillance system capabilities by exploiting event correlation and distributed attack detection. (English)
Tjoa, A Min (ed.) et al., Availability, reliability and security for business, enterprise and health information systems. IFIP WG 8.4/8.9 international cross domain conference and workshop, ARES 2011, Vienna, Austria, August 22‒26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23299-2/pbk). Lecture Notes in Computer Science 6908, 191-204 (2011).
2
Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6894. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). xiv, 482~p. EUR~66.34 (2011).
3
Model-driven availability evaluation of railway control systems (English)
SAFECOMP, 15-28 (2011).
4
Augmenting surveillance system capabilities by exploiting event correlation and distributed attack detection (English)
MURPBES, 191-204 (2011).
5
Multiformalism and transformation inheritance for dependability analysis of critical systems. (English)
Méry, Dominique (ed.) et al., Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11‒14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16264-0/pbk). Lecture Notes in Computer Science 6396, 215-228 (2010).
6
Multiformalism and transformation inheritance for dependability analysis of critical systems (English)
IFM, 215-228 (2010).
7
A study on multiformalism modeling of critical infrastructures. (English)
Setola, Roberto (ed.) et al., Critical information infrastructure security. Third international workshop, CRITIS 2008, Rome, Italy, October 13‒15, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-03551-7/pbk). Lecture Notes in Computer Science 5508, 336-343 (2009).
8
New paradigms and tools for high-assurance systems modelling (English)
ERCIM News 2008, No. 75 (2008).
9
A study on multiformalism modeling of critical infrastructures (English)
CRITIS, 336-343 (2008).
10
The REM framework for security evaluation (English)
ARES, 1097-1103 (2008).
11
A policy-based methodology for security evaluation: A security metric for public key infrastructures. (English)
J. Comput. Secur. 15, No. 2, 197-229 (2007).
12
The software architecture of the osmosys multisolution framework (English)
VALUETOOLS, 51 (2007).
13
Turning web applications into web services by wrapping techniques (English)
WCRE, 199-208 (2007).
14
Automatic analysis of control flow inweb services composition processes (English)
PDP, 299-306 (2007).
15
Workflow pattern analysis in web services orchestration: the BPEL4WS example (English)
HPCC, 395-400 (2005).
16
Multisolution of complex performability models in the osmosys/drawnet framework (English)
QEST, 85-94 (2005).
17
The osmosys approach to multi-formalism modeling of systems. (English)
Softw. Syst. Model. 3, No. 1, 68-81 (2004).
18
Compositional modeling of complex systems: Contact center scenarios in OsMoSys. (English)
Cortadella, Jordi (ed.) et al., Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21‒25, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22236-7/pbk). Lecture Notes in Computer Science 3099, 177-196 (2004).
19
Compositional modeling of complex systems: contact center scenarios in osmosys (English)
ICATPN, 177-196 (2004).
20
Result 1 to 20 of 40 total
Start
Contact
Print
General Help
