Výsledky vyhledávání - "Hosein Nazarpour"

Monitoring Distributed Component-Based Systems

Autor: Saddek Bensalem, Hosein Nazarpour, Yliès Falcone, Marius Bozga

Publikováno v: FACS 2021-17th edition of the International Conference on Formal Aspects of Component Software
FACS 2021-17th edition of the International Conference on Formal Aspects of Component Software, Oct 2021, Grenoble, France. pp.1-19
Formal Aspects of Component Software ISBN: 9783030906351
FACS

International audience; We monitor asynchronous distributed component-based systems with multi-party interactions. We consider independent components whose interactions are managed by several distributed schedulers. In this context, neither a global

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdcaf1c0b8493debf288a701357c8b2d
https://hal.inria.fr/hal-03525762/file/facs21.pdf

Zobrazit plný text záznamu

Tracing Distributed Component-Based Systems, a Brief Overview

Autor: Yliès Falcone, Saddek Bensalem, Mohamad Y. Jaber, Hosein Nazarpour, Marius Bozga

Publikováno v: Runtime Verification ISBN: 9783030037680
RV
Proceedings of the 18th International Conference on Runtime Verification
Proceedings of the 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus

International audience; We overview a framework for tracing asynchronous distributed component-based systems with multiparty interactions managed by distributed schedulers. Neither the global state nor the total ordering of the system events is avail

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28b210cd7abcd6d3b7d37b892ff4662d
https://doi.org/10.1007/978-3-030-03769-7_24

Zobrazit plný text záznamu

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

Autor: Saddek Bensalem, Marius Bozga, Yliès Falcone, Hosein Nazarpour

Publikováno v: Formal Aspects of Computing
Formal Aspects of Computing, Springer Verlag, 2017, 29 (6), pp.951-986. ⟨10.1007/s00165-017-0422-6⟩
Formal Aspects of Computing, 2017, 29 (6), pp.951-986. ⟨10.1007/s00165-017-0422-6⟩

This paper addresses the monitoring of logic-independent linear-time user-provided properties in multi-threaded component-based systems. We consider intrinsically independent components that can be executed concurrently with a centralized coordinatio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15ced46ae625c3a5d5335b3e6e63df73
https://hal.inria.fr/hal-01653883/document

Zobrazit plný text záznamu

Monitoring Multi-Threaded Component-Based Systems

Autor: Marius Bozga, Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Jacques Combaz

Publikováno v: 12th International Conference on integrated Formal Methods
12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland
Lecture Notes in Computer Science ISBN: 9783319336923
IFM

International audience; This paper addresses the monitoring of logic-independent linear-time user-provided properties on multi-threaded component-based systems. We consider intrinsically independent components that can be executed concurrently with a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::87705bc19e5fe9a54ec5d0c96af3b197
https://hal.inria.fr/hal-01285579

Zobrazit plný text záznamu

Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance

Autor: Hosein Nazarpour, Antoine Girard, Emmanuel Witrant, Pierre-Jean Meyer

Publikováno v: Proceedings of the 13th European Control Conference
ECC 2014-13th European Control Conference
ECC 2014-13th European Control Conference, Jun 2014, Strasbourg, France. pp.1468-1473, ⟨10.1109/ECC.2014.6862273⟩
ECC

International audience; In this paper, we implement a temperature regulation strategy on a small-scale building equipped with UnderFloor Air Distribution (UFAD). Using a 0-dimensional model of the temperature variations in the building identified fro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23c9c59d94a1b72b3c38a889e8adc6a1
https://hal.archives-ouvertes.fr/hal-00988959v2/document

Zobrazit plný text záznamu

Robust Controlled Invariance for UFAD Regulation

Autor: Antoine Girard, Hosein Nazarpour, Emmanuel Witrant, Pierre-Jean Meyer

Publikováno v: BuildSys@SenSys

In this work, we investigate UFAD (UnderFloor Air Distribution) regulation using the notion of Robust Controlled Invariance for monotone systems with bounded disturbances. We establish a 0-dimensional model derived from the energy and mass conservati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::52c62da8fdfd88ed7a80b3c815e2c412
https://doi.org/10.1145/2528282.2528316

Zobrazit plný text záznamu

Synthesis of high acidity nanocrystalline y-AI2O3 by sonochemical metho

Autor: Hosein Nazarpour, Omid Rahmanpour, Mohammad Reza Khosravi Niku

Gas Engineering Department, Petroleum University of Technology, Ahwaz, Iran E-mail: hosein.hona@gmail.com, Rahmanpoor.Om@gmail.com, Mr.khosraviNiku@gmail.com Manuscript received online 24 August 2012, revised 17 October 2012, accepted O1November 2012

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e12e0a1d9fb52799807fbc61d2b9799

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání