المؤلفون: Diarra, Boubacar, Guillouard, Karine, Ouzzif, Meryem, Merle, Philippe, Stefani, Jean-Bernard

المساهمون: Orange Innovation, Self-adaptation for distributed services and large software systems (SPIRALS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Sound Programming of Adaptive Dependable Embedded Systems (SPADES), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Thèse Boubacar Diarra, DNAC

المصدر: ICIN 2024 - Conference on Innovation in Clouds, Internet and Networks ; https://inria.hal.science/hal-04421758 ; ICIN 2024 - Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024, Paris, France. pp.1-8

مصطلحات موضوعية: Kubernetes, manifests verification, verification tools, evaluation criteria, CNF, robust CNF deployment, [INFO]Computer Science [cs]

جغرافية الموضوع: Paris, France

الاتاحة: https://inria.hal.science/hal-04421758
https://inria.hal.science/hal-04421758v1/document
https://inria.hal.science/hal-04421758v1/file/icin-camera-ready.pdf

المؤلفون: López Lovillo, Remedios María, Aguilar Carrasco, María Teresa, Díaz-Borrego Algaba, Julia, Romero Gómez, María Isabel

مصطلحات موضوعية: Àrees temàtiques de la UPC::Arquitectura, Àrees temàtiques de la UPC::Ensenyament i aprenentatge, Architecture -- Study and teaching (Higher), Buildings -- Energy conservation, Eficiencia energética, Herramienta de verificación energética, Formación profesional, Grado en Arquitectura, Aprendizaje basado en problemas, Energy efficiency, Energy verification tools, Vocational training, Architectural degree, Project based learning, Arquitectura -- Ensenyament universitari, Edificis -- Estalvi d'energia

وصف الملف: 13 p.; application/pdf

Relation: Jornadas sobre Innovación Docente en Arquitectura (11as: 2023: Granada); Aguilar-Carrasco, M. Teresa y López-Lovillo, Remedios María. 2021. «Reflexión guiada como preparación previa a la docencia de instalaciones en Arquitectura». JIDA'21: IX Jornadas sobre innovación docente en Arquitectura, 21: 414-424.; Altomonte, Sergio, Rutherford, Peter y Wilson, Robin. 2014. «Mapping the Way Forward: Education for Sustainability in Architecture and Urban Design». Corporate Social Responsibility and Environmental Management, 21 (3): 143-154. https://doi.org/10.1002/csr.1311; Díaz-Borrego Algaba, Julia., López Lovillo, Remedios M., Romero Gómez, M. Isabel. y Aguilar Carrasco, M.Teresa. 2022. «El papel de la arquitectura en el diseño urbano eficiente: inicio a la reflexión crítica. JIDA». Textos de Arquitectura, Docencia e Innovación, 10: 462-473. https://doi.org/10.5821/jida.2022.11610; Fernandez-Antolin, María.-Mar, del-Río, José-Manuel., del Ama Gonzalo, Fernando y Gonzalez-Lezcano, Roberto-Alonso. 2020. «The Relationship between the Use of Building Performance Simulation Tools by Recent Graduate Architects and the Deficiencies in Architectural Education». Energies, 13 (5): 1134. https://doi.org/10.3390/en13051134; Goksu, Idris y Islam Bolat, Yusuf. 2021. «Does the ARCS motivational model affect students’ achievement and motivation? A meta‐analysis». Review of Education, 9 (1): 27-52.; Herreid, Clyde Freeman. 2005. «Using Case Studies to Teach Science. Education: Classroom Methodology». American Institute of Biological Sciences.; Leal Filho, Walter, Shiel, Chris y Paço, Arminda. 2016. «Implementing and operationalising integrative approaches to sustainability in higher education: the role of project-oriented learning». Journal of Cleaner Production, 133: 126-135. https://doi.org/10.1016/j.jclepro.2016.05.079; Ramadan, Mustafa G. y Abowardah, Eman S. 2022. «Incorporating a Sustainability Approach in Teaching Architectural Design Studio». The International Journal of Design Education, 17 (1): 37-64. https://doi.org/10.18848/2325-128X/CGP/v17i01/37-64; López-Lovillo, Remedios María [et al.]. Optimización energética: acercando la práctica profesional a distintos niveles educativos. A: Bardí Milà, Berta; Garcia Escudero, Daniel, eds. “XI Jornadas sobre Innovación Docente en Arquitectura (JIDA'23), Escuela Técnica Superior de Arquitectura de Granada, 16 y 17 de Noviembre de 2023: libro de actas”. Barcelona: UPC IDP, 2023. ISBN: 978-84-10008-10-62, p. 844-856; http://hdl.handle.net/2117/396152

