المؤلفون: Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault

المساهمون: Spatio-Temporal Activity Recognition Systems (STARS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Modèles Discrets pour les Systèmes Complexes (Laboratoire I3S - MDSC), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)

المصدر: Science of Computer Programming
Science of Computer Programming, Elsevier, 2021, 206, pp.102629. ⟨10.1016/j.scico.2021.102629⟩
Science of Computer Programming, 2021, 206, pp.102629. ⟨10.1016/j.scico.2021.102629⟩

مصطلحات موضوعية: Model checking, serious games, Computer science, 02 engineering and technology, Machine learning, computer.software_genre, Activity recognition, probabilistic model, 03 medical and health sciences, 0302 clinical medicine, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 0202 electrical engineering, electronic engineering, information engineering, Temporal logic, activity description, [SDV.NEU.PC]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Psychology and behavior, Markov chain, business.industry, Event (computing), [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Statistical model, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, model checking, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], bio-medicine, 020201 artificial intelligence & image processing, Artificial intelligence, business, computer, 030217 neurology & neurosurgery, Software, Probabilistic model checking

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a70f17c396c6463efa788d760daa596
https://doi.org/10.1016/j.scico.2021.102629

المؤلفون: Mamoun Filali, Jean-Paul Bodeveix, Manuel Garnacho, Régis Spadotti, Zhibin Yang

المساهمون: Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique (CNRS), Nanjing University of Aeronautics and Astronautics [Nanjing] (NUAA), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Nanjing University of Aeronautics and Astronautics – NUAA (CHINA), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

المصدر: Science of Computer Programming
Science of Computer Programming, Elsevier, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩

مصطلحات موضوعية: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Correctness, Semantics (computer science), Computer science, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Interface homme-machine, Toolchain, Model transformation, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Architectures Matérielles, Component (UML), Génie logiciel, Architecture description languages, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Execution model, Software architecture description, Programming language, Architecture Analysis & Design Language, Modélisation et simulation, Systèmes embarqués, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Model driven engineering, Formal verification, Timed transition systems, Transformation (function), Cryptographie et sécurité, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, computer, Software

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ba74509038180e162df8296bbf05c493
https://doi.org/10.1016/j.scico.2015.03.003

المؤلفون: Souheib Baarir, Laid Kahloul, Saber Benharzallah, Samir Bourekkache, Samir Tigane

المساهمون: Laboratoire d'Informatique Intelligente (LINFI), Université Mohamed Khider de Biskra (BISKRA), Université Paris Nanterre (UPN), Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Science of Computer Programming
Science of Computer Programming, 2019, 183, pp.102302. ⟨10.1016/j.scico.2019.102302⟩
Science of Computer Programming, Elsevier, 2019, 183, pp.102302. ⟨10.1016/j.scico.2019.102302⟩

مصطلحات موضوعية: 0209 industrial biotechnology, Spacetime, Computer science, Distributed computing, Control reconfiguration, Reconfigurability, 02 engineering and technology, Petri net, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Decidability, Undecidable problem, Formalism (philosophy of mathematics), 020901 industrial engineering & automation, 0202 electrical engineering, electronic engineering, information engineering, Stochastic Petri net, 020201 artificial intelligence & image processing, ComputingMilieux_MISCELLANEOUS, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d74e26397b02ba2095de2f9b503876c
https://doi.org/10.1016/j.scico.2019.102302

المؤلفون: Damien Appert, Christophe Bortolaso, Guillaume Gauffre, Emmanuel Dubois

المساهمون: Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Queen's University (CANADA), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Etude de L’Interaction Personne SystèmE (IRIT-ELIPSE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse III - Paul Sabatier (UT3), Queen's University [Kingston, Canada], Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

المصدر: Science of Computer Programming
Science of Computer Programming, Elsevier, 2014, vol. 89, pp. 199-221. ⟨10.1016/j.scico.2013.03.007⟩

