Zenati, Abdelhafid; Aouf, Nabil; de la Llana, David Sanchez; Bannani, Samir Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification. arXiv:2212.06532 Preprint, arXiv:2212.06532 [eess.SY] (2022). BibTeX Cite \textit{A. Zenati} et al., ``Validation of Neural Network Controllers for Uncertain Systems Through Keep-Close Approach: Robustness Analysis and Safety Verification'', Preprint, arXiv:2212.06532 [eess.SY] (2022) Full Text: arXiv OA License
Aranda García, Alberto; Cambronero, María-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J. Runtime verification of contracts with Themulus. (English) Zbl 1476.68163 de Boer, Frank (ed.) et al., Software engineering and formal methods. 18th international conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12310, 231-246 (2020). MSC: 68Q85 03B45 68Q60 PDFBibTeX XMLCite \textit{A. Aranda García} et al., Lect. Notes Comput. Sci. 12310, 231--246 (2020; Zbl 1476.68163) Full Text: DOI
Camacho, Carlos; Llana, Luis; Núñez, Alberto; Bravetti, Mario Probabilistic software product lines. (English) Zbl 1431.68017 J. Log. Algebr. Methods Program. 107, 54-78 (2019). MSC: 68N30 68Q55 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Camacho} et al., J. Log. Algebr. Methods Program. 107, 54--78 (2019; Zbl 1431.68017) Full Text: DOI HAL
Gregorio-Rodríguez, Carlos; Llana, Luis; Martínez, Rafael An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation. (English) Zbl 1400.68133 J. Log. Algebr. Methods Program. 100, 152-184 (2018). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{C. Gregorio-Rodríguez} et al., J. Log. Algebr. Methods Program. 100, 152--184 (2018; Zbl 1400.68133) Full Text: DOI
Camacho, Carlos; Llana, Luis; Núñez, Alberto Cost-related interface for software product lines. (English) Zbl 1346.68059 J. Log. Algebr. Methods Program. 85, No. 1, Part 2, 227-244 (2016). MSC: 68N30 68N99 PDFBibTeX XMLCite \textit{C. Camacho} et al., J. Log. Algebr. Methods Program. 85, No. 1, Part 2, 227--244 (2016; Zbl 1346.68059) Full Text: DOI
Hanada, Masanori; Matsuura, So; Nishimura, Jun; Robles-Llana, Daniel Nonperturbative studies of supersymmetric matrix quantum mechanics with 4 and 8 supercharges at finite temperature. (English) Zbl 1294.81109 J. High Energy Phys. 2011, No. 2, Paper No. 060, 16 p. (2011). MSC: 81T13 81T60 81T16 82B30 65C05 PDFBibTeX XMLCite \textit{M. Hanada} et al., J. High Energy Phys. 2011, No. 2, Paper No. 060, 16 p. (2011; Zbl 1294.81109) Full Text: DOI arXiv
Robles, Tomás; Huecas, Gabriel; Quemada, Juan; Verdejo, Alberto; Llana-Díaz, Luis F. Process calculi: E-LOTOS. Reprint of the 2001 hardback ed. (English) Zbl 1253.68251 Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 77-104 (2010). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{T. Robles} et al., in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 77--104 (2010; Zbl 1253.68251)
De La Encina, A.; Llana, L.; Rubio, F. A debugging system based on natural semantics. (English) Zbl 1217.68051 J. UCS 15, No. 14, 2836-2880 (2009). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{A. De La Encina} et al., J. UCS 15, No. 14, 2836--2880 (2009; Zbl 1217.68051) Full Text: Link
Andrés, César; Llana, Luis; Rodríguez, Ismael Formally transforming user-model testing problems into implementer-model testing problems and viceversa. (English) Zbl 1175.68073 J. Log. Algebr. Program. 78, No. 6, 425-453 (2009). MSC: 68M15 PDFBibTeX XMLCite \textit{C. Andrés} et al., J. Log. Algebr. Program. 78, No. 6, 425--453 (2009; Zbl 1175.68073) Full Text: DOI
Llana, Luis; Núñez, Manuel Testing semantics for RTPA. (English) Zbl 1161.68711 Fundam. Inform. 90, No. 3, 305-335 (2009). MSC: 68T01 68Q85 PDFBibTeX XMLCite \textit{L. Llana} and \textit{M. Núñez}, Fundam. Inform. 90, No. 3, 305--335 (2009; Zbl 1161.68711) Full Text: DOI
Robles-Llana, Daniel; Saueressig, Frank; Theis, Ulrich; Vandoren, Stefan Membrane instantons from mirror symmetry. (English) Zbl 1151.14326 Commun. Number Theory Phys. 1, No. 4, 681-711 (2008). MSC: 14J32 PDFBibTeX XMLCite \textit{D. Robles-Llana} et al., Commun. Number Theory Phys. 1, No. 4, 681--711 (2008; Zbl 1151.14326) Full Text: DOI arXiv
Robles-Llana, Daniel; Roček, Martin; Saueressig, Frank; Theis, Ulrich; Vandoren, Stefan Nonperturbative corrections to 4D string theory effective actions from \(\mathrm{SL}(2,\mathbb Z)\) duality and supersymmetry. (English) Zbl 1228.81241 Phys. Rev. Lett. 98, No. 21, Article ID 211602, 4 p. (2007). MSC: 81T30 14J32 32Q25 PDFBibTeX XMLCite \textit{D. Robles-Llana} et al., Phys. Rev. Lett. 98, No. 21, Article ID 211602, 4 p. (2007; Zbl 1228.81241) Full Text: DOI arXiv
de la Encina, Alberto; Llana, Luis; Rubio, Fernando Introducing debugging capabilities to natural semantics. (English) Zbl 1185.68204 Virbitskaite, Irina (ed.) et al., Perspectives of systems informatics. 6th international Andrei Ershov memorial conference, PSI 2006, Novosibirsk, Russia, June 27–30, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-70880-3/pbk). Lecture Notes in Computer Science 4378, 195-208 (2007). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{A. de la Encina} et al., Lect. Notes Comput. Sci. 4378, 195--208 (2007; Zbl 1185.68204) Full Text: DOI
Llana-Díaz, Luis F.; de Frutos-Escrig, David; Núñez, Manuel Testing semantics for urgent timed process algebras. (English) Zbl 1123.68082 Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 221-235 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. F. Llana-Díaz} et al., AMAST Ser. Comput. 8, 221--235 (2007; Zbl 1123.68082)
Robles-Llana, D.; Roček, M.; Saueressig, F.; Theis, U.; Vandoren, S. Orientifolding in N = 2 superspace. (English) Zbl 1119.81379 Fortschr. Phys. 55, No. 5-7, 615-620 (2007). MSC: 81T30 83E30 81T60 14J32 PDFBibTeX XMLCite \textit{D. Robles-Llana} et al., Fortschr. Phys. 55, No. 5--7, 615--620 (2007; Zbl 1119.81379) Full Text: DOI arXiv
Llana, Daniel Robles; Saueressig, Frank; Vandoren, Stefan String loop corrected hypermultiplet moduli spaces. (English) Zbl 1226.81211 J. High Energy Phys. 2006, No. 3, 081, 35 p. (2006). MSC: 81T30 81T60 PDFBibTeX XMLCite \textit{D. R. Llana} et al., J. High Energy Phys. 2006, No. 3, 081, 35 p. (2006; Zbl 1226.81211) Full Text: DOI arXiv
Llana-Díaz, Luis F.; Núñez, Manuel; Rodríguez, Ismael Derivation of a suitable finite test suite for customized probabilistic systems. (English) Zbl 1225.68046 Najm, Elie (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-46219-4/pbk). Lecture Notes in Computer Science 4229, 467-483 (2006). MSC: 68M14 68M15 PDFBibTeX XMLCite \textit{L. F. Llana-Díaz} et al., Lect. Notes Comput. Sci. 4229, 467--483 (2006; Zbl 1225.68046) Full Text: DOI
Llana-Díaz, Luis F.; Núñez, Manuel; Rodríguez, Ismael Customized testing for probabilistic systems. (English) Zbl 1185.68094 Uyar, M. Ümit (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16–18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34184-6/pbk). Lecture Notes in Computer Science 3964, 87-102 (2006). MSC: 68M15 PDFBibTeX XMLCite \textit{L. F. Llana-Díaz} et al., Lect. Notes Comput. Sci. 3964, 87--102 (2006; Zbl 1185.68094) Full Text: DOI
Giombi, S.; Kulaxizi, M.; Ricci, R.; Robles-Llana, D.; Trancanelli, D.; Zoubos, K. Orbifolding the twistor string. (English) Zbl 1207.81038 Nucl. Phys., B 719, No. 1-2, 234-252 (2005). MSC: 81R30 81R25 81T60 PDFBibTeX XMLCite \textit{S. Giombi} et al., Nucl. Phys., B 719, No. 1--2, 234--252 (2005; Zbl 1207.81038) Full Text: DOI arXiv
de la Encina, Alberto; Llana, Luis; Rubio, Fernando Formalizing the debugging process in Haskell. (English) Zbl 1169.68359 Dang Van Hung (ed.) et al., Theoretical aspects of computing – ICTAC 2005. Second international colloquium, Hanoi, Vietnam, October 17–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29107-5/pbk). Lecture Notes in Computer Science 3722, 211-226 (2005). MSC: 68N18 PDFBibTeX XMLCite \textit{A. de la Encina} et al., Lect. Notes Comput. Sci. 3722, 211--226 (2005; Zbl 1169.68359) Full Text: DOI
Llana Díaz, Luis Fernando; de Frutos Escrig, David Relating may and must testing semantics for discrete timed process algebras. (English) Zbl 0959.68089 Thiagarajan, P. S. (ed.) et al., Advances in computing science - ASIAN ’99. 5th Asian computing science conference, Phuket, Thailand, December 8-10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1742, 74-86 (1999). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. F. Llana Díaz} and \textit{D. de Frutos Escrig}, Lect. Notes Comput. Sci. 1742, 74--86 (1999; Zbl 0959.68089)
de Frutos-Escrig, David; Llana-Díaz, Luis; Núñez, Manuel An invitation to friendly testing. (English) Zbl 0912.68127 J. Comput. Sci. Technol. 13, No. 6, 531-545 (1998). MSC: 68Q55 68Q10 PDFBibTeX XMLCite \textit{D. de Frutos-Escrig} et al., J. Comput. Sci. Technol. 13, No. 6, 531--545 (1998; Zbl 0912.68127) Full Text: DOI
Díaz, Luis Fdo. Llana; Núñez, Manuel Testing semantics for unbounded nondeterminism. (English) Zbl 0996.68852 Lengauer, Christian (ed.) et al., Euro-par ’97 parallel processing. 3rd international Euro-Par conference, Passau, Germany, August 26-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1300, 538-545 (1997). MSC: 68U99 68Q55 68Q85 PDFBibTeX XMLCite \textit{L. Fdo. L. Díaz} and \textit{M. Núñez}, Lect. Notes Comput. Sci. 1300, 538--545 (1997; Zbl 0996.68852)