Conferences/ Events

Conference/ Event TitleDatesHost
EC Info Day6th -7th February 2008EC
EC Info Day10th March 2008Rzeszów University of Technology
ESREL 20097th - 10th August 2009VSB-Technical University of Ostrava
Model-based Safety Assessment - Journées MISSA-CISEC9-10 February 2010 Institut Aeronautique et Spatial (IAS), Toulouse, France
The IET International System Safety Conference 201018-21st October 2010 The IET
Model Based Safety Workshop21st October 2010The IET International System Safety Conference 2010


  1. A. Arnold, A. Griffault, G. Point and A. Rauzy 1999. The AltaRica formalism for describing concurrent systems. Fundam. Inf. 40, issue 2-3, pages 109-124, IOS Press, 2000.
  2. A. Biere, A. Cimatti, E.M. Clarke, Y. Zhu. Symbolic Model Checking without BDDs. Proceedings Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1999), LNCS 1579, pages 193-207, Springer.
  3. E. Böde, M. Herbstritt, H. Hermanns, S. Johr, T. Peikenkamp, R. Pulungan, R. Wimmer, and B. Becker, Compositional perfomability evaluation for Statemate, in 3rd International Conference on Quantitative Evaluation of Systems (QEST), Riverside, CA, USA, Sept. 2006. IEEE Computer Society Press.
  4. Eckard Böde, Sebastian Gebhardt, and Thomas Peikenkamp. "Contract based assesment of safety critical systems". In Proceeding of the 7th European Systems Engineering Conference (EuSEC 2010), Stockholm, Sweden, 2010.
  5. M. Bozzano, A. Villafiorita, The FSAP/NuSMV-SA Safety Analysis Platform. International Journal on Software Tools for Technology Transfer 9(1):5-24, 2007, Springer.
  6. M. Bozzano, et al, ESACS: An Integrated Methodology for Design and Safety Analysis of Complex Systems, in Proceedings of the European Safety and Reliability Conference (ESREL), 2003, Balkema Publishers.
  7. M.Bozzano, R.Bruttomesso, A.Cimatti, T.Junttila, P.v.Rossum, S.Schulz and R.Sebastiani. MathSat: Tight Integration of SAT and Mathematical Decision Procedures. Journal of Automated Reasoning, 35: 265-293, October 2005.
  8. M.Bozzano and A.Villafiorita. The FSAP/NuSMV-SA Safety Analysis Platform. International Journal on Software Tools for Technology Transfer, 9(1):5-24, 2007.
  9. M.Bozzano, A.Cimatti and F.Tapparo. Symbolic Fault Tree Analysis for Reactive Systems. In Proceedings of ATVA 2007, LNCS 4762, pages 162-176. Tokyo, Japan, October 22-25 2007.
  10. M.Bozzano and A.Villafiorita. Safety Assessment of Critical Systems. Auerbach Publications. 2010, ISBN-10: 1439803318, ISBN-13: 978-1429803318
  11. M. Bretschneider. On the impact of deferred repair on the expected number of system failures – a stochastic model, In Proc. of The European Conference on Safety and Reliability – ESREL 2009, Prague/Czech Republic.
  12. A. Cimatti, R. Sebastiani. Building Efficient Decision Procedures on top SAT solvers. Formal Methods for Hardware Verification. Tutorial, May 2006. LNCS 3965, Springer.
  13. A. Cimatti, E. Clarke, F. Giunchiglia and M. Roveri. " NuSMV: a new symbolic model checker" In STTT International Journal on Software Tools for Technology Transfer. Editors-in-Chief: B. Steffen - W. R. Cleaveland. Springer Verlag, (2000)2: 410-425.
  14. A. Griffault, et al, The AltaRica Formalism for Describing Concurrent Systems, in Fundamenta Informaticae, 1999, IOS Press
  15. Alain Griffault and Gérald Point. /On the partial translation of Lustre programs into the AltaRica language and vice versa/. Research Report n°1415-06. LaBRI - Université Bordeaux I, Nov. 2006.
  16. E. Izquierdo and X. Feng, "Modeling Arbitrary Objects Based on Geometric Surface Conformity", IEEE Transactions on Circuits and Systems for Video Technology, Special Issue on Synthetic/Natural Hybrid Video Coding, Vol. 9, No. 2, March 1999, pp. 336-352
  17. E. Izquierdo and S. Kruse, "Image Analysis for 3D Modelling, Rendering and Virtual View Generation", Computer Vision and Image Understanding, Special Issue on Computer Vision Applications for Network-Centric Computing, Vol. 71, No. 2, Aug. 1998, pp. 231-253
  18. E. Izquierdo and V. Guerra, “Improving the Efficiency of Linear Techniques to Estimate the Epipolar Geometry”, Electronic Letters, Vol. 37, No. 15, pp. 952-953
  19. E. Izquierdo and V. Guerra, “Estimating the Essential Matrix by Efficient Linear Techniques”, IEEE Transactions on Circuits and Systems for Video Technology, Vol. 13, No 9, Sep. 2003, pp. 925-935
  20. E. Izquierdo, "A High Accuracy Solution to the Correspondence Problem", Electronic Letters, Vol 36, No 11, May 2000, pp.948-949
  21. E. Izquierdo, "Disparity/Segmentation Analysis: Matching with Adaptive Windows and Depth Driven Segmentation", IEEE Transactions on Circuits and Systems for Video Technology, Special Issue on Image and Video Processing for Emerging Interactive Multimedia Services, Vol. 7, No. 4, Jun 1999, pp. 589-607
  22. E. Izquierdo, "Technique for accurate correspondence estimation in object borders and occluded image regions", Electronic Letters, Vol. 35, No. 1, Jan. 1999, pp. 34-35
  23. E. Izquierdo and M. Ghanbari, "Key Components for an Advanced Segmentation Toolbox", IEEE Transactions on Multimedia, Vol. 4, No. 1, Mar. 2002, 17 pages.
  24. E. Izquierdo, F. Lopes and M. Ghanbari, "Object-Based Motion Parametrization Using Shape Adaptive Bilinear Warping", Lecture Notes on Computer Science, Multimedia Applications, Services and Techniques, Springer, 1999, pp. 97-107.
  25. E. Izquierdo and J-R. Ohm, "Image-Based Rendering and 3D Modeling: A Complete Framework", Signal Processing: Image Communication, Vol. 15, No. 10, August 2000, pp. 817-858.
  26. Ch. Kehren, et al, Advanced Simulation Capabilities for Multi-Systems with AltaRica, in Proceedings of the 22nd International System Safety Conference (ISSC), 2004, System Safety Society.
  27. T. P. Kelly, A Systematic Approach to Safety Case Management, in Proceedings of SAE 2004 World Congress, Detroit, March 2004 (Proceedings published by the Society for Automotive Engineers).
  28. T. P. Kelly, J. A. McDermid, Safety Case Construction and Reuse using Patterns, in proceedings of 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP’97), September 1997, Springer.
  29. T. P. Kelly, Managing Complex Safety Cases, in proceedings of the 11th Safety Critical Systems Symposium (SSS'03), February 2003, Springer
  30. T. P. Kelly, J. A. McDermid, A Systematic Approach to Safety Case Maintenance, Reliability Engineering and System Safety vol. 71 (2001) 271-284, Elsevier.
  31. O. Lisagor, M. Pretzer, et al, Towards Safety Analysis of Highly Integrated Technologically Heterogeneous Systems – A Domain-Based Approach for Modelling System Failure Logic, in Proceedings of the 24th International System Safety Conference (ISSC), 2006, System Safety Society.
  32. J-R. Ohm and E. Izquierdo, "An Object-Based System for Stereoscopic Viewpoint Synthesis", IEEE Transactions on Circuits and Systems for Video Technology, Vol. 7, No. 5, Oct. 1997, pp. 801-811
  33. Y. Papadopoulos, J. McDermid, “Hierarchically Performed Hazard Origin and Propagation Studies, in Proceedings of the 18th International Conference on Computer Safety, Reliability and Security, LNCS 1608:139-152, 1999, Springer Verlag.
  34. Y. Papadopoulos, M. Maruhn., Model-based automated synthesis of fault trees from Matlab-Simulink models, in Proceedings International Conference on Dependable Systems and Networks (DSN’2001), pp 77-82, 2001, IEEE Computer Society
  35. Y. Papadopoulos, et al, Analysis and Synthesis of the Behaviour of Complex Programmable Electronic Systems in Conditions of Failure, Reliability Engineering and System Safety, 71(3):229-247, 2001, Elsevier Science.
  36. T. Peikenkamp, E. Böde, I. Brückner, H. Spenke, M. Bretschneider, H.-J. Holberg, “Model-based Safety Analysis of a Flap Control System”, Proceedings of INCOSE, Toulouse (2004).
  37. I. Pill, S. Semprini, R. Cavada, M. Roveri, R. Bloem, and A. Cimatti: Formal analysis of hardware requirements. Proc. Design Automation Conference, pages 821-826, 2006.
  38. Karthikeyan Vaiapury, Ebroul Izquierdo, "An O-FDP Framework in 3D Model based Reconstruction", The 12th International Asia-Pacific Web Conference (APWeb), 2010.


  1. RAT Requirements Analysis Tool
  2. Altarica Formalism
  3. FSAP tool
  4. NuSMV tool