Cited By
View all- Ubys LNicolas Vancea VKulik TGorm Larsen PBoudjadar JAranha D(2022)Formal Model In-The-Loop for Secure Industrial Control NetworksFormal Aspects of Component Software10.1007/978-3-031-20872-0_5(74-89)Online publication date: 2-Nov-2022
- Shimari KIshio TKanda TIshida NInoue K(2021)NOD4J: Near-Omniscient Debugging Tool for Java Using Size-Limited Execution TraceScience of Computer Programming10.1016/j.scico.2021.102630(102630)Online publication date: Feb-2021
- Freire ASampaio ACarvalho LMedeiros OMendonça N(2021)Migrating production monolithic systems to microservices using aspect oriented programmingSoftware: Practice and Experience10.1002/spe.295651:6(1280-1307)Online publication date: 2-Mar-2021
- Show More Cited By