Elad Schiller

• Self-stabilizing snapshot objects for asynchronous failure-prone networked systems

  C. Georgiou, Oskar Lundström, Elad Schiller
  Theoretical Computer Science - 2026
• Towards a formal verification of secure vehicle software updates

  Martin Slind Hagen, Emil Lundqvist, Alex Phu, Yenan Wang, Kim Strandberg, Elad Schiller
  Computers and Security - 2026
• Self-stabilizing multivalued consensus in the presence of Byzantine faults and asynchrony

  Romaric Duvignau, Michel Raynal, Elad Michael Schiller
  Theoretical Computer Science - 2025
• Integrating Homomorphic Encryption and Synthetic Data in FL for Privacy and Learning Quality

  Yenan Wang, Carla Fabiana Chiasserini, Elad Michael Schiller
  IEEE Workshop on Local and Metropolitan Area Networks - 2025
• Self-stabilizing indulgent zero-degrading binary consensus

  Oskar Lundström, Michel Raynal, Elad Schiller
  Theoretical Computer Science - 2024
• AI/ML-based services and applications for 6G-connected and autonomous vehicles

  Claudio Casetti, Carla Fabiana Chiasserini, Falko Dressler, Agon Memedi, Diego Gasco, Elad Schiller
  Computer Networks - 2024
• Self-stabilizing Byzantine Multivalued Consensus: (extended abstract)

  Romaric Duvignau, Michel Raynal, Elad Michael Schiller
  ACM International Conference Proceeding Series - 2024
• Shared-object system equilibria: Delay and throughput analysis

  Iosif Salem, Elad Michael Schiller, Marina Papatriantafilou, Philippas Tsigas
  17th International Conference on Distributed Computing and Networking, ICDCN 2016; Singapore; Singapore; 4 January 2016 through 7 January 2016 - 2016
• Brief Announcement: Self-stabilizing Virtual Synchrony

  S. Dolev, C. Georgiou, I. Marcoullis, Elad Michael Schiller
  Lecture Notes in Computer Science - 29th International Symposium on Distributed Computing (DISC) - 2015
• LibReplay: Deterministic Replay for Bug Hunting in Sensor Networks

  Olaf Landsiedel, Elad Michael Schiller, Salvatore Tomaselli
  EWSN: Proceedings of the European Conference on Wireless Sensor Networks - 2015
• Robust and Private Distributed Shared Atomic Memory in Message Passing Networks

  Shlomi Dolev, Thomas Petig, Elad Michael Schiller
  Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing - 2015
• Rationality authority for provable rational behavior

  S. Dolev, P.N. Panagopoulou, M. Rabie, Elad Michael Schiller, P.G. Spirakis
  Lecture Notes in Computer Science. European Symposium on Algorithms, ESA 2015, Patras, Greece, 16 September 2015 - 2015
• Shared-object System Equilibria: Delay and Throughput Analysis

  Iosif Salem, Elad Michael Schiller, Marina Papatriantafilou, Philippas Tsigas
  2015
• Practically Stabilizing Virtual Synchrony

  Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad Michael Schiller
  2015
• Self-stabilizing virtual synchrony

  S. Dolev, C. Georgiou, I. Marcoullis, Elad Michael Schiller
  Proceedings of the 17th International Symposium Stabilization, Safety, and Security of Distributed Systems, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2015
• Vehicular coordination via a safety kernel in the gulliver test-bed

  A. Casimiro, Oscar Morales-Ponce, Thomas Petig, Elad Michael Schiller
  Proceedings - International Conference on Distributed Computing Systems, 014 IEEE 34th International Conference on Distributed Computing Systems Workshops, ICDCSW 2014, Madrid, Spain, 30 June - 3 July 2014 - 2014
• Cooperation with disagreement correction in the presence of communication failures

  Oscar Morales-Ponce, Elad Michael Schiller, Paolo Falcone
  2014 17th IEEE International Conference on Intelligent Transportation Systems, ITSC 2014 - 2014
• On the Trade-Off Between Accuracy and Delay in Cooperative UWB Localization: Performance Bounds and Scaling Laws

  Gabriel E. Garcia, Leela Srikar Muppirisetty, Elad Michael Schiller, Henk Wymeersch
  IEEE Transactions on Wireless Communications - 2014