الاتاحة: http://hdl.handle.net/2117/396152
https://doi.org/10.5821/jida.2023.12311

المؤلفون: Uli de la Fuente, Ana María

المساهمون: García-Gordillo, Mar, Universidad de Sevilla. Departamento de Periodismo II

مصطلحات موضوعية: Herramientas de verificación, Noticias falsas, Fake news, Desinformación, Fact-checking, Comprobación de hechos, Fact-check, Periodismo de verificación, Verification tools, False news, Misinformation, Verification, Verification journalism

Relation: https://idus.us.es/handle//11441/163668

الاتاحة: https://idus.us.es/handle//11441/163668

المؤلفون: Gunnarsson, Martin, Gehrmann, Christian

المصدر: International Conference on Information Systems Security and PrivacyICISSP 2020: Information Systems Security and Privacy pp. :22-47

مصطلحات موضوعية: Constrained devices, IoT, Ownership transfer, Automation, Cryptography, Domestic appliances, Efficiency, Wireless sensor networks, Appliance sensors, Ownership transfers, Protocol verification, Resource-efficient, Security analysis, Security requirements, Smart homes, Symmetric cryptography, Verification tools, Internet of things

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-58570

المؤلفون: Sadovykh, Andrey, Ziadi, Tewfik, Bagnato, Alessandra, Berger, Thorsten, Steghöfer, Jan-Philipp, Robin, Jacques, Mazo, Raul, Gallego, Elena

المساهمون: SOFTEAM, Sorbonne Université (SU), Göteborgs Universitet = University of Gothenburg (GU), Université Paris 1 Panthéon-Sorbonne (UP1), Ecole Supérieure d'Informatique Electronique Automatique Paris (ESIEA), The REUSE Company (REUSE)

المصدر: Lecture Notes in Computer Science (LNCS) ; Software Technology: Methods and Tools 51st International Conference, TOOLS 2019 ; https://paris1.hal.science/hal-03968251 ; Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Oct 2019, Innopolis, Russia. pp.406-417, ⟨10.1007/978-3-030-29852-4_34⟩

مصطلحات موضوعية: Software product lines engineering Round-trip engineering Model-driven engineering Extraction Co-evolution Verification Tools ITEA3, [INFO]Computer Science [cs]

جغرافية الموضوع: Innopolis, Russia

Relation: hal-03968251; https://paris1.hal.science/hal-03968251; https://paris1.hal.science/hal-03968251/document; https://paris1.hal.science/hal-03968251/file/SadovykhEtAlFromHAL.pdf

الاتاحة: https://paris1.hal.science/hal-03968251
https://paris1.hal.science/hal-03968251/document
https://paris1.hal.science/hal-03968251/file/SadovykhEtAlFromHAL.pdf
https://doi.org/10.1007/978-3-030-29852-4_34

المؤلفون: Barros, João Paulo, Gomes, Luís

مصطلحات موضوعية: Cyber-physical systems, Finite state machines, Formal specification, Formal verification, Petri nets, Visual languages, Nonautonomous Petri net models, Executable state machines, Readable language, Executable code, Higher-level modelling language, Verification tools, Graphical modelling language, IOPT Tools, model-driven development, input-output place-transition nets, Tools, Semantics, Generators, Concurrent computing, Embedded systems

وصف الملف: application/pdf

Relation: info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FEEA%2F00066%2F2019/PT; https://dx.doi.org/10.1109/ISIE.2019.8781246; http://hdl.handle.net/20.500.12207/4968

الاتاحة: https://hdl.handle.net/20.500.12207/4968
https://doi.org/10.1109/ISIE.2019.8781246

المؤلفون: Hillah, Lom Messan, Kordon, Fabrice

المساهمون: Université Paris Nanterre (UPN), Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), University of Zaragoza

المصدر: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017
38th International Conference, PETRI NETS 2017
https://hal.sorbonne-universite.fr/hal-01492419
38th International Conference, PETRI NETS 2017, University of Zaragoza, Jun 2017, Zaragoza, Spain. pp.125-135

مصطلحات موضوعية: Benchmark, Verification Tools, Petri nets, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

جغرافية الموضوع: Zaragoza, Spain

Relation: hal-01492419; https://hal.sorbonne-universite.fr/hal-01492419; https://hal.sorbonne-universite.fr/hal-01492419/document; https://hal.sorbonne-universite.fr/hal-01492419/file/PNR2017_HillahEtAl.pdf

الاتاحة: https://hal.sorbonne-universite.fr/hal-01492419
https://hal.sorbonne-universite.fr/hal-01492419/document
https://hal.sorbonne-universite.fr/hal-01492419/file/PNR2017_HillahEtAl.pdf

المؤلفون: Matthew Hague, Christopher Broadbent, Arnaud Carayol, Olivier Serre

مصطلحات موضوعية: Software engineering not elsewhere classified, verification tools, recursion schemes, Computer Software

Relation: https://figshare.com/articles/online_resource/C-SHORe_Verification_Tool_for_Higher-Order_Recursion_Schemes_and_Collapsible_Pushdown_Automata/5712022

الاتاحة: https://doi.org/10.17637/rh.5712022.v1
https://figshare.com/articles/online_resource/C-SHORe_Verification_Tool_for_Higher-Order_Recursion_Schemes_and_Collapsible_Pushdown_Automata/5712022

المؤلفون: Lafourcade, Pascal, Puys, Maxime

المساهمون: Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes (LIMOS), Université Blaise Pascal - Clermont-Ferrand 2 (UBP)-Université d'Auvergne - Clermont-Ferrand I (UdA)-SIGMA Clermont (SIGMA Clermont)-Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS), VERIMAG (VERIMAG - IMAG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), This research was conducted with the support of the “Digital trust” Chair from theUniversity of Auvergne Foundation.This work has been partially supported by the LabEx PERSYVAL-Lab (ANR–11-LABX-0025)., ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011), ANR-16-IDEX-0001,CAP 20-25,CAP 20-25(2016)

المصدر: 8th International Symposium, FPS 2015
8th International Symposium on Foundations and Practice of Security 8th International Symposium, FPS 2015
https://hal.univ-grenoble-alpes.fr/hal-01306395
8th International Symposium on Foundations and Practice of Security 8th International Symposium, FPS 2015, Oct 2015, Clermont-Ferrand, France. pp.137-155, ⟨10.1007/978-3-319-30303-1_9⟩
http://confiance-numerique.clermont-universite.fr/fps2015/

مصطلحات موضوعية: Benchmarking, Performances' Evaluations, Verification Tools for Cryptographic Protocols, Algebraic Properties, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Clermont-Ferrand, France

الاتاحة: https://hal.univ-grenoble-alpes.fr/hal-01306395
https://hal.univ-grenoble-alpes.fr/hal-01306395v1/document
https://hal.univ-grenoble-alpes.fr/hal-01306395v1/file/main-fps.pdf
https://doi.org/10.1007/978-3-319-30303-1_9

المؤلفون: Gore, Rajeev, Meumann, Thomas

المصدر: 2014 6th International Conference on Electronic Voting: Verifying the Vote, EVOTE 2014 - IEEE Proceedings

مصطلحات موضوعية: Encoding (symbols), Formal logic, Verification, Complex properties, Higher order logic, Interactive theorem prover, Monotonicity, Monotonicity property, Plurality voting, Theorem provers, Verification tools, Theorem proving

جغرافية الموضوع: Lochau, Austria

وصف الملف: 7 pages

Relation: 6th International Conference on Electronic Voting: Verifying the Vote (EVOTE) 2014; http://hdl.handle.net/1885/13462; https://openresearch-repository.anu.edu.au/bitstream/1885/13462/5/01+Gore+and+Meumann+Proving+the+monotonicity+2014.pdf.jpg

الاتاحة: http://hdl.handle.net/1885/13462
https://doi.org/10.1109/EVOTE.2014.7001138
https://openresearch-repository.anu.edu.au/bitstream/1885/13462/5/01+Gore+and+Meumann+Proving+the+monotonicity+2014.pdf.jpg

المؤلفون: Rozilawati Razali, Paul Garratt

المصدر: Asia-Pacific Journal of Information Technology and Multimedia, Vol 1, Iss (2), Pp 37-52 (2012)

مصطلحات موضوعية: usability requirement, formal verification tools, empirical study, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.ukm.my/apjitm/view.php?id=119; https://doaj.org/toc/2289-2192

URL الوصول: https://doaj.org/article/0a733b59fcd3487aac436ac95d6cb113

المؤلفون: Sergio Aguado, Jorge Santolaria, David Samper, Jesús Velázquez, Carlos Javierre, Ángel Fernández

المصدر: Applied Sciences; Volume 6; Issue 4; Pages: 100

