Binary decision diagrams, IEEE Transactions on computers, issue.6, pp.509-516, 1978. ,
Systems Dependability Assessment : Benefits of Petri Net Models, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01320631
Glucose : a solver that predicts learnt clauses quality, SAT Competition, pp.7-8, 2009. ,
Dependability and its threats : a taxonomy, Building the Information Society, pp.91-120, 2004. ,
Cosmos : a statistical model checker for the hybrid automata stochastic logic, 2011 Eighth International Conference on Quantitative Evaluation of SysTems, pp.143-144, 2011. ,
Introduction to iec 61508, Proceedings of the 10th Australian workshop on Safety critical systems and software, vol.55, pp.3-12, 2006. ,
On the analysis of fault trees, IEEE Transactions on reliability, vol.24, issue.3, pp.175-185, 1975. ,
Lingeling and friends at the sat competition 2011, FMV Report Series Technical Report, vol.11, issue.1, 2011. ,
Conflict-driven clause learning sat solvers. Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, pp.131-153, 2009. ,
Handbook of satisfiability, vol.185, 2009. ,
Multi-component systems and structures and their reliability, Technometrics, vol.3, issue.1, pp.55-77, 1961. ,
Quality and reliability of technical systems, IEEE Transactions on Reliability, vol.48, issue.2, pp.205-206, 1999. ,
A discrete-time bayesian network reliability modeling and analysis framework, Reliability Engineering & System Safety, vol.87, issue.3, pp.337-349, 2005. ,
A new formalism that combines advantages of fault-trees and markov models : Boolean logic driven markov processes, Reliability Engineering & System Safety, vol.82, issue.2, pp.149-163, 2003. ,
An optimality result for clause form translation, Journal of Symbolic Computation, vol.14, issue.4, pp.283-301, 1992. ,
Dynamic fault tree models : techniques for analysis of advanced fault tolerant computer systems, 1992. ,
Assessment of reliability indicators from automatically generated partial Markov chains, 2015. ,
URL : https://hal.archives-ouvertes.fr/tel-01230869
Automated generation of partial markov chain from high level descriptions, Reliability Engineering & System Safety, vol.139, pp.179-187, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01238630
An approach of reliability assessment of systems based on graphs models, pp.1485-1493, 2015. ,
Graphs models and algorithms for reliability assessment of coherent and non-coherent systems, Proceedings of the Institution of Mechanical Engineers, Part O : Journal of Risk and Reliability, vol.232, issue.2, pp.201-215, 2018. ,
Graph-based algorithms for boolean function manipulation. Computers, IEEE Transactions on, vol.100, issue.8, pp.677-691, 1986. ,
Reliability block diagram, Assessment of Power System Reliability, pp.119-123, 2011. ,
Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes binaires dynamiques et réparables, 2013. ,
Generalized stochastic petri nets : A definition at the net level and its implications, IEEE Transactions on software engineering, vol.19, issue.2, pp.89-107, 1993. ,
Prise en compte des séquences de défaillances pour la conception de systèmes d'automatisation. Application au ferroutage, 2009. ,
Model checking, International Conference on Foundations of Software Technology and Theoretical Computer Science, pp.54-56, 1997. ,
Formal methods : State of the art and future directions, ACM Computing Surveys (CSUR), vol.28, issue.4, pp.626-643, 1996. ,
URL : https://hal.archives-ouvertes.fr/hal-00444076
Processus de renouvellement markovien processus de markov déterministes par morceaux, 2018. ,
The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing, pp.151-158, 1971. ,
A cache-based parallel genetic algorithm for the bdd variable ordering problem, Proc. of SBAC-PAD, pp.99-104, 2000. ,
Fault tree analysis : 10/sup 20/prime implicants and beyond, Reliability and Maintainability Symposium, 1993. Proceedings., Annual, pp.240-245, 1993. ,
Uppaal smc tutorial, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.397-415, 2015. ,
A machine program for theorem-proving, 1961. ,
Fault trees and sequence dependencies, Reliability and Maintainability Symposium, pp.286-293, 1990. ,
Dynamic fault-tree models for faulttolerant computer systems, IEEE Transactions on reliability, vol.41, issue.3, pp.363-377, 1992. ,
Satisfiability techniques for computing minimal tie sets in reliability assessment, Mathematical Models on Reliability (MMR), 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01630851
Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees, European Safety and Reliability Conference, pp.2425-2432, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02262205
Approximate estimation of system reliability via fault trees. Reliability engineering & system safety, vol.87, pp.163-172, 2005. ,
An extensible SAT-solver, 6th Intl. Conf. Theory and Applications of Satisfiability Testing 2919, pp.502-518, 2003. ,
Characterizing correctness properties of parallel programs using fixpoints, International Colloquium on Automata, Languages, and Programming, pp.169-181, 1980. ,
Évaluation de la fiabilité tà partir de la fonction de structure et du diagramme de hasse, 2014. ,
On the quantitative analysis of priority-and failure logic, IEEE Transactions on Reliability, vol.25, issue.5, pp.324-326, 1976. ,
Some simplified np-complete problems, Proceedings of the sixth annual ACM symposium on Theory of computing, pp.47-63, 1974. ,
Quantitative analysis of dynamic fault trees by means of monte carlo simulations : Event-driven simulation approach, Reliability Engineering & System Safety, vol.180, pp.487-504, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01883352
Probabilistic reliability engineering, 1995. ,
Faults, error bounds and reliability of nanoelectronic circuits, 2005 IEEE International Conference on Application-Specific Systems, Architecture Processors (ASAP'05), pp.247-253, 2005. ,
Solving and verifying the boolean pythagorean triples problem via cube-and-conquer, International Conference on Theory and Applications of Satisfiability Testing, pp.228-245, 2016. ,
A reduction approach to improve the quantification of linked fault trees through binary decision diagrams, Reliability Engineering & System Safety, vol.95, issue.12, pp.1314-1323, 2010. ,
, Sécurité fonctionnelle des systèmes électriques/électroniques/éléctroniques programmables relatifs à la sûreté, 2000.
, IEC, vol.812
, Ieee standard glossary of software engineering terminology (ieee std 610.12-1990). los alamitos. CA, IEEE, 1990.
Évaluation quantitative de séquences d'événements en sûreté de fonctionnement à l'aide de la théorie des langages probabilistes, 2016. ,
Reducibility among combinatorial problems, Complexity of computer computations, pp.85-103, 1972. ,
, Mathematical Models for the Study of the Reliability of Systems (Mathematics in Science and Engineering, vol.124, 1977.
Joint safety and security modeling for risk assessment in cyber physical systems, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01318118
Minimal cut vectors and logical differential calculus, IEEE 44th International Symposium on Multiple-Valued Logic, pp.167-172, 2014. ,
Binary decision diagrams in reliability analysis of standard system structures, 2016 International Conference on Information and Digital Technologies (IDT), pp.164-172, 2016. ,
Prism : probabilistic model checking for performance and reliability analysis, ACM SIGMETRICS Performance Evaluation Review, vol.36, issue.4, pp.40-45, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00457906
The sat4j library, release 2.2, Journal on Satisfiability, Boolean Modeling and Computation, vol.7, issue.2-3, pp.59-64, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00868136
Vers un langage de haut niveau pour une ingénierie des exigences agile dans le domaine des systèmes embarqués avioniques, 2017. ,
Representation of switching circuits by binary-decision programs, The Bell System Technical Journal, vol.38, issue.4, pp.985-999, 1959. ,
Statistical model checking : An overview, International conference on runtime verification, pp.122-135, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00591593
Safety analysis using petri nets, IEEE Transactions on software engineering, issue.3, pp.386-397, 1987. ,
Stochastic systems in merging phase space, 2005. ,
Fuzzy fault tree analysis : a review of concept and application, International Journal of System Assurance Engineering and Management, vol.4, issue.1, pp.19-32, 2013. ,
Évaluation de la fiabilité de systèmes critiques par arbre de défaillances dynamique et liens minimaux, 2019. ,
Invitation to discrete mathematics, 1998. ,
Experience with the application of hazop to computer-based systems, COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security, pp.37-48, 1995. ,
Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis, 2010. ,
URL : https://hal.archives-ouvertes.fr/tel-00502012
Algebraic modelling of fault trees with priority and gates, 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), p.175, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00350495
Improving the efficiency of dynamic fault tree analysis by considering gate fdep as static, European Safety and Reliability Conference (ESREL 2010), p.845, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00516896
Algebraic determination of the structure function of dynamic fault trees, Reliability Engineering & System Safety, vol.96, issue.2, pp.267-277, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00536000
Quantitative analysis of dynamic fault trees based on the structure function, Quality and Reliability Engineering International, vol.30, issue.1, pp.143-156, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00954679
Quantitative analysis of dynamic fault trees based on the coupling of structure functions and monte carlo simulation, Quality and Reliability Engineering International, vol.32, issue.1, pp.7-18, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01282160
Zero-suppressed bdds for set manipulation in combinatorial problems, Proceedings of the 30th international Design Automation Conference, pp.272-277, 1993. ,
Zero-suppressed bdds and their applications, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, pp.156-170, 2001. ,
La sûreté de fonctionnement : méthodes pour maîtriser les risques, 2001. ,
Petri nets : Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989. ,
Principle of inclusion-exclusion on semilattices, Journal of Combinatorial Theory, Series A, vol.17, issue.2, pp.196-203, 1974. ,
Principle of inclusion-exclusion on partially ordered sets, Discrete Mathematics, vol.42, issue.2-3, pp.243-250, 1982. ,
On generating small clause normal forms, International Conference on Automated Deduction, pp.397-411, 1998. ,
Kommunikation mit automaten, 1962. ,
Des relations entre sûreté et sécurité, 2010. ,
Security modeling with bdmp : from theory to implementation, 2011 Conference on Network and Information Systems Security, pp.1-8, 2011. ,
Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques, réparables et reconfigurables, 2015. ,
Finding the minimal cut sequences of dynamic, repairable, and reconfigurable systems from generalized boolean logic driven markov process models, Proceedings of the Institution of Mechanical Engineers, 2019. ,
A structure-preserving clause form translation, Journal of Symbolic Computation, vol.2, issue.3, pp.293-304, 1986. ,
Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within aralia, Reliability Engineering & System Safety, vol.58, issue.2, pp.127-144, 1997. ,
Sequence algebra, sequence decision diagrams and dynamic fault trees, Reliability Engineering & System Safety, vol.96, issue.7, pp.785-792, 2011. ,
Numerical transient analysis of markov models, Computers & Operations Research, vol.15, issue.1, pp.19-36, 1988. ,
Software failure modes and effects analysis, IEEE Transactions on reliability, vol.28, issue.3, pp.247-249, 1979. ,
Sur un petit problème pratique d'estimation en fiabilité, vol.36, pp.25-32, 1988. ,
Braking system redundancy requirements for moving walks, Reliability Engineering and System Safety, vol.133, pp.203-211, 2015. ,
, Ffort : A benchmark suite for fault tree analysis, 2019.
, Formal Methods and Tools group, 2019.
Fault tree analysis : a survey of the state-of-the-art in modeling, analysis and tools, Computer science review, vol.15, pp.29-62, 2015. ,
GRIF -GRaphical Interface for reliability Forecasting software, 2018. ,
The optimality of a fast cnf conversion and its use with sat, vol.2, 2004. ,
Grasp-a new search algorithm for satisfiability, The Best of ICCAD, pp.73-89, 2003. ,
, , 2002.
Parameter estimation for the weibull distribution, IEEE Transactions on Electrical Insulation, issue.4, pp.253-261, 1977. ,
Fault-tree analysis by fuzzy probability, IEEE Transactions on reliability, vol.32, issue.5, pp.453-457, 1983. ,
Minimal cut set/sequence generation for dynamic fault trees, Reliability and Maintainability, pp.207-213, 2004. ,
Calculus for a multivalued-logic algebraic system, Applied Mathematics and Computation, vol.42, issue.3, pp.255-285, 1991. ,
On the complexity of derivation in propositional calculus, Automation of reasoning, pp.466-483, 1983. ,
Automatic synthesis of fault trees for computer-based systems, IEEE Transactions on Reliability, vol.48, issue.4, pp.394-402, 1999. ,
Sureté de fonctionnement des systèmes industriels : fiabilité-facteurs humains, 1988. ,
Launch control safety study, 1961. ,
A statistical distribution function of wide applicability, Journal of applied mechanics, vol.18, issue.3, pp.293-297, 1951. ,
Numerical vs. statistical probabilistic model checking, International Journal on Software Tools for Technology Transfer, vol.8, issue.3, pp.216-228, 2006. ,
Multiple-valued logic mathematical approaches for multi-state system reliability analysis, Journal of Applied Logic, vol.11, issue.3, pp.350-362, 2013. ,
In The Monte Carlo Simulation Method for System Reliability and Risk Analysis, pp.7-17, 2013. ,