Paulo Tabuada
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
16
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | Consensus Is All You Get: The Role of Attention in Transformers. | lvaro Rodrguez Abella, Joo Pedro Silvestre, Paulo Tabuada |
| 2025 | IROS | Secure Safety Filter: Towards Safe Flight Control under Sensor Attacks. | Xiao Tan, Junior Sundar, Renzo Bruzzone, Pio Ong, Willian T. Lunardi, Martin Andreoni, Paulo Tabuada, Aaron D. Ames |
| 2022 | ICRA | Watch and Learn: Learning to control feedback linearizable systems from expert demonstrations. | Alimzhan Sultangazin, Luigi Pannocchi, Lucas Fraile, Paulo Tabuada |
| 2021 | ICLR | Universal approximation power of deep residual neural networks via nonlinear control theory. | Paulo Tabuada, Bahman Gharesifard |
| 2021 | IROS | Trust your supervisor: quadrotor obstacle avoidance using controlled invariant sets. | Luigi Pannocchi, Tzanis Anevlavis, Paulo Tabuada |
| 2021 | ICRA | Learned Uncertainty Calibration for Visual Inertial Localization. | Stephanie Tsuei, Stefano Soatto, Paulo Tabuada, Mark B. Milam |
| 2020 | GLOBECOM | A coding approach to localization using landmarks. | Juan Carlo Rebanal, Yahya H. Ezzeldin, Christina Fragouli, Paulo Tabuada |
| 2020 | ICCCN | Rapid Top-Down Synthesis of Large-Scale IoT Networks. | Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Augusto M. Vieira, Kevin Chan, Ramesh Govindan, Gaurav S. Sukhatme, Paulo Tabuada, Gunjan Verma |
| 2020 | IROS | Persistent Connected Power Constrained Surveillance with Unmanned Aerial Vehicles. | Pradipta Ghosh, Paulo Tabuada, Ramesh Govindan, Gaurav S. Sukhatme |
| 2018 | ICCCN | Protecting the Privacy of Networked Multi-Agent Systems Controlled over the Cloud. | Alimzhan Sultangazin, Suhas N. Diggavi, Paulo Tabuada |
| 2018 | ICDCS | Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. | Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrde Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli |
| 2016 | CSL | Robust Linear Temporal Logic. | Paulo Tabuada, Daniel Neider |
| 2016 | DATE | Self-triggered controllers and hard real-time guarantees. | Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng |
| 2016 | EMSOFT | Underminer: a framework for automatically identifying non-converging behaviors in black box system models. | Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski |
| 2015 | ISIT | Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise. | Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada |
| 2013 | CHES | Non-invasive Spoofing Attacks for Anti-lock Braking Systems. | Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava |
| 2012 | EMSOFT | Input-output robustness for discrete systems. | Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar |
| 2011 | DCOSS | Self-triggered control over wireless sensor and actuator networks. | Jos Araujo, Adolfo Anta Martinez, Manuel Mazo Jr., Joo Faria, Aitor Hernandez, Paulo Tabuada, Karl Henrik Johansson |
| 2010 | CAV | PESSOA: A Tool for Embedded Controller Synthesis. | Manuel Mazo Jr., Anna Davitian, Paulo Tabuada |
| 2010 | EMSOFT | Automatic verification of control system implementations. | Adolfo Anta Martinez, Rupak Majumdar, Indranil Saha, Paulo Tabuada |
| 2010 | RTSS | Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. | Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin |
| 2009 | RTSS | On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN. | Adolfo Anta Martinez, Paulo Tabuada |
| 2004 | CONCUR | Open Maps, Alternating Simulations and Control Synthesis. | Paulo Tabuada |