Result 1 to 20 of 29 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
Timing-failure risk assessment of UML design using time Petri net bound techniques (English)
IEEE Trans. Industrial Informatics 7, No. 1, 90-104 (2011).
2
Model-driven availability evaluation of railway control systems (English)
SAFECOMP, 15-28 (2011).
3
Reliability and availability requirements engineering within the unified process using a dependability analysis and modeling profile (English)
EDCC, 95-104 (2010).
4
Performance aware open-world software in a 3-layer architecture (English)
WOSP/SIPEW, 49-56 (2010).
5
ITPN-PerfBound: a performance bound tool for interval time Petri nets. (English)
Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22‒29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 50-53 (2009).
6
Computation of performance bounds for real-time systems using time Petri nets (English)
IEEE Trans. Industrial Informatics 5, No. 2, 168-180 (2009).
7
ITPN-perfbound: A performance bound tool for interval time Petri nets (English)
TACAS, 50-53 (2009).
8
Integrating tpns and performance bound techniques in ITPN-perfbound: A new import functionality (English)
QEST, 285-286 (2009).
9
Adding dependability analysis capabilities to the MARTE profile. (English)
Czarnecki, Krzysztof (ed.) et al., Model driven engineering languages and systems. 11th international conference, MoDELS 2008, Toulouse, France, September 28‒October 3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87874-2/pbk). Lecture Notes in Computer Science 5301, 736-750 (2008).
10
Adding dependability analysis capabilities to the MARTE profile (English)
MoDELS, 736-750 (2008).
11
Performance evaluation of UML design with stochastic well-formed nets. (English)
J. Syst. Softw. 80, No. 11, 1843-1865 (2007).
12
A UML profile for dependability analysis of real-time embedded systems (English)
WOSP, 115-124 (2007).
13
QoS Assessment via Stochastic Analysis. (English)
IEEE Internet Computing 10, No.03, 32-42 (2006).
14
QoS assessment via stochastic analysis (English)
IEEE Internet Computing 10, No. 3, 32-42 (2006).
15
Petri nets and dependability. (English)
Desel, Jörg (ed.) et al., Lectures on concurrency and Petri nets. Advances in Petri nets. Berlin: Springer (ISBN 3-540-22261-8/pbk). Lecture Notes in Computer Science 3098, 125-179 (2004).
16
Towards a methodological approach to specification and analysis of dependable automation systems. (English)
Lakhnech, Yassine (ed.) et al., Formal techniques, modelling and analysis of timed and fault-tolerant systems. Joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22‒24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23167-6/pbk). Lecture Notes in Computer Science 3253, 36-51 (2004).
17
An efficient implementation of PRNGs based on the digital sawtooth map. (English)
Int. J. Circuit Theory Appl. 32, No. 6, 615-627 (2004).
18
Stochastic Petri nets and inheritance for dependability modelling (English)
PRDC, 363-372 (2004).
19
Towards a methodological approach to specification and analysis of dependable automation systems (English)
FORMATS/FTRTFT, 36-51 (2004).
20
Result 1 to 20 of 29 total
Start
Contact
Print
General Help