مصطلحات موضوعية: Domain-specific language, Process (engineering), Computer science, Context (language use), Système multi-agents, 02 engineering and technology, Domain (software engineering), Development Process, 0202 electrical engineering, electronic engineering, information engineering, Domain-Specific Language, 0501 psychology and cognitive sciences, 050107 human factors, Simulation, computer.programming_language, Flexible Model Transformation, Ambient intelligence, business.industry, 05 social sciences, Model-Driven Engineering, 020207 software engineering, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA], Component-based software engineering, Augmented reality, Model-driven architecture, Mixed Interactive System, Software engineering, business, computer, Software

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33da93b1412a86ac774666d9c34ba16e
https://doi.org/10.1016/j.scico.2013.03.007

المؤلفون: Florence Maraninchi, Yann Rémond

المساهمون: VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF)

المصدر: Science of Computer Programming
Science of Computer Programming, Elsevier, 2003, 46 (3), pp.219-254. ⟨10.1016/S0167-6423(02)00093-X⟩

مصطلحات موضوعية: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Correctness, Computer science, Complex system, 02 engineering and technology, Language design and implementation, computer.software_genre, Safety-critical, 0202 electrical engineering, electronic engineering, information engineering, Special section, Regulation systems, Real-time systems, Production cell, ComputingMilieux_MISCELLANEOUS, computer.programming_language, Lustre (programming language), Programming language, Case-study, 020207 software engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Automaton, Running-modes, 020201 artificial intelligence & image processing, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76b1bbe92c852ce8a2559fd45fcd488d

المؤلفون: Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler

المساهمون: Institut National Polytechnique de Toulouse - INPT (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Interactive Critical Systems (IRIT-ICS), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)

المصدر: Science of Computer Programming
Science of Computer Programming, Elsevier, 2014, vol. 86, pp. 3-29. ⟨10.1016/j.scico.2013.04.001⟩

مصطلحات موضوعية: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], Markup language, Java, Computer science, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Interface description language, computer.software_genre, Interface homme-machine, Rendering (computer graphics), Bridging (programming), [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Graphical User Interface Markup Language, Human–computer interaction, Architectures Matérielles, Formal Description Techniques, Génie logiciel, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], H- INFORMATIQUE, computer.programming_language, Graphical user interface, Programming language, business.industry, Model-Based Approaches, computer.file_format, Modélisation et simulation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, Systèmes embarqués, Cryptographie et sécurité, ICO, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Behavioural Modelling, User interface, business, computer, Software, User Interface Description Language

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6356446e28c003a25aba2639bda93087
https://oatao.univ-toulouse.fr/12617/

المؤلفون: Jérôme Voinot, Olga Kouchnarenko, Pierre-Cyrille Héam

المساهمون: Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS), Combination of approaches to the security of infinite states systems (CASSIS), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), ANR-05-SSIA-0007,Cops,Composition de politiques et de services(2005), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Science of Computer Programming
Science of Computer Programming, Elsevier, 2010, 75 (10), pp.898--917
Electronic Notes in Theoretical Computer Science
Electronic Notes in Theoretical Computer Science, Elsevier, 2010, 260, pp.109--123. ⟨10.1016/j.entcs.2009.12.034⟩
Science of Computer Programming, Elsevier, 2010, 75 (10), pp.898-917. ⟨10.1016/j.scico.2010.02.004⟩
ENTCS, Electronic Notes Theoretical Computer Science, special issue on FACS'08 selected best papers
ENTCS, Electronic Notes Theoretical Computer Science, special issue on FACS'08 selected best papers, 2010, 260, pp.109--123
Electronic Notes in Theoretical Computer Science, 2010, 260, pp.109--123. ⟨10.1016/j.entcs.2009.12.034⟩
Science of Computer Programming, 2010, 75 (10), pp.898-917. ⟨10.1016/j.scico.2010.02.004⟩

مصطلحات موضوعية: Component, Theoretical computer science, Computer science, Quality of service, Verification, QoS, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 01 natural sciences, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Automaton, 010201 computation theory & mathematics, Compatibility (mechanics), 0202 electrical engineering, electronic engineering, information engineering, Modelisation, Substitutivity, Simulation based, Software, Simulation, Weighted automata

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5fa7c95a702408d11d36c00011051a09