-
1
المؤلفون: Fatma Jebali, Oumaima Matoussi, Arief Wicaksana, Amir Charif, Lilia Zaourar
المصدر: System Engineering for constrained embedded systems.
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::36bb7635b72a26828bb46b76175999b4
https://doi.org/10.1145/3522784.3522796 -
2
المؤلفون: Dumitru Potop-Butucaru, Fatma Jebali
المساهمون: Jebali, Fatma, Models and methods of analysis and optimization for systems with real-time and embedded contraints (AOSTE2 ), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut National de Recherche en Informatique et en Automatique (Inria), Logical Time for Formal Embedded System Design (KAIROS), 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)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), 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), 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)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), 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)
المصدر: ACSD 2018-18th International Conference on Application of Concurrency to System Design
ACSD 2018-18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia
2018 18th International Conference on Application of Concurrency to System Design (ACSD)
2018 18th International Conference on Application of Concurrency to System Design (ACSD), Jun 2018, Bratislava, France. pp.105-114, ⟨10.1109/ACSD.2018.00019⟩
ACSDمصطلحات موضوعية: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], 021103 operations research, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Dataflow, Semantics (computer science), Modeling language, Computer science, Programming language, Pipeline (computing), 0211 other engineering and technologies, Type inference, 02 engineering and technology, [INFO] Computer Science [cs], computer.software_genre, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 020202 computer hardware & architecture, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Instruction set, Consistency (database systems), Instruction set simulator, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, computer
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09d972a1285bcd5e94687e250a5d7099
https://hal.inria.fr/hal-01959370 -
3
المؤلفون: Frédéric Lang, Fatma Jebali, Radu Mateescu
المساهمون: Construction of verified concurrent systems (CONVECS ), 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 ), 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])-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]), Bluesky for I-Automation
المصدر: Formal Aspects of Computing
Formal Aspects of Computing, Springer Verlag, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩
Formal Aspects of Computing, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩مصطلحات موضوعية: CADP, Computer science, Process (engineering), Dataflow, Process calculus, Distributed computing, Concurrency, 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, Theoretical Computer Science, GALS systems, 010201 computation theory & mathematics, Asynchronous communication, formal description techniques, Formal language, Theory of computation, 0202 electrical engineering, electronic engineering, information engineering, model-based verifica-tion, GRL, asynchronous concurrency, Formal verification, Software
-
4
المؤلفون: Radu Mateescu, Fatma Jebali, Frédéric Lang
المساهمون: Construction of verified concurrent systems (CONVECS), 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), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Stephan Merz, Jun Pang, Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14)
Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. pp.219-234, ⟨10.1007/978-3-319-11737-9_15⟩
Formal Methods and Software Engineering ISBN: 9783319117362
ICFEMمصطلحات موضوعية: Computer science, Dataflow, Programming language, Process calculus, Globally asynchronous locally synchronous, Formal semantics (linguistics), Distributed computing, 020207 software engineering, 02 engineering and technology, Specification language, computer.software_genre, Rotation formalisms in three dimensions, Asynchronous communication, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Formal verification, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff136200087999c0ce75ab5466fb4a2e
https://hal.inria.fr/hal-01082348