• Driving with Confidence: Local Dynamic Maps That Provide LoS for the Gulliver Test-bed

  Christian Berger, Oscar Morales-Ponce, Thomas Petig, Elad Michael Schiller
  Lecture Notes in Computer Science: Computer Safety, Reliability, and Security. 33rd SAFECOMP Workshop - 2014
• Self-stabilizing TDMA algorithms for wireless ad-hoc networks without external reference

  Thomas Petig, Elad Michael Schiller, Philippas Tsigas
  13th Annual Mediterranean Ad Hoc Networking Workshop, MED-HOC-NET 2014, Piran, Slovenia, 2-4 June 2014 - 2014
• A kernel-based architecture for safe cooperative vehicular functions

  A.C. Casimiro, J.M.M. Rufino, R.C. Pinto, E. Vial, Elad Michael Schiller, Oscar Morales-Ponce, Thomas Petig
  Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014 - 2014
• Bridging Physical and Digital Traffic System Simulations with the Gulliver Test-Bed

  Christian Berger, Erik Dahlgren, Johan Grundén, Daniel Gunnarsson, Nadia Holtryd, Anmar Khazal, Mohamed Mustafa, Marina Papatriantafilou, Elad Michael Schiller, Christoph Steup, Viktor Swantesson, Philippas Tsigas
  5th International Workshop, Nets4Cars/Nets4Trains 2013 - 2013
• Model-based, Composable Simulation for the Development of Autonomous Miniature Vehicles

  Christian Berger, Michel Chaudron, Rogardt Heldal, Olaf Landsiedel, Elad Michael Schiller
  Mod4Sim'13: 3rd International Workshop on Model-driven Approaches for Simulation Engineering at SCS/IEEE Symposium on Theory of Modeling and Simulation in conjunction with SpringSim 2013 - 2013
• Self-stabilizing TDMA Algorithms for Wireless Ad-Hoc Networks without External Reference

  Thomas Petig, Elad Michael Schiller, Philippas Tsigas
  Lecture Notes in Computer Science: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013 - 2013
• Self-stabilizing TDMA Algorithms for Wireless Ad-hoc Networks without External Reference

  Thomas Petig, Elad Michael Schiller, Philippas Tsigas
  2013
• Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad Hoc Networks

  Pierre Leone, Elad Michael Schiller
  International Journal of Distributed Sensor Networks - 2013
• On Using the Gulliver Platform for Bridging Physical and Digital Traffic System Simulations

  Christian Berger, Erik Dahlgren, Johan Grundén, Daniel Gunnarsson, Nadia Holtryd, Anmar Khazal, Mohamed Mustafa, Marina Papatriantafilou, Elad Michael Schiller, Christoph Steup, Viktor Swantesson, Philippas Tsigas
  Nationell Konferens i Transportforskning, Chalmers Göteborg - 2013
• The KARYON project: Predictable and safe coordination in cooperative vehicular systems

  António Manuel E S Casimiro, Jörg Kaiser, Elad Michael Schiller, Pedro Costa, José Parizi, Rolf Johansson, Renato Librino
  Proceedings of the International Conference on Dependable Systems and Networks - 2013
• Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad-hoc Networks

  Pierre Leone, Elad Michael Schiller
  SENSORNETS 2013, 2nd International Conference on Sensor Networks - 2013
• Self-Stabilizing Byzantine Resilient Topology Discovery and Message Delivery

  Shlomi Dolev, Omri Liba, Elad Michael Schiller
  NETYS'13: The International Conference on NETworked sYStems - 2013
• Cooperative driving for best road network capacity

  Balazs Kulcsar, Oscar Morales-Ponce, Marina Papatriantafilou, Elad Michael Schiller, Philippas Tsigas
  Nationella Konferens i Transportforskning - 2013
• The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems

  Antonio Casimiro, Jorg Kaiser, Elad Michael Schiller, Pedro Costa, Jose Parizi, Rolf Johansson, Renato Librino
  2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems - 2013
• KARYON: Towards Safety Kernels for Cooperative Vehicular Systems

  Antonio Casimiro, Jörg Kaiser, Johan Karlsson, Elad Michael Schiller, Philippas Tsigas, Pedro Costa, Jose Parizi, Rolf Johansson, Renato Librino
  Lecture Notes in Computer Science: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Springer, Lecture Notes in Computer Science - 2012
• Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks

  Shlomi Dolev, Ariel Hanemann, Elad Michael Schiller, Shantanu Sharma
  Lecture Notes in Computer Science: Stabilization, Safety, and Security of Distributed Systems - 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings, Lecture Notes in Computer Science, Springer - 2012
• Gulliver: A test-bed for developing, demonstrating and prototyping vehicular systems

  M. Pahlavan, Marina Papatriantafilou, Elad Michael Schiller
  IEEE 75th Vehicular Technology Conference, VTC Spring 2012, Yokohama, 6 May-9 June 2012 - 2012
• Self-Stabilizing Byzantine Resilient Topology Discovery and Message Delivery

  Shlomi Dolev, Omri Liba, Elad Michael Schiller
  2012
• Self-Stabilizing TDMA Algorithms for Dynamic Wireless Ad-hoc Networks

  Pierre Leone, Elad Michael Schiller
  Algosensors 2012, 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities - 2012
• Autonomous TDMA Alignment for VANETs

  Mohamed Mustafa, Marina Papatriantafilou, Elad Michael Schiller, Amir Tohidi, Philippas Tsigas
  IEEE 76th Vehicular Technology Conference: VTC2012-Fall 3-6 September 2012 - 2012
• Gulliver: a test-bed for developing, demonstrating and prototyping vehicular systems

  Mitra Pahlavan, Marina Papatriantafilou, Elad Michael Schiller
  Proceedings of the 9th ACM International Workshop on Mobility Management & Wireless Access, MOBIWAC 2011, October 31- November 4, 2011, Miami Beach, FL, USA - 2011
• Robust and scalable middleware for selfish-computer systems

  Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas
  Computer Science Review - 2011
• Strategies for repeated games with subsystem takeovers implementable by deterministic and self-stabilising automata

  Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas
  International Journal of Autonomous and Adaptive Communications Systems - 2011
• Secure and self-stabilizing clock synchronization in sensor networks

  Jaap-Henk Hoepman, Andreas Larsson, Elad Michael Schiller, Philippas Tsigas
  Theoretical Computer Science - 2011
• Rationality authority for provable rational behavior

  S. Dolev, P. N. Panagopoulou, M. Rabie, Elad Michael Schiller, P. G. Spirakis
  Proceedings of the Annual ACM Symposium on Principles of Distributed Computing - 2011
• Secure and Self-stabilizing Clock Synchronization in Sensor Networks

  Jaap-Henk Hoepman, Andreas Larsson, Elad Michael Schiller, Philippas Tsigas
  Theoretical Computer Science - 2010
• When consensus meets self-stabilization

  S. Dolev, R. I. Kat, Elad Michael Schiller
  Journal of Computer and System Sciences - 2010
• Game authority for robust and scalable distributed selfish-computer systems

  Shlomi Dolev, Elad Michael Schiller, P. G. Spirakis, Philippas Tsigas
  Theoretical Computer Science - 2010
• Interacting Urns Processes for Clustering of Large-Scale Networks of Tiny Artifacts

  P. Leone, Elad Michael Schiller
  International Journal of Distributed Sensor Networks - 2010
• Chameleon-MAC: Adaptive and Self-* Algorithms for Media Access Control in Mobile Ad Hoc Networks

  Pierre Leone, Marina Papatriantafilou, Elad Michael Schiller, Gongxi Zhu
  Lecture Notes in Computer Science. 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010, New York, 20-22 September 2010 - 2010
• Analyzing Protocols for Media Access Control in Large-Scale Mobile Ad Hoc Networks (invited talk)

  Pierre Leone, Marina Papatriantafilou, Elad Michael Schiller, Gongxi Zhu
  Self-Organising Wireless Sensor and Communication Networks (SOMSED 2009) - 2009
• Relocation Analysis of Stabilizing MAC Algorithms for Large-Scale Mobile Ad Hoc Networks (brief announcement)

  Pierre Leone, Marina Papatriantafilou, Elad Michael Schiller
  Stabilization, Safety, and Security of Distributed Systems, 12th International Symposium, SSS 2009 - 2009

Fler publikationer

Antalet publikationer som visas på denna sida är begränsat. Besök Göteborgs Universitets publikationsdatabas (GUP) för att söka efter fler publikationer.