Zobrazeno 1 - 10
of 37
pro vyhledávání: '"J Paul Gibson"'
Autor:
J Paul Gibson, Dominique Méry
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 64-79 (2018)
The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often
Externí odkaz:
https://doaj.org/article/111e2ff62119471c8648b19d7ad47ee6
Publikováno v:
Studies in health technology and informatics. 290
Digital Pills are a drug-device technology that allow for the combination of traditional medications with a monitoring system that automatically records data about medication adherence and patients' physiological data. They are a promising innovation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::5d975ed1383e98abd84bbeb5767d1b94
https://pubmed.ncbi.nlm.nih.gov/35673235
https://pubmed.ncbi.nlm.nih.gov/35673235
Autor:
J. Paul Gibson, Jean-Luc Raffy
Publikováno v:
Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings
Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.3-18, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_1⟩
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ISBN: 9789811550539
Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.3-18, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_1⟩
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ISBN: 9789811550539
International audience; There has been much recent interest in the development of electronic voting (e-voting) systems, but there remain many outstanding research challenges for software and system engineers. Software product line (SPL) techniques of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a38e830ce6e7a704995ef604637b2a2e
https://hal.archives-ouvertes.fr/hal-02941575/file/GibsonRaffy20.pdf
https://hal.archives-ouvertes.fr/hal-02941575/file/GibsonRaffy20.pdf
Publikováno v:
Proceedings WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises
WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises
WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. pp.78-84, ⟨10.1109/WETICE.2018.00022⟩
WETICE
WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises
WETICE 2018: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2018, Paris, France. pp.78-84, ⟨10.1109/WETICE.2018.00022⟩
WETICE
International audience; A Software Product Line (SPL) is a tool/method used to generate a family of program/system variants for a specific domain, and to support a more efficient software devel- opment of future products within the same domain. A Fea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc19d3c45e101aad916ff3cff6540151
https://hal.archives-ouvertes.fr/hal-01914195/document
https://hal.archives-ouvertes.fr/hal-01914195/document
Publikováno v:
ACM Transactions on Intelligent Systems and Technology. 6:1-26
Mobile Crowdsensing (MCS) requires users to be motivated to participate. However, concerns regarding energy consumption and privacy—among other things—may compromise their willingness to join such a crowd. Our preliminary observations and analysi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8fb2a166919d3720ed2cf9e9170542b
https://doi.org/10.1145/2644827
https://doi.org/10.1145/2644827
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ISBN: 9783030034238
ISoLA (3)
Proceedings ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407-410, ⟨10.1007/978-3-030-03424-5_27⟩
Gibson, P, Larsen, P G, Pantel, M, Fitzgerald, J & Woodcock, J 2018, Cyber-Physical Systems Engineering: An Introduction . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Proceedings, Part III . vol. III, Springer, Lecture Notes in Computer Science, vol. 11246, Theoretical Computer Science and General Issues, vol. 11246, pp. 407-411, ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018, Limassol, Cyprus, 05/11/2018 . https://doi.org/10.1007/978-3-030-03424-5_27
ISoLA (3)
Proceedings ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407-410, ⟨10.1007/978-3-030-03424-5_27⟩
Gibson, P, Larsen, P G, Pantel, M, Fitzgerald, J & Woodcock, J 2018, Cyber-Physical Systems Engineering: An Introduction . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Proceedings, Part III . vol. III, Springer, Lecture Notes in Computer Science, vol. 11246, Theoretical Computer Science and General Issues, vol. 11246, pp. 407-411, ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018, Limassol, Cyprus, 05/11/2018 . https://doi.org/10.1007/978-3-030-03424-5_27
International audience; Cyber-Physical Systems (CPSs) [1] connect the real world to software systems through a network of sensors and actuators in which physical and logical components interact in complex ways. There is a diverse range of application
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f8480c146b0d9c16ef4925d462eb125
https://doi.org/10.1007/978-3-030-03424-5_27
https://doi.org/10.1007/978-3-030-03424-5_27
Autor:
J. Paul Gibson, Dominique Méry
Publikováno v:
Proceedings IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development
IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development
IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64-79, ⟨10.4204/EPTCS.271.5⟩
Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 64-79 (2018)
IMPEX/FM&MDD
IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development
IMPEX 2017: 1st International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’An, China. pp.64-79, ⟨10.4204/EPTCS.271.5⟩
Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 64-79 (2018)
IMPEX/FM&MDD
The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a275a0201e5b24e19a3bfa4a7f3354a4
https://hal.archives-ouvertes.fr/hal-01798224/file/GibsonMery18.pdf
https://hal.archives-ouvertes.fr/hal-01798224/file/GibsonMery18.pdf
Publikováno v:
Lecture Notes in Computer Science
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017)
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319602240
FORTE
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017)
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319602240
FORTE
International audience; The design of e-voting systems requires the use of techniques which guarantee that the resulting system is safe, secure and preserves privacy. We develop Event-B models of a voting system, by applying a decomposition pattern a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc61a7f080b1be5e5dde3f56f798b5e1
https://inria.hal.science/hal-01658423/document
https://inria.hal.science/hal-01658423/document
Publikováno v:
Annals of Telecommunications-annales des télécommunications
Annals of Telecommunications-annales des télécommunications, Springer, 2016, 71 (7), pp.279-286. ⟨10.1007/s12243-016-0525-8⟩
Annals of Telecommunications-annales des télécommunications, Springer, 2016, 71 (7), pp.279-286. ⟨10.1007/s12243-016-0525-8⟩
International audience; Electronic voting systems are those which depend on some electronic technology for their correct functionality. Many of them depend on such technology for the communication of election data. Depending on one or more communicat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::907e6f8067300bf4f35c69484f914e22
https://hal.archives-ouvertes.fr/hal-01364859
https://hal.archives-ouvertes.fr/hal-01364859
Publikováno v:
Innovations in Systems and Software Engineering (ISSE)
Innovations in Systems and Software Engineering (ISSE), Springer London, 2011, 7 (4), pp.237-245. ⟨10.1007/s11334-011-0167-y⟩
Innovations in Systems and Software Engineering (ISSE), Springer London, 2011, 7 (4), pp.237-245. ⟨10.1007/s11334-011-0167-y⟩
International audience; We report on the formal development of a test oracle for an electronic-voting system, detailing our approach which was based on a lightweight integration of Event-B, UML, and Java. This lightweight integration focuses on a coh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67d0a2ad2b3105f98b9643e1e93a5621
https://doi.org/10.1007/s11334-011-0167-y
https://doi.org/10.1007/s11334-011-0167-y