Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale Efficient computation of arbitrary control dependencies. (English) Zbl 07720775 Theor. Comput. Sci. 969, Article ID 114029, 20 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J.-C. Léchenet} et al., Theor. Comput. Sci. 969, Article ID 114029, 20 p. (2023; Zbl 07720775) Full Text: DOI
Arnould, Agnès; Belhaouari, Hakim; Bellet, Thomas; Le Gall, Pascale; Pascual, Romain Preserving consistency in geometric modeling with graph transformations. (English) Zbl 1517.68152 Math. Struct. Comput. Sci. 32, No. 3, 300-347 (2022). MSC: 68Q42 68U05 PDFBibTeX XMLCite \textit{A. Arnould} et al., Math. Struct. Comput. Sci. 32, No. 3, 300--347 (2022; Zbl 1517.68152) Full Text: DOI
Chalupa, Marek; Klaška, David; Strejček, Jan; Tomovič, Lukáš Fast computation of strong control dependencies. (English) Zbl 1493.68102 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 887-910 (2021). MSC: 68N30 68R10 68W40 PDFBibTeX XMLCite \textit{M. Chalupa} et al., Lect. Notes Comput. Sci. 12760, 887--910 (2021; Zbl 1493.68102) Full Text: DOI arXiv
Védrine, Franck; Jacquemin, Maxime; Kosmatov, Nikolai; Signoles, Julien Runtime abstract interpretation for numerical accuracy and robustness. (English) Zbl 1472.68095 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 243-266 (2021). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{F. Védrine} et al., Lect. Notes Comput. Sci. 12597, 243--266 (2021; Zbl 1472.68095) Full Text: DOI
Rodríguez, Ismael; Rosa-Velardo, Fernando; Rubio, Fernando Introducing complexity to formal testing. (English) Zbl 1494.68099 J. Log. Algebr. Methods Program. 111, Article ID 100502, 30 p. (2020). MSC: 68Q25 68M15 68Q45 PDFBibTeX XMLCite \textit{I. Rodríguez} et al., J. Log. Algebr. Methods Program. 111, Article ID 100502, 30 p. (2020; Zbl 1494.68099) Full Text: DOI
Léchenet, Jean-Christophe; Kosmatov, Nikolai; Le Gall, Pascale Cut branches before looking for bugs: certifiably sound verification on relaxed slices. (English) Zbl 1380.68127 Formal Asp. Comput. 30, No. 1, 107-131 (2018). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{J.-C. Léchenet} et al., Formal Asp. Comput. 30, No. 1, 107--131 (2018; Zbl 1380.68127) Full Text: DOI
Lorenz, Therese; Siebert, Heike; Bockmayr, Alexander Analysis and characterization of asynchronous state transition graphs using extremal states. (English) Zbl 1272.92018 Bull. Math. Biol. 75, No. 6, 920-938 (2013). MSC: 92C42 05C90 37N25 PDFBibTeX XMLCite \textit{T. Lorenz} et al., Bull. Math. Biol. 75, No. 6, 920--938 (2013; Zbl 1272.92018) Full Text: DOI
Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal A formal abstract framework for modelling and testing complex software systems. (English) Zbl 1279.68193 Theor. Comput. Sci. 455, 66-97 (2012). MSC: 68Q60 68N30 68Q65 PDFBibTeX XMLCite \textit{M. Aiguier} et al., Theor. Comput. Sci. 455, 66--97 (2012; Zbl 1279.68193) Full Text: DOI
Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad Symbolic execution of Reo circuits using constraint automata. (English) Zbl 1242.68073 Sci. Comput. Program. 77, No. 7-8, 848-869 (2012). MSC: 68N30 68Q45 68Q60 PDFBibTeX XMLCite \textit{B. Pourvatan} et al., Sci. Comput. Program. 77, No. 7--8, 848--869 (2012; Zbl 1242.68073) Full Text: DOI
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale; Richard, Adrien Embedding of biological regulatory networks and property preservation. (English) Zbl 1270.92024 Math. Comput. Sci. 5, No. 3, 263-288 (2011). MSC: 92C42 92D10 68Q85 68Q60 03B80 PDFBibTeX XMLCite \textit{M. Mabrouki} et al., Math. Comput. Sci. 5, No. 3, 263--288 (2011; Zbl 1270.92024) Full Text: DOI
Aiguier, Marc; Longuet, Delphine Some general results about proof normalization. (English) Zbl 1255.03050 Log. Univers. 4, No. 1, 1-29 (2010). MSC: 03F05 03B22 03F07 PDFBibTeX XMLCite \textit{M. Aiguier} and \textit{D. Longuet}, Log. Univers. 4, No. 1, 1--29 (2010; Zbl 1255.03050) Full Text: DOI
Longuet, Delphine; Aiguier, Marc; Le Gall, Pascale Proof-guided test selection from first-order specifications with equality. (English) Zbl 1214.68221 J. Autom. Reasoning 45, No. 4, 437-473 (2010). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. Longuet} et al., J. Autom. Reasoning 45, No. 4, 437--473 (2010; Zbl 1214.68221) Full Text: DOI
Jéron, Thierry Symbolic model-based test selection. (English) Zbl 1347.68228 Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 167-184 (2009). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{T. Jéron}, Electron. Notes Theor. Comput. Sci. 240, 167--184 (2009; Zbl 1347.68228) Full Text: DOI
Rodríguez, Ismael A general testability theory. (English) Zbl 1254.68152 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 572-586 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{I. Rodríguez}, Lect. Notes Comput. Sci. 5710, 572--586 (2009; Zbl 1254.68152) Full Text: DOI
Rapin, Nicolas Symbolic execution based model checking of open systems with unbounded variables. (English) Zbl 1246.68157 Dubois, Catherine (ed.), Tests and proofs. Third international conference, TAP 2009, Zurich, Switzerland, July 2–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02948-6/pbk). Lecture Notes in Computer Science 5668, 137-152 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{N. Rapin}, Lect. Notes Comput. Sci. 5668, 137--152 (2009; Zbl 1246.68157) Full Text: DOI
Labbé, Sébastien; Gallois, Jean-Pierre Slicing communicating automata specifications: Polynomial algorithms for model reduction. (English) Zbl 1163.68028 Formal Asp. Comput. 20, No. 6, 563-595 (2008). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{S. Labbé} and \textit{J.-P. Gallois}, Formal Asp. Comput. 20, No. 6, 563--595 (2008; Zbl 1163.68028) Full Text: DOI Link
Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad Model-based test selection for infinite-state reactive systems. (English) Zbl 1147.68572 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Berlin: Springer (ISBN 978-3-540-74791-8/pbk). Lecture Notes in Computer Science 4709, 47-69 (2007). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{B. Jeannet} et al., Lect. Notes Comput. Sci. 4709, 47--69 (2007; Zbl 1147.68572) Full Text: DOI
Aiguier, Marc; Bahrami, Diane Structures for abstract rewriting. (English) Zbl 1125.03011 J. Autom. Reasoning 38, No. 4, 303-351 (2007). MSC: 03B35 68Q42 68T15 PDFBibTeX XMLCite \textit{M. Aiguier} and \textit{D. Bahrami}, J. Autom. Reasoning 38, No. 4, 303--351 (2007; Zbl 1125.03011) Full Text: DOI HAL
Aiguier, Marc; Arnould, Agnès; Boin, Clément; Le Gall, Pascale; Marre, Bruno Testing from algebraic specifications: Test data set selection by unfolding axioms. (English) Zbl 1183.68175 Grieskamp, Wolfgang (ed.) et al., Formal approaches to software testing. 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34454-3/pbk). Lecture Notes in Computer Science 3997, 203-217 (2006). MSC: 68N30 68Q65 PDFBibTeX XMLCite \textit{M. Aiguier} et al., Lect. Notes Comput. Sci. 3997, 203--217 (2006; Zbl 1183.68175) Full Text: DOI
Gaudel, Marie-Claude Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives. (English) Zbl 1493.68229 Finkel, A. (ed.) et al., STACS 92. Theoretical aspects of computer science. Proceedings of the 9th annual symposium, Cachan, France, February 13–15, 1992. Berlin: Springer. Lect. Notes Comput. Sci. 577, 1-18 (1992). MSC: 68Q65 PDFBibTeX XMLCite \textit{M.-C. Gaudel}, Lect. Notes Comput. Sci. 577, 1--18 (1992; Zbl 1493.68229) Full Text: DOI