مصطلحات موضوعية: volumetric verification tools, laser tracker, errors compensation, active target

جغرافية الموضوع: agris

وصف الملف: application/pdf

Relation: https://dx.doi.org/10.3390/app6040100

الاتاحة: https://doi.org/10.3390/app6040100

المؤلفون: Bartoletti, Massimo, Caires, Luis, Lanese, Ivan, Mazzanti, Franco, Sangiorgi, Davide, Tores Vieira, Ugo, Zunino, Roberto

المساهمون: Martin Wirsing, Matthias M. Holzl

المصدر: In: Results of the SENSORIA Project. pp. 408 - 427. Martin Wirsing, Matthias M. Holzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.

مصطلحات موضوعية: SENSORIA verification tools, info:eu-repo/classification/acm/D.2.4 Software/Program Verification, info:eu-repo/classification/msc/03-XX Mathematical logic and foundations

وصف الملف: application/pdf

Relation: info:eu-repo/semantics/altIdentifier/url/http://www.springerlink.com/content/325447104h728012/; info:eu-repo/semantics/altIdentifier/isbn/978-3-642-20400-5; http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2011-A1-031; http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2011-A1-031/2011-A1-031.pdf

الاتاحة: http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2011-A1-031
http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2011-A1-031/2011-A1-031.pdf

المؤلفون: Cofer, Darren, Klein, Gerwin, Slind, Konrad, Wiels, Virginie

المساهمون: Darren Cofer and Gerwin Klein and Konrad Slind and Virginie Wiels

مصطلحات موضوعية: Dependable systems, Certification, Qualification, Formal methods, Verification tools

وصف الملف: application/pdf

Relation: Is Part Of Dagstuhl Reports, Volume 5, Issue 4 (2015); https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.142

الاتاحة: https://doi.org/10.4230/DagRep.5.4.142
https://nbn-resolving.org/urn:nbn:de:0030-drops-53543
https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.142

المؤلفون: Konur, Savas, Gheorghe, Marian, Dragomir, C., Ipate, F., Krasnogor, N.

مصطلحات موضوعية: Unconventional computation, Non-standard programming frameworks, Conventional verification tools, Genetic XOR gate

الاتاحة: http://hdl.handle.net/10454/11905

المؤلفون: Indranil Saha

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.ucla.edu/%7Eindranil/cv.pdf.

مصطلحات موضوعية: Computer Aided Verification Software Verification and Testing Cyber-Physical Systems Time-Triggered, Windows, Linux, MAC Languages, Ocaml, Perl, Java, C++ Verification Tools, Spin, SAL, UPPAAL, PRISM, PVS

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.4393; http://www.cs.ucla.edu/%7Eindranil/cv.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.4393
http://www.cs.ucla.edu/%7Eindranil/cv.pdf

المؤلفون: George Ma, C George Ma

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://fas.sfu.ca/pub/cs/TH/2007/GeorgeZiShengMaMSc.pdf.

مصطلحات موضوعية: abstract state machines, model checking, distributed systems, formal verification tools, CoreASM iii iv To my parents Guo Liang and Yong Mei MaAcknowledgements

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.5967; http://fas.sfu.ca/pub/cs/TH/2007/GeorgeZiShengMaMSc.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.5967
http://fas.sfu.ca/pub/cs/TH/2007/GeorgeZiShengMaMSc.pdf

المؤلفون: Stavros Tripakis

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www-verimag.imag.fr/PEOPLE/tripakis/papers/fmsd05.pdf.

مصطلحات موضوعية: timed automata, symbolic model-checking, on-the fly verification, verification tools

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7565; http://www-verimag.imag.fr/PEOPLE/tripakis/papers/fmsd05.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7565
http://www-verimag.imag.fr/PEOPLE/tripakis/papers/fmsd05.pdf

مصطلحات موضوعية: всепроникающее обучение, ubiquitous learning, социальная сеть, интерактивные средства обучения, automated problem verification tools, social network, interactive training tools, programming, программирование, автоматизированные средства проверки заданий

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9ec5b12f0c88825616e322e470c940a8

المؤلفون: Hamdi Samir Hamdi, W. H. Enright, Y. Ouellet, W. E. Schiesser

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.toronto.edu/pub/reports/na/heos02.ps.gz.

مصطلحات موضوعية: verification tools, exact solutions, Bousinesq equations, Invariants of motion

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.7873; http://www.cs.toronto.edu/pub/reports/na/heos02.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.7873
http://www.cs.toronto.edu/pub/reports/na/heos02.ps.gz