المؤلفون: Correa, T, Becker, L. B., Bodeveix, Jean-Paul, Farines, J-M, Filali, M, Vernadat, François

المساهمون: Universidade Federal de Santa Catarina = Federal University of Santa Catarina Florianópolis (UFSC), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique (CNRS), Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace, SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, SIA: the French Society of Automobive Engineers

المصدر: ERTS 2010 proceedings ; European conference on Embedded Real Time Software & Systems (ERTS2 2010) ; https://hal.science/hal-02267842 ; European conference on Embedded Real Time Software & Systems (ERTS2 2010), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-10 ; http://web1.see.asso.fr/erts2010/

مصطلحات موضوعية: safety-critical systems, design approach, model-verification, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Toulouse, France

Relation: hal-02267842; https://hal.science/hal-02267842; https://hal.science/hal-02267842/document; https://hal.science/hal-02267842/file/6C-2.pdf

الاتاحة: https://hal.science/hal-02267842
https://hal.science/hal-02267842/document
https://hal.science/hal-02267842/file/6C-2.pdf

المؤلفون: Correa, T., Becker, L., Farines, J.-M., Bodeveix, Jean-Paul, Filali, M, Vernadat, François

المساهمون: Universidade Federal de Santa Catarina = Federal University of Santa Catarina Florianópolis (UFSC), Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Université Toulouse III - Paul Sabatier (UT3), Centre National de la Recherche Scientifique (CNRS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Grant CAPES STIC-AmSud 003/07 TAPIOCA : Timing Analysis and Program Implementation On Complex Architectures, French AESE project Topcased, IEEE

المصدر: 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010)
https://ut3-toulouseinp.hal.science/hal-03900243
15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), IEEE, Mar 2010, Oxford, United Kingdom. pp.331-336, ⟨10.1109/ICECCS.2010.56⟩
https://ieeexplore.ieee.org/document/5628588

مصطلحات موضوعية: Real time systems, Timing, Hardware, Software, Automata, Observers, [INFO]Computer Science [cs]

جغرافية الموضوع: Oxford, United Kingdom

Relation: hal-03900243; https://ut3-toulouseinp.hal.science/hal-03900243; https://ut3-toulouseinp.hal.science/hal-03900243/document; https://ut3-toulouseinp.hal.science/hal-03900243/file/Supporting%20the%20Design%20of%20Safety%20Critical%20Systems%20Using%20AADL.pdf

الاتاحة: https://ut3-toulouseinp.hal.science/hal-03900243
https://ut3-toulouseinp.hal.science/hal-03900243/document
https://ut3-toulouseinp.hal.science/hal-03900243/file/Supporting%20the%20Design%20of%20Safety%20Critical%20Systems%20Using%20AADL.pdf
https://doi.org/10.1109/ICECCS.2010.56

المؤلفون: Farail, Patrick, Gaufillet, Pierre, Farines, J-M, Lambert, J-L, Dissaux, Pierre, Hafidi, H, Michel, Pierre, Filali, M, Bodeveix, Jean-Paul, Vernadat, François, Berthomieu, Bernard, Ribet, P, O

المساهمون: Airbus France, Faculdade Estácio de Florianópolis, TNI Brest, TNI, ONERA - The French Aerospace Lab Toulouse, ONERA, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Université Toulouse III - Paul Sabatier (UT3), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), SIA, SEE, AAAF

المصدر: ERTS 2004 proceedings ; 2nd Embedded Real Time Software Congress (ERT 2004) ; https://hal.science/hal-02271255 ; 2nd Embedded Real Time Software Congress (ERT 2004), SIA; SEE; AAAF, Jan 2004, Toulouse, France

