Distributed Systems / SRI International / IMDEA Software / Open Object-Based Distributed Systems / /
Country
Germany / Netherlands / Italy / United Arab Emirates / Norway / France / Japan / United States / Canada / Portugal / United Kingdom / Spain / / /
Facility
Canada University of Sheffield / Belgium Carnegie Mellon University / University of Sheffield / Germany Kansas State University / University of Ottawa / Italy University of Waterloo / University of Genova / University of Stirling / Technical University of Lisbon / Canada University of Pisa / University of Kaiserslautern / France University of Oslo / American University of Sharjah / UK University of Genova / University of Lisbon / UAE University of Potsdam / Germany University of Ottawa / Norway Concordia University / Germany University of Trento / USA Technical University of Lisbon / Germany University of Oslo / Portugal University of Stirling / USA University of Quebec Outaouais / Canada University of Rostock / Japan Imperial College / Canada University of South Florida / Kansas State University / Ohio State University / University of Bologna / Italy Technical University of Berlin / Canada American University of Sharjah / France University of Passau / /
IndustryTerm
object technology / software tools / telecommunication services / real time systems / mobile computing systems / industrial applications / software quality / type systems / software adaptation / telecommunications systems / /
Organization
University of South Florida / Concordia University / USA University of Quebec Outaouais / American University of Sharjah / Canada University of Rostock / Program Committee / University of Ottawa / University of Waterloo / University of Bologna / University of Lisbon / University of Trento / UAE University of Potsdam / University of Sheffield / France University of Passau / University of Pisa / Kansas State University / Carnegie Mellon University / University of Genova / University of Oslo / Katholieke Universiteit Leuven / Japan Imperial College London / Steering Committee / University of Stirling / The Ohio State University / University of Kaiserslautern / Italy Technical University of Berlin / Khaled El-Fakih Holger Giese John Hatcliff Valerie Issarny Claude Jard Einar Broch Johnsen Ferhat Khendek Jay Ligatti Luigi Logrippo Niels Lohmann Fabio Massacci Uwe Nestmann Peter Olveczky Alexandre Petrenko Frank Piessens Andre Platzer Antonio Ravara Ken Turner Keiichi Yasumoto Nobuko Yoshida Elena Zucca University / /
Person
Elena Zucca / Frank S. de Boer / Khaled ElFakih / Ken Turner / Alexandre Petrenko Frank Piessens Andre / Keiichi Yasumoto / Antonio Ravara / Luigi Logrippo Niels Lohmann Fabio / Dirk Beyer Gregor Bochmann Roberto / Ken Turner Keiichi Yasumoto Nobuko / Fakih Holger Giese John Hatcliff Valerie / Khaled El-Fakih Holger / Claude Jard Einar Broch Johnsen / Valerie Issarny Claude Jard Einar / Fabio Massacci Uwe Nestmann Peter / Elie Najm / Gregor Bochmann Roberto Bruni / John Derrick / Carolyn Talcott / Jay Ligatti Luigi Logrippo Niels / Andre Platzer Antonio Ravara Ken / Antonio Ravara Ken Turner Keiichi / John Hatcliff / Keiichi Yasumoto Nobuko Yoshida Elena / Joseph Fourier / Nancy Day John Derrick Juergen / David Lee / John Hatcliff Valerie Issarny Claude / Antonia Lopes / Frank Piessens Andre Platzer Antonio / Gilles Barthe / Roberto Gorrieri / Uwe Nestmann Peter Olveczky Alexandre / /
Position
Queen / co-chair / chair / /
ProvinceOrState
Florida / /
Region
South Florida / /
Technology
PDF / object technology / mobile computing / network protocols / /
FMOODS & FORTE 2011: IFIP International Conference on Formal Techniques for Distributed Systems (joint conference 13th Formal Methods for Open Object-Based Distributed Systems & 31th Formal Techniques for Networked and D