| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | — | conf |
ICISSP (1)
|
| 2025 | J | jnl |
IEEE Trans. Intell. Veh.
|
| 2025 | C | conf |
SERA
|
| 2025 | — | conf |
ITSC
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
ECC
|
| 2025 | J | jnl |
CoRR
|
| 2024 | — | conf |
ICSTW
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
ITSC
|
| 2024 | J | jnl |
ACM Trans. Cyber Phys. Syst.
|
| 2024 | — | conf |
ICHMS
|
| 2024 | — | conf |
Canadian AI
|
| 2024 | — | conf |
ICHMS
|
| 2024 | J | jnl |
CoRR
|
| 2024 | C | conf |
QRS
|
| 2023 | — | conf |
QRS Companion
|
| 2023 | C | conf |
QRS
|
| 2023 | J | jnl |
IEEE Embed. Syst. Lett.
|
| 2023 | — | conf |
TPS-ISA
|
| 2023 | — | conf |
PKDD/ECML Workshops (5)
|
| 2023 | — | conf |
ICINCO (1)
|
| 2022 | — | conf |
SciSec
|
| 2022 | Misc | conf |
CSR
|
| 2022 | Misc | conf |
EMSOFT
|
| 2021 | J | jnl |
J. Syst. Archit.
|
| 2021 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2021 | A | conf |
DATE
|
| 2020 | B | conf |
ICPR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
MED
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
CDC
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
MED
|
| 2020 | B | conf |
ICPE
|
| 2020 | — | conf |
ECML/PKDD (1)
|
| 2019 | C | conf |
VEHITS
|
| 2019 | — | conf |
FORMATS
|
| 2019 | B | conf |
IJCNN
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2019 | — | conf |
ICCPS
|
| 2019 | C | conf |
ACC
|
| 2019 | B | conf |
SMC
|
| 2019 | B | conf |
RV
|
| 2019 | J | jnl |
PeerJ Comput. Sci.
|
| 2019 | — | conf |
ASD@DATE
|
| 2019 | J | jnl |
IEEE Access
|
| 2019 | C | conf |
ICISSP
|
| 2018 | J | jnl |
IEEE Des. Test
|
| 2018 | J | jnl |
Formal Methods Syst. Des.
|
| 2018 | A | conf |
RTAS
|
| 2018 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2018 | A | conf |
DATE
|
| 2018 | J | jnl |
Formal Methods Syst. Des.
|
| 2018 | — | conf |
POS@SAT
|
| 2018 | B | conf |
RV
|
| 2017 | C | conf |
ISORC
|
| 2017 | J | jnl |
IEEE Embed. Syst. Lett.
|
| 2017 | J | jnl |
CoRR
|
| 2017 | B | conf |
VL/HCC
|
| 2017 | A* | conf |
DAC
|
| 2017 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2017 | C | conf |
QRS
|
| 2017 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2017 | C | conf |
ICISSP
|
| 2017 | A | conf |
RTAS
|
| 2017 | A | conf |
ICST
|
| 2017 | B | conf |
MASCOTS
|
| 2017 | J | jnl |
CoRR
|
| 2017 | Misc | conf |
SAC
|
| 2017 | A* | conf |
ASE
|
| 2017 | B | conf |
ICPE
|
| 2016 | B | conf |
RV
|
| 2016 | B | conf |
ECRTS
|
| 2016 | J | jnl |
Softw. Pract. Exp.
|
| 2016 | C | conf |
ICCD
|
| 2016 | A | conf |
DATE
|
| 2016 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2016 | Misc | conf |
EMSOFT
|
| 2016 | — | conf |
SoftwareMining@ASE
|
| 2016 | B | conf |
RV
|
| 2016 | J | jnl |
ACM Trans. Design Autom. Electr. Syst.
|
| 2016 | B | conf |
RTCSA
|
| 2016 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2015 | Misc | conf |
EMSOFT
|
| 2015 | J | jnl |
CoRR
|
| 2015 | Misc | conf |
EMSOFT
|
| 2015 | C | conf |
ETFA
|
| 2015 | — | conf |
SpringSim (TMS-DEVS)
|
| 2015 | A | conf |
MoDELS
|
| 2015 | B | ed. |
LCTES
|
| 2015 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2015 | J | jnl |
Formal Methods Syst. Des.
|
| 2015 | A | conf |
SAT
|
| 2015 | C | conf |
ETFA
|
| 2015 | B | conf |
RV
|
| 2014 | J | jnl |
CoRR
|
| 2014 | C | conf |
ETFA
|
| 2014 | J | jnl |
J. Syst. Archit.
|
| 2014 | J | jnl |
IEEE Trans. Computers
|
| 2014 | A | conf |
DATE
|
| 2014 | A | conf |
SAT
|
| 2014 | J | jnl |
CoRR
|
| 2014 | A | conf |
IPDPS
|
| 2014 | — | conf |
ICCPS
|
| 2014 | Misc | conf |
EMSOFT
|
| 2014 | J | jnl |
Softw. Pract. Exp.
|
| 2014 | B | conf |
LCTES
|
| 2013 | J | jnl |
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems.
ACM Trans. Embed. Comput. Syst.
|
| 2013 | B | conf |
ECRTS
|
| 2013 | A | conf |
DATE
|
| 2013 | Misc | conf |
FCCM
|
| 2013 | — | conf |
ICCPS
|
| 2013 | Misc | conf |
EMSOFT
|
| 2013 | B | conf |
ICPE
|
| 2013 | A | conf |
IPDPS
|
| 2013 | — | conf |
ICCPS
|
| 2013 | B | conf |
RTCSA
|
| 2013 | J | jnl |
Real Time Syst.
|
| 2013 | J | jnl |
Des. Autom. Embed. Syst.
|
| 2013 | B | conf |
LCTES
|
| 2013 | A | conf |
IEEE Real-Time and Embedded Technology and Applications Symposium
|
| 2013 | B | conf |
RV
|
| 2013 | — | conf |
ESEC/SIGSOFT FSE
|
| 2013 | J | jnl |
Formal Methods Syst. Des.
|
| 2013 | A* | conf |
ASPLOS
|
| 2012 | B | conf |
RTCSA
|
| 2012 | B | conf |
RV
|
| 2012 | C | conf |
ETFA
|
| 2012 | Misc | conf |
EMSOFT
|
| 2012 | J | jnl |
Real Time Syst.
|
| 2012 | B | conf |
RTCSA
|
| 2012 | J | jnl |
J. Syst. Archit.
|
| 2012 | — | conf |
ASP-DAC
|
| 2012 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 2011 | B | conf |
RV
|
| 2011 | B | conf |
LCTES
|
| 2011 | B | conf |
OPODIS
|
| 2011 | Misc | ed. |
EMSOFT
|
| 2011 | C | conf |
ETFA
|
| 2011 | B | conf |
RV
|
| 2011 | B | conf |
FM
|
| 2011 | B | conf |
LCTES
|
| 2010 | Misc | conf |
FCCM
|
| 2010 | — | conf |
ISoLA (2)
|
| 2010 | J | jnl |
IEEE Trans. Computers
|
| 2010 | C | conf |
ISORC
|
| 2010 | B | conf |
LCTES
|
| 2010 | Misc | conf |
EMSOFT
|
| 2010 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2009 | J | jnl |
IEEE Trans. Ind. Informatics
|
| 2009 | A | conf |
IEEE Real-Time and Embedded Technology and Applications Symposium
|
| 2009 | C | conf |
ISORC
|
| 2009 | — | conf |
HSCC
|
| 2009 | B | conf |
LCTES
|
| 2008 | C | conf |
ISORC
|
| 2008 | C | conf |
ETFA
|
| 2007 | J | jnl |
IEEE Trans. Computers
|
| 2007 | Misc | conf |
EMSOFT
|
| 2007 | B | conf |
ECRTS
|
| 2007 | — | ch. |
Handbook of Real-Time and Embedded Systems
|
| 2006 | Misc | conf |
EMSOFT
|
| 2006 | — | conf |
ASWSD
|
| 2006 | — | conf |
IEEE Real Time Technology and Applications Symposium
|
| 2005 | C | conf |
ISCC
|
| 2005 | Misc | conf |
EMSOFT
|
| 2005 | B | conf |
ECRTS
|
| 2005 | A | conf |
IEEE Real-Time and Embedded Technology and Applications Symposium
|
| 2003 | B | conf |
ICWE
|
| 2003 | A* | conf |
PerCom
|
| 2002 | — | conf |
HICSS
|
| 2002 | — | conf |
Agent Technologies, Infrastructures, Tools, and Applications for E-Services
|
| 2001 | — | conf |
Mobile Agents
|
| 2001 | — | conf |
I3E
|