| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
Autom. Softw. Eng.
|
| 2026 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2026 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 2026 | J | jnl |
IEEE Trans. Dependable Secur. Comput.
|
| 2026 | J | jnl |
Formal Methods Syst. Des.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Proc. ACM Softw. Eng.
|
| 2025 | J | jnl |
Adv. Eng. Softw.
|
| 2025 | A | conf |
RTSS
|
| 2025 | J | jnl |
J. Syst. Softw.
|
| 2025 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2025 | — | conf |
Internetware
|
| 2025 | A* | conf |
ICSE
|
| 2025 | J | jnl |
J. Softw. Evol. Process.
|
| 2025 | A* | conf |
ICSE
|
| 2025 | J | jnl |
Hierarchical Model Checking of SystemVerilog-Specified Asynchronous Circuits for Deadlock Detection.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2025 | J | jnl |
Proc. ACM Softw. Eng.
|
| 2025 | J | jnl |
Proc. ACM Softw. Eng.
|
| 2025 | C | conf |
ICTAC
|
| 2025 | — | conf |
Internetware
|
| 2025 | A* | conf |
ASE
|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2025 | — | ed. |
Internetware
|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2025 | J | jnl |
Proc. ACM Program. Lang.
|
| 2024 | A* | conf |
ASE
|
| 2024 | A* | conf |
ASE
|
| 2024 | A* | conf |
ICSE
|
| 2024 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2024 | A* | conf |
ICSE
|
| 2024 | A | conf |
ISSTA
|
| 2024 | A* | conf |
ASE
|
| 2024 | J | jnl |
Frontiers Comput. Sci.
|
| 2024 | A | conf |
ICSME
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Proc. ACM Program. Lang.
|
| 2024 | J | jnl |
Autom. Softw. Eng.
|
| 2024 | A* | conf |
ASE
|
| 2024 | A | conf |
ICSME
|
| 2024 | A* | conf |
ASE
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
CAV (3)
|
| 2024 | A | conf |
ISSTA
|
| 2024 | J | jnl |
Proc. ACM Program. Lang.
|
| 2023 | J | jnl |
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software.
CoRR
|
| 2023 | — | conf |
ESEC/SIGSOFT FSE
|
| 2023 | A | conf |
ISSTA
|
| 2023 | J | jnl |
IEEE Internet Things J.
|
| 2023 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2023 | — | ed. |
Internetware
|
| 2023 | — | conf |
ICSE Companion
|
| 2023 | A | conf |
ISSTA
|
| 2022 | J | jnl |
IEEE Trans. Software Eng.
|
| 2022 | — | conf |
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).
TACAS (2)
|
| 2022 | — | conf |
Internetware
|
| 2022 | A | conf |
ISSTA
|
| 2022 | A | conf |
ICST
|
| 2022 | — | conf |
Internetware
|
| 2022 | J | jnl |
IEEE Trans. Software Eng.
|
| 2022 | — | conf |
Internetware
|
| 2022 | J | jnl |
Softw. Syst. Model.
|
| 2022 | B | conf |
VMCAI
|
| 2022 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2022 | A* | conf |
ASE
|
| 2022 | J | jnl |
Connect. Sci.
|
| 2022 | — | conf |
HSCC
|
| 2022 | Misc | conf |
ICASSP
|
| 2021 | A | ed. |
ISSRE
|
| 2021 | — | conf |
HSCC
|
| 2021 | A* | conf |
PLDI
|
| 2021 | B | conf |
FM
|
| 2021 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2021 | A | conf |
ISSTA
|
| 2021 | A* | conf |
PLDI
|
| 2021 | J | jnl |
Formal Aspects Comput.
|
| 2021 | J | jnl |
Int. J. Softw. Informatics
|
| 2021 | A* | conf |
DAC
|
| 2021 | — | conf |
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.
HSCC
|
| 2021 | A* | conf |
ICML
|
| 2021 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2021 | J | jnl |
J. Comput. Sci. Technol.
|
| 2020 | — | conf |
CAV (1)
|
| 2020 | A | conf |
DATE
|
| 2020 | J | jnl |
J. Comput. Sci. Technol.
|
| 2020 | A | conf |
ICPC
|
| 2020 | J | jnl |
J. Syst. Softw.
|
| 2020 | J | jnl |
J. Syst. Softw.
|
| 2020 | J | jnl |
J. Comput. Sci. Technol.
|
| 2020 | A | conf |
ISSTA
|
| 2020 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2020 | J | jnl |
ACM Trans. Comput. Syst.
|
| 2019 | J | jnl |
J. Comput. Sci. Technol.
|
| 2019 | A | conf |
IPDPS
|
| 2019 | A* | conf |
ICSE
|
| 2019 | — | conf |
ICSE (Companion Volume)
|
| 2019 | — | conf |
SETSS
|
| 2019 | — | conf |
ICSE (Companion Volume)
|
| 2019 | A* | conf |
ICSE
|
| 2019 | A | conf |
EuroSys
|
| 2019 | A | conf |
DATE
|
| 2019 | — | conf |
ESEC/SIGSOFT FSE
|
| 2019 | J | jnl |
计算机科学
|
| 2018 | J | jnl |
Inf. Softw. Technol.
|
| 2018 | C | conf |
QRS
|
| 2018 | — | conf |
Internetware
|
| 2018 | — | conf |
ICSE (Companion Volume)
|
| 2018 | — | ch. |
Symposium on Real-Time and Hybrid Systems
|
| 2018 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2018 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2018 | — | conf |
MoDELS (Companion)
|
| 2018 | J | jnl |
ACM Trans. Cyber Phys. Syst.
|
| 2018 | A | conf |
ICST
|
| 2018 | — | conf |
Internetware
|
| 2017 | A | conf |
ICST
|
| 2017 | A | conf |
ISSTA
|
| 2017 | J | jnl |
IEEE Trans. Computers
|
| 2017 | J | jnl |
Formal Aspects Comput.
|
| 2017 | J | jnl |
J. Comput. Sci. Technol.
|
| 2017 | J | jnl |
ACM Trans. Embed. Comput. Syst.
|
| 2017 | A* | conf |
ASE
|
| 2017 | J | jnl |
IEEE Trans. Software Eng.
|
| 2017 | A* | conf |
IJCAI
|
| 2016 | J | jnl |
J. Comput. Sci. Technol.
|
| 2016 | — | conf |
Internetware
|
| 2016 | A | conf |
ICST
|
| 2016 | A* | conf |
ASE
|
| 2016 | — | conf |
Internetware
|
| 2016 | J | jnl |
Int. J. Softw. Informatics
|
| 2016 | A* | conf |
IJCAI
|
| 2016 | C | conf |
QRS
|
| 2016 | — | ed. |
Internetware
|
| 2016 | A* | conf |
ASE
|
| 2015 | J | jnl |
Softw. Qual. J.
|
| 2015 | Misc | conf |
TASE
|
| 2015 | — | conf |
Internetware
|
| 2015 | — | conf |
UIC/ATC/ScalCom
|
| 2015 | Misc | ed. |
SETTA
|
| 2015 | — | conf |
Internetware
|
| 2015 | J | jnl |
ACM Trans. Design Autom. Electr. Syst.
|
| 2015 | C | conf |
QRS
|
| 2015 | A | conf |
RTAS
|
| 2015 | — | conf |
Internetware
|
| 2014 | C | conf |
SEKE
|
| 2014 | A | conf |
RTSS
|
| 2014 | J | jnl |
Formal Methods Syst. Des.
|
| 2013 | C | conf |
MobiQuitous
|
| 2013 | J | jnl |
Des. Autom. Embed. Syst.
|
| 2013 | J | jnl |
CoRR
|
| 2013 | — | conf |
ASP-DAC
|
| 2013 | C | conf |
ICTAC
|
| 2013 | — | conf |
Internetware
|
| 2013 | A | conf |
OOPSLA
|
| 2013 | J | jnl |
Int. J. Softw. Eng. Knowl. Eng.
|
| 2013 | J | jnl |
IET Softw.
|
| 2012 | — | conf |
ICCPS
|
| 2012 | — | conf |
Internetware
|
| 2012 | B | conf |
FMCAD
|
| 2012 | J | jnl |
Sci. China Inf. Sci.
|
| 2012 | — | conf |
SERE (Companion)
|
| 2012 | — | conf |
ICCPS
|
| 2012 | C | conf |
APSEC
|
| 2012 | — | conf |
APSEC Workshops
|
| 2012 | Misc | conf |
TASE
|
| 2012 | — | conf |
ICSM
|
| 2012 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2012 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2012 | C | conf |
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer.
SEKE
|
| 2011 | — | conf |
SSIRI (Companion)
|
| 2011 | — | conf |
SSIRI (Companion)
|
| 2011 | — | conf |
SSIRI (Companion)
|
| 2011 | — | conf |
Haifa Verification Conference
|
| 2011 | J | jnl |
CoRR
|
| 2011 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2011 | A* | conf |
ASE
|
| 2011 | J | jnl |
SIGBED Rev.
|
| 2011 | J | jnl |
IET Softw.
|
| 2010 | A | conf |
DATE
|
| 2010 | — | conf |
IWMSE@ICSE
|
| 2010 | — | conf |
SIGAda
|
| 2010 | B | conf |
ICECCS
|
| 2010 | — | conf |
FMOODS/FORTE
|
| 2010 | — | conf |
ISoLA (1)
|
| 2010 | B | conf |
VMCAI
|
| 2010 | A | conf |
ISSTA
|
| 2010 | J | jnl |
Int. J. Softw. Informatics
|
| 2010 | — | ed. |
Internetware
|
| 2010 | J | jnl |
Sci. Comput. Program.
|
| 2010 | J | jnl |
CoRR
|
| 2010 | — | conf |
Internetware
|
| 2009 | C | conf |
HPCC
|
| 2009 | — | conf |
PLATE@AOSD
|
| 2009 | A | conf |
ICPC
|
| 2009 | Misc | conf |
SAC
|
| 2009 | J | jnl |
CoRR
|
| 2009 | A* | conf |
CAV
|
| 2009 | J | jnl |
Comput. J.
|
| 2008 | C | conf |
ISoLA
|
| 2008 | — | conf |
IWMSE@ICSE
|
| 2008 | J | jnl |
Innov. Syst. Softw. Eng.
|
| 2008 | B | conf |
FMCAD
|
| 2008 | — | conf |
FACS
|
| 2008 | A | conf |
ICST
|
| 2008 | Misc | conf |
SAC
|
| 2007 | J | jnl |
Inf. Syst. Frontiers
|
| 2007 | — | conf |
ECMDA-FA
|
| 2006 | B | conf |
EDOC
|
| 2006 | — | conf |
AST@ICSE
|
| 2006 | C | conf |
ISoLA
|
| 2006 | — | conf |
EUC Workshops
|
| 2006 | J | jnl |
J. Comput. Sci. Technol.
|
| 2006 | Misc | conf |
Ada-Europe
|
| 2006 | C | conf |
ICFEM
|
| 2006 | C | conf |
FORTE
|
| 2006 | — | conf |
SET
|
| 2006 | — | conf |
BMC@FLoC
|
| 2005 | J | jnl |
Inf. Process. Lett.
|
| 2005 | C | conf |
EUC
|
| 2005 | A | conf |
IPDPS
|
| 2005 | — | conf |
SDL Forum
|
| 2005 | — | conf |
FACS
|
| 2005 | — | conf |
ICPP Workshops
|
| 2004 | J | jnl |
Formal Aspects Comput.
|
| 2004 | C | conf |
APSEC
|
| 2004 | C | conf |
ISORC
|
| 2003 | — | conf |
FORMATS
|
| 2002 | J | jnl |
J. Comput. Sci. Technol.
|
| 2002 | — | conf |
FTRTFT
|
| 2002 | J | jnl |
J. Log. Algebraic Methods Program.
|
| 2001 | — | conf |
CHARME
|
| 2001 | J | jnl |
Inf. Process. Lett.
|
| 2001 | J | jnl |
Nord. J. Comput.
|
| 2001 | — | conf |
UML
|
| 2001 | J | jnl |
J. Comput. Sci. Technol.
|
| 2000 | C | conf |
APSEC
|
| 1999 | — | conf |
PNPM
|
| 1999 | — | conf |
UML
|
| 1998 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1998 | — | conf |
HSCC
|
| 1997 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 1997 | — | conf |
ASIAN
|
| 1997 | — | conf |
OOIS
|
| 1996 | C | conf |
APSEC
|
| 1996 | — | conf |
ASIAN
|