Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Seidner, Charlotte"'
Publikováno v:
Fundamenta Informaticae, Volume 183, Issues 1-2: Petri Nets 2019 (December 23, 2021) fi:8464
We investigate the problem of parameter synthesis for time Petri nets with a cost variable that evolves both continuously with time, and discretely when firing transitions. More precisely, parameters are rational symbolic constants used for time cons
Externí odkaz:
http://arxiv.org/abs/2109.03658
Autor:
Lime, Didier, Roux, Olivier H., Seidner, Charlotte, Donatelli, Susanna, Haar, Stefan, Lasota, Slawomir
Publikováno v:
Fundamenta Informaticae; 2021, Vol. 183 Issue 1/2, p97-123, 27p
Autor:
Delatour, Jerome, Brun, Matthias, Olivier-Henri Roux, Seidner, Charlotte, Lelionnais, Cédrick
Publikováno v:
IARIA Journals
IARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128
IARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128
International audience; —The development of real-time embedded systems is quite complex because of the wide range of execution platforms and of the importance of non-functional requirements. Further-more, Model Driven Engineering is particularly su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c55b6cf1ab3218d4684823aa05cc5c07
https://hal.archives-ouvertes.fr/hal-01093769
https://hal.archives-ouvertes.fr/hal-01093769
Autor:
Lelionnais, Cedrick, Brun, Matthias, Delatour, Jérôme, Roux, Olivier Henri, Seidner, Charlotte
Publikováno v:
Advances in System Testing and Validation
The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013)
The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32
The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013)
The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32
International audience; Formal composition based on roles within a model driven engineering approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c5cb0c7920834b758ddeb2633e23a9ba
https://hal.archives-ouvertes.fr/hal-00941024
https://hal.archives-ouvertes.fr/hal-00941024
Autor:
Aizier, Bruno, Lizy-Destrez, Stéphanie, Seidner, Charlotte, Chapurlat, Vincent, Prun, Daniel, Wippler, Jean-Luc
Publikováno v:
INCOSE 2012, 22nd Annual International Council on Systems Engineering Symposium
INCOSE 2012, 22nd Annual International Council on Systems Engineering Symposium, Jul 2012, Rome, Italy. pp xxx
INCOSE 2012, 22nd Annual International Council on Systems Engineering Symposium, Jul 2012, Rome, Italy. pp xxx
International audience; Although the eFFBD formalism dates back to the 1990s (or even, in a simplified form, the 1950s), it is still not as much used by the Systems Engineering community as it could. As a tool for describing the functional decomposit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::77d76378535bdf2604a38625186e1103
https://hal-enac.archives-ouvertes.fr/hal-01022483
https://hal-enac.archives-ouvertes.fr/hal-01022483
Autor:
Lelionnais, Cédrick, Brun, Matthias, Delatour, Jérôme, Roux, Olivier Henri, Seidner, Charlotte
Publikováno v:
The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012)
The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland
The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland
International audience; Faced with the growing problems of complexity, heterogeneity and upgradability of Real-Time Embedded Systems (RTESs), model-based frameworks dedicated to the application deployments facilitate the design and the development of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::91e3c22d53f4f6ac9e5bad7776295085
https://hal.archives-ouvertes.fr/hal-01093794
https://hal.archives-ouvertes.fr/hal-01093794
Publikováno v:
$18^{th}$ International Symposium of the INCOSE
$18^$ International Symposium of the INCOSE, 2008, Utrecht, Netherlands. pp.0-10
$18^$ International Symposium of the INCOSE, 2008, Utrecht, Netherlands. pp.0-10
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::592169081146481e8ee84e0c003ed90a
https://hal.archives-ouvertes.fr/hal-00523610
https://hal.archives-ouvertes.fr/hal-00523610
Publikováno v:
$6^{th}$ Annual Conference on Systems Engineering Research
$6^$ Annual Conference on Systems Engineering Research, 2008, Los Angeles, United States. pp.0-10
$6^$ Annual Conference on Systems Engineering Research, 2008, Los Angeles, United States. pp.0-10
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::70a287af630490950790abc8f934b913
https://hal.archives-ouvertes.fr/hal-00523611
https://hal.archives-ouvertes.fr/hal-00523611
Publikováno v:
IEEE Transactions on Industrial Informatics
IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2008, 4 (4), pp.280-291
IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2008, 4 (4), pp.280-291
International audience; Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however powerful and mature, are deemed too complex for efficient use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1604bf0aa21beb26f6ca57ed5dacc98e
https://hal.archives-ouvertes.fr/hal-00489291/file/sr-ieeetii-2008.pdf
https://hal.archives-ouvertes.fr/hal-00489291/file/sr-ieeetii-2008.pdf
Publikováno v:
17$^{th}$ International Symposium of the International Council on Systems Engineering (IS2007)
17$^$ International Symposium of the International Council on Systems Engineering (IS2007), 2007, San Diego, United States. pp.0-10
17$^$ International Symposium of the International Council on Systems Engineering (IS2007), 2007, San Diego, United States. pp.0-10
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::30ea3251a4fd8e3285f3834059f0b781
https://hal.archives-ouvertes.fr/hal-00523605
https://hal.archives-ouvertes.fr/hal-00523605