مصطلحات موضوعية: COTRE, Real Time Architecture, COTRE (COmposant Temps Réel), [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Toulouse, France

Relation: hal-02271255; https://hal.science/hal-02271255; https://hal.science/hal-02271255/document; https://hal.science/hal-02271255/file/7A3_P.Farail_Airbus%20%281%29.pdf

الاتاحة: https://hal.science/hal-02271255
https://hal.science/hal-02271255/document
https://hal.science/hal-02271255/file/7A3_P.Farail_Airbus%20%281%29.pdf

المؤلفون: Berthomieu, B., Ribet, P-O., Vernadat, F., Bernartt, J.L., Farines, J-M., Bodeveix, J.-P., Filali, M., Padiou, G., Michel, P., Farail, P., Gauffilet, P., Dissaux, P., Lambert, J-L.

المصدر: Electronic Notes in Theoretical Computer Science ; volume 80, page 203-218 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/s1571-0661(04)80819-3
https://api.elsevier.com/content/article/PII:S1571066104808193?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1571066104808193?httpAccept=text/plain

المؤلفون: Lau Cheuk Lung, da Silva Fraga, J., Farines, J.-M., Ogg, M., Ricciardi, A.

المصدر: Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems ; page 254-262

الاتاحة: http://dx.doi.org/10.1109/reldis.1999.805101
http://xplorestaging.ieee.org/ielx5/6512/17396/00805101.pdf?arnumber=805101

المؤلفون: Kaestner, C.A.A., Farines, J.-M.

المصدر: Proceedings Seventh Euromicro Workshop on Real-Time Systems ; volume 9, page 205-212

الاتاحة: http://dx.doi.org/10.1109/emwrts.1995.514313
http://xplorestaging.ieee.org/ielx3/3901/11330/00514313.pdf?arnumber=514313

المؤلفون: de Oliveira, R.S., da Silva Fraga, J., Farines, J.-M.

المصدر: Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001 ; page 319-326

الاتاحة: http://dx.doi.org/10.1109/isorc.2001.922855
http://xplorestaging.ieee.org/ielx5/7351/19938/00922855.pdf?arnumber=922855

المؤلفون: Vallim, M.B.R., Farines, J.-M., Cury, J.E.R.

المصدر: IEEE Transactions on Education ; volume 49, issue 1, page 74-79 ; ISSN 0018-9359

الاتاحة: http://dx.doi.org/10.1109/te.2005.856157
http://xplorestaging.ieee.org/ielx5/13/33552/01593874.pdf?arnumber=1593874

المؤلفون: Salvador, M.R., Heemstra de Groot, S.M., Dey, D., Farines, J-M., Westphall, C.

المصدر: Proceedings of the 19th Brazilian Symposium on Computer Networks (SBRC 2001)

مصطلحات موضوعية: METIS-203285, IR-36865, WDM, Multicast, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, Lambda Switching, Protocols, PIM-SM

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::e31b29d39159f8fa19666683e08ede42
https://research.utwente.nl/en/publications/supporting-pimsm-in-alloptical-lambdaswitched-networks(e0d7fc31-44f7-4656-9bbb-439b9a76a95a).html

المؤلفون: Ferreira Pires, Luis, Farines, J-M., Westphall, C., Guareis de farias, Cléver

المصدر: Proceedings of the 19th Brazilian Symposium on Computer Networks (SBRC 2001), 82-97
STARTPAGE=82;ENDPAGE=97;TITLE=Proceedings of the 19th Brazilian Symposium on Computer Networks (SBRC 2001)
ISSUE=19;STARTPAGE=82;ENDPAGE=97;TITLE=19th Brazilian Symposium on Computer Networks, SBRC 2001

مصطلحات موضوعية: EWI-8690, IR-66754, SCS-Services

وصف الملف: application/pdf; application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b67bddd1faa8bbd045de100c6028fc42
https://research.utwente.nl/en/publications/amber-uma-linguagem-para-o-desenvolvimento-de-sistemas-distribuidos(855e84c5-8446-4a76-b6bf-73f789f3577f).html

المؤلفون: Andrade Almeida, João, Wegdam, M., Ferreira Pires, Luis, van Sinderen, Marten J., Farines, J.-M., Westphall, C.

المصدر: Proceedings of the 19th Brazilian Symposium on Computer Networks (SBRC 2001), 1-17
STARTPAGE=1;ENDPAGE=17;TITLE=Proceedings of the 19th Brazilian Symposium on Computer Networks (SBRC 2001)

وصف الملف: application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::5c34144269602d829672ebe99f401af7
https://research.utwente.nl/en/publications/an-approach-to-dynamic-reconfiguration-of-distributed-systems-based-on-objectmiddleware(ddd9a5d3-e526-46db-83b7-e4f8ad4ae0e9).html

المؤلفون: Silva, E.S., Farines, J.-M., Diaz, M.

المصدر: 2011 4th IFIP International Conference on New Technologies, Mobility & Security (NTMS); 2011, p1-5, 5p

المؤلفون: Cambruzzi, E., Farines, J.-M., Macedo, R.J., Kraus, W.

المصدر: Intelligent Vehicles Symposium (IV), 2010 IEEE; 2010, p603-608, 6p

المؤلفون: Silveira e Silva, E., Farines, J.-M., Diaz, M.

المصدر: 2009 IEEE Wireless Communications & Networking Conference; 2009, p1-6, 6p

المؤلفون: Silveira e Silva, E., Racaru, F., Farines, J.-M., Diaz, M.

المصدر: NOMS 2008 - 2008 IEEE Network Operations & Management Symposium; 2008, p855-858, 4p

المؤلفون: Linhares, M.V., de Oliveira, R.S., Farines, J.-M., Vernadat, F.

المصدر: 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007); 2007, p344-351, 8p

المؤلفون: Vallim, M.B.R., Farines, J.-M., Cury, J.E.R.

المصدر: Proceedings of the 45th IEEE Conference on Decision & Control; 2006, p3890-3895, 6p

المؤلفون: Koliver, C., Cemin, A., Farines, J.-M.

المصدر: WebMedia & LA-Web Proceedings, 2004; 2004, p133-136, 4p

المؤلفون: de Oliveira, R.S., da Silva Fraga, J., Farines, J.-M.

المصدر: Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001; 2001, p319-326, 8p

المؤلفون: Eyzell, J.M., Farines, J.-M.

المصدر: Proceedings of International Conference on Protocols for Multimedia Systems - Multimedia Networking; 1997, p269-272, 4p