| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
IEEE Trans. Artif. Intell.
|
| 2026 | A* | conf |
AAAI
|
| 2026 | J | jnl |
Eng. Appl. Artif. Intell.
|
| 2026 | J | jnl |
Eng. Appl. Artif. Intell.
|
| 2025 | A* | conf |
ICML
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A | conf |
AAMAS
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization.
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | B | conf |
RTCSA
|
| 2025 | — | conf |
MODELS-C
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | B | conf |
RTCSA
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A* | conf |
AAAI
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
SOCC
|
| 2025 | — | conf |
e-Energy
|
| 2025 | A | conf |
ECAI
|
| 2025 | J | jnl |
CoRR
|
| 2025 | B | conf |
ECRTS
|
| 2025 | — | conf |
RAGE@SenSys
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | A | conf |
RTSS
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Real Time Syst.
|
| 2025 | J | jnl |
Expert Syst. Appl.
|
| 2024 | — | conf |
ITSC
|
| 2024 | — | conf |
ITSC
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | B | conf |
RTCSA
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A | conf |
RTSS
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
AIware
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
ACM Trans. Cyber Phys. Syst.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A | conf |
DATE
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A | conf |
AAMAS
|
| 2024 | J | jnl |
Real Time Syst.
|
| 2024 | — | conf |
e-Energy
|
| 2024 | — | conf |
MIPR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A | conf |
ECAI
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2023 | — | conf |
ITSC
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Real Time Syst.
|
| 2023 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2023 | J | jnl |
ACM Trans. Sens. Networks
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
ISGT EUROPE
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
BuildSys
|
| 2022 | B | conf |
GLOBECOM
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | B | conf |
RTCSA
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
ACM Trans. Cyber Phys. Syst.
|
| 2022 | — | conf |
ITSC
|
| 2022 | — | conf |
ICSRS
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
ICSRS
|
| 2022 | A | conf |
RTSS
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
SmartGridComm
|
| 2021 | — | conf |
ICCPS
|
| 2021 | J | jnl |
CoRR
|
| 2021 | A | conf |
RTSS
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2021 | — | conf |
FormaliSE@ICSE
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
J. Syst. Archit.
|
| 2021 | — | conf |
ICCPS
|
| 2021 | J | jnl |
J. Syst. Archit.
|
| 2021 | J | jnl |
CoRR
|
| 2020 | — | conf |
ICCPS
|
| 2020 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Real Time Syst.
|
| 2020 | J | jnl |
it Inf. Technol.
|
| 2020 | C | conf |
ISCAS
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
COINS
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
IEEE Trans. Computers
|
| 2020 | B | conf |
ICCCN
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | Misc | conf |
Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress.
EMSOFT
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
IEEE Access
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
SP (Workshops)
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2020 | — | conf |
IPSN
|
| 2020 | A | conf |
DATE
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
ACM Trans. Sens. Networks
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
ICCPS
|
| 2019 | C | conf |
ISORC
|
| 2019 | B | conf |
RTCSA
|
| 2019 | C | conf |
DS-RT
|
| 2019 | J | jnl |
IEEE Embed. Syst. Lett.
|
| 2019 | — | conf |
ICCPS
|
| 2019 | J | jnl |
Design of an online-tuned model based compound controller for a fully automated artificial pancreas.
Medical Biol. Eng. Comput.
|
| 2019 | J | jnl |
Real Time Syst.
|
| 2019 | J | jnl |
IEEE Access
|
| 2019 | J | jnl |
IEEE Embed. Syst. Lett.
|
| 2019 | C | conf |
ISORC
|
| 2019 | B | conf |
RTCSA
|
| 2019 | C | conf |
ICFEM
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
SIGBED Rev.
|
| 2019 | C | conf |
ICCD
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
ICCPS
|
| 2018 | C | conf |
ISORC
|
| 2018 | C | conf |
ISORC
|
| 2018 | — | conf |
CyPhy/WESE
|
| 2018 | J | jnl |
Computer
|
| 2018 | J | jnl |
CoRR
|
| 2018 | C | conf |
ISORC
|
| 2018 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2018 | J | jnl |
Biomed. Signal Process. Control.
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
IEEE Trans. Computers
|
| 2018 | C | conf |
ISORC
|
| 2018 | J | jnl |
Real Time Syst.
|
| 2018 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2018 | B | conf |
ICPADS
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2017 | — | conf |
ASP-DAC
|
| 2017 | — | conf |
ASP-DAC
|
| 2017 | A | conf |
DATE
|
| 2017 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2017 | Misc | conf |
RTNS
|
| 2017 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2017 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2017 | A | conf |
DATE
|
| 2016 | A | conf |
RTAS
|
| 2016 | A | conf |
RTSS
|
| 2016 | — | conf |
FSTTCS
|
| 2016 | J | jnl |
SIGBED Rev.
|
| 2016 | — | conf |
CAV (1)
|
| 2016 | — | conf |
ICCPS
|
| 2015 | J | jnl |
IEEE Trans. Computers
|
| 2015 | A | conf |
RTSS
|
| 2015 | B | conf |
ECRTS
|
| 2014 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2014 | A | conf |
RTSS
|
| 2014 | — | conf |
CPSNA
|
| 2014 | — | conf |
CPSNA
|
| 2013 | A | conf |
RTSS
|
| 2013 | B | conf |
ECRTS
|
| 2013 | — | conf |
SIES
|
| 2012 | J | jnl |
J. Syst. Softw.
|
| 2012 | A | conf |
RTSS
|
| 2012 | J | jnl |
Real Time Syst.
|
| 2011 | J | jnl |
SIGBED Rev.
|
| 2011 | A | conf |
IEEE Real-Time and Embedded Technology and Applications Symposium
|
| 2011 | B | conf |
Response Time Analysis of COTS-Based Multicores Considering the Contention on the Shared Memory Bus.
TrustCom
|
| 2011 | J | jnl |
J. Syst. Softw.
|
| 2010 | J | jnl |
SIGBED Rev.
|
| 2010 | A | conf |
RTSS
|
| 2010 | J | jnl |
SIGBED Rev.
|
| 2010 | Misc | conf |
EMSOFT
|
| 2010 | J | jnl |
Real Time Syst.
|
| 2010 | — | conf |
Scheduling
|
| 2009 | B | conf |
RTCSA
|
| 2009 | J | jnl |
Real Time Syst.
|
| 2009 | A | conf |
RTSS
|
| 2009 | — | conf |
ICPP Workshops
|
| 2008 | C | conf |
ISORC
|
| 2008 | J | jnl |
SIGBED Rev.
|
| 2008 | B | conf |
ECRTS
|
| 2007 | A | conf |
RTSS
|
| 2007 | C | conf |
ISORC
|
| 2006 | Misc | conf |
EMSOFT
|
| 2005 | — | conf |
RV@CAV
|
| 2004 | — | conf |
RV@ETAPS
|