المؤلفون: Pektas, Abdurrahman, Acarman, Tankut, Falcone, Ylies, Fernandez, Jean-Claude

المصدر: 2015 World Congress on Internet Security (WorldCIS) Internet Security (WorldCIS), 2015 World Congress on. :166-171 Oct, 2015

Relation: 2015 World Congress on Internet Security (WorldCIS)

المؤلفون: Jaber, Mohamad, Combaz, Jacques, Strus, Loic, Fernandez, Jean-Claude

المصدر: 2008 IEEE International Conference on Emerging Technologies and Factory Automation Emerging Technologies and Factory Automation, 2008. ETFA 2008. IEEE International Conference on. :1441-1448 Sep, 2008

Relation: 2008 IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2008)

المؤلفون: Falcone, Yliès^Aff17, Cornebize, Tom^Aff17, Fernandez, Jean-Claude^Aff17

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Kobsa, Alfred, editor^Aff5, Mattern, Friedemann, editor^Aff6, Mitchell, John C., editor^Aff7, Naor, Moni, editor^Aff8, Nierstrasz, Oscar, editor^Aff9, Pandu Rangan, C., editor^Aff10, Steffen, Bernhard, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Weikum, Gerhard, editor^Aff14, Ábrahám, Erika, editor^Aff15, Palamidessi, Catuscia, editor^Aff16

المصدر: Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. 8461:66-83

المؤلفون: Falcone, Yliès^Aff19, Fernandez, Jean-Claude^Aff20, Jéron, Thierry^Aff19, Marchand, Hervé^Aff19, Mounier, Laurent^Aff20

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Petrenko, Alexandre, editor^Aff16, Simão, Adenilso, editor^Aff17, Maldonado, José Carlos, editor^Aff18

المصدر: Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. 6435:30-46

المؤلفون: Falcone, Yliès^Aff18, Fernandez, Jean-Claude^Aff18, Mounier, Laurent^Aff18

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Bensalem, Saddek, editor^Aff16, Peled, Doron A., editor^Aff17

المصدر: Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. 5779:40-59

المؤلفون: Falcone, Yliès^Aff3, Fernandez, Jean-Claude^Aff3, Mounier, Laurent^Aff3

المساهمون: Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Sekar, R., editor^Aff1, Pujari, Arun K., editor^Aff2

المصدر: Information Systems Security : 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings. 5352:41-55

المؤلفون: Falcone, Yliès^Aff1, Fernandez, Jean-Claude^Aff1, Mounier, Laurent^Aff1, Richier, Jean-Luc^Aff2

المساهمون: Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Petrenko, Alexandre, editor, Veanes, Margus, editor, Tretmans, Jan, editor, Grieskamp, Wolfgang, editor

المصدر: Testing of Software and Communicating Systems : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings. 4581:107-122

المؤلفون: Falcone, Yliès^Aff20, Fernandez, Jean-Claude^Aff20, Mounier, Laurent^Aff20, Richier, Jean-Luc^Aff21

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Havelund, Klaus, editor^Aff16, Núñez, Manuel, editor^Aff17, Roşu, Grigore, editor^Aff18, Wolff, Burkhart, editor^Aff19

المصدر: Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. 4262:55-69

المؤلفون: Darmaillacq, Vianney^Aff19, Fernandez, Jean-Claude^Aff20, Groz, Roland^Aff19, Mounier, Laurent^Aff20, Richier, Jean-Luc^Aff19

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Uyar, M. Ümit, editor^Aff16, Duale, Ali Y., editor^Aff17, Fecko, Mariusz A., editor^Aff18

المصدر: Testing of Communicating Systems : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings. 3964:341-356

المؤلفون: Fernandez, Jean-Claude^Aff18, Mounier, Laurent^Aff18, Pachon, Cyril^Aff18

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Khendek, Ferhat, editor^Aff16, Dssouli, Rachida, editor^Aff17

المصدر: Testing of Communicating Systems : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings. 3502:333-348