2025
(3)
2024
(34)
IEEE Access, 12: 145400–145416. 2024.
J. Syst. Softw., 212: 112015. 2024.
In Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, EASE 2024, Salerno, Italy, June 18-21, 2024, pages 357–362, 2024. ACM
In Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, EASE 2024, Salerno, Italy, June 18-21, 2024, pages 590–594, 2024. ACM
In Galster, M.; Scandurra, P.; Mikkonen, T.; Antonino, P. O.; Nakagawa, E. Y.; and Navarro, E., editor(s), Software Architecture - 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings, volume 14889, of Lecture Notes in Computer Science, pages 396–415, 2024. Springer
In Franch, X.; Daneva, M.; Martínez-Fernández, S.; and Quaranta, L., editor(s), Proceedings of the 18th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2024, Barcelona, Spain, October 24-25, 2024, pages 314–324, 2024. ACM
CoRR, abs/2402.12010. 2024.
CoRR, abs/2409.18664. 2024.
Simul. Model. Pract. Theory, 133: 102912. 2024.
In Barolli, L., editor(s), Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 5, volume 203, of Lecture Notes on Data Engineering and Communications Technologies, pages 151–160, 2024. Springer
In 19th European Dependable Computing Conference, EDCC 2024, Leuven, Belgium, April 8-11, 2024, pages 169–172, 2024. IEEE
In 29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024, Padova, Italy, September 10-13, 2024, pages 1–8, 2024. IEEE
In 35th IEEE International Symposium on Software Reliability Engineering, ISSRE 2024 - Workshops, Tsukuba, Japan, October 28-31, 2024, pages 402–409, 2024. IEEE
In 35th IEEE International Symposium on Software Reliability Engineering, ISSRE 2024, Tsukuba, Japan, October 28-31, 2024, pages 593–604, 2024. IEEE
In Hillston, J.; Soudjani, S.; and Waga, M., editor(s), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996, of Lecture Notes in Computer Science, pages 90–106, 2024. Springer
In Hillston, J.; Soudjani, S.; and Waga, M., editor(s), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996, of Lecture Notes in Computer Science, pages 213–232, 2024. Springer
CoRR, abs/2406.16447. 2024.
of Springer Briefs in Computer ScienceSpringer, 2024.
Comput. Networks, 253: 110749. 2024.
IEEE Internet Things J., 11(6): 10095–10103. 2024.
J. Commun. Networks, 26(2): 215–224. 2024.
IEEE Trans. Netw. Serv. Manag., 21(2): 1958–1968. 2024.
In IEEE International Workshop on Metrology for Industry 4.0 and IoT, MetroInd4.0 \& IoT 2024, Firenze, Italy, May 29-31, 2024, pages 372–376, 2024. IEEE
In IEEE International Mediterranean Conference on Communications and Networking, MeditCom 2024, Madrid, Spain, July 8-11, 2024, pages 323–328, 2024. IEEE
CoRR, abs/2405.07605. 2024.
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V, volume 15223, of Lecture Notes in Computer Science, pages 190–207, 2024. Springer
In Ceccarelli, A.; Trapp, M.; Bondavalli, A.; Schoitsch, E.; Gallina, B.; and Bitsch, F., editor(s), Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings, volume 14989, of Lecture Notes in Computer Science, pages 438–445, 2024. Springer
ERCIM News, 2024(137). 2024.
J. Log. Algebraic Methods Program., 138: 100954. 2024.
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V, volume 15223, of Lecture Notes in Computer Science, pages 109–111, 2024. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V, volume 15223, of Lecture Notes in Computer Science, pages 127–141, 2024. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I, volume 15219, of Lecture Notes in Computer Science, pages 186–203, 2024. Springer
In Méndez, D.; and Moreira, A., editor(s), Requirements Engineering: Foundation for Software Quality - 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings, volume 14588, of Lecture Notes in Computer Science, pages 178–188, 2024. Springer
2023
(27)
Inf. Softw. Technol., 164: 107329. 2023.
IEEE Trans. Educ., 66(3): 234–243. 2023.
WIREs Data. Mining. Knowl. Discov., 13(4). 2023.
In Tekinerdogan, B.; Spalazzese, R.; Sözer, H.; Bonfanti, S.; and Weyns, D., editor(s), Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium - Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers, volume 14590, of Lecture Notes in Computer Science, pages 217–236, 2023. Springer
In Tekinerdogan, B.; Spalazzese, R.; Sözer, H.; Bonfanti, S.; and Weyns, D., editor(s), Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium - Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers, volume 14590, of Lecture Notes in Computer Science, pages 287–306, 2023. Springer
In ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2023, New Orleans, LA, USA, October 26-27, 2023, pages 1–12, 2023. IEEE
In 20th International Conference on Software Architecture, ICSA 2023 - Companion, L'Aquila, Italy, March 13-17, 2023, pages 1–7, 2023. IEEE
CoRR, abs/2301.11047. 2023.
CoRR, abs/2307.11387. 2023.
J. Sens. Actuator Networks, 12(4): 58. 2023.
IEEE Trans. Netw. Sci. Eng., 10(6): 3232–3241. 2023.
ACM Trans. Model. Comput. Simul., 33(4): 16:1–16:26. 2023.
In Iacono, M.; Scarpa, M.; Barbierato, E.; Serrano, S.; Cerotti, D.; and Longo, F., editor(s), Computer Performance Engineering and Stochastic Modelling - 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings, volume 14231, of Lecture Notes in Computer Science, pages 201–215, 2023. Springer
In Iacono, M.; Scarpa, M.; Barbierato, E.; Serrano, S.; Cerotti, D.; and Longo, F., editor(s), Computer Performance Engineering and Stochastic Modelling - 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings, volume 14231, of Lecture Notes in Computer Science, pages 309–324, 2023. Springer
In Jansen, N.; and Tribastone, M., editor(s), Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, volume 14287, of Lecture Notes in Computer Science, pages 172–187, 2023. Springer
European Council for Modeling and Simulation. 2023.
IEEE Access, 11: 107–117. 2023.
Comput., 12(3): 62. 2023.
ACM Trans. Internet Things, 4(2): 12:1–12:20. 2023.
In IEEE Globecom Workshops 2023, Kuala Lumpur, Malaysia, December 4-8, 2023, pages 1093–1098, 2023. IEEE
Formal Aspects Comput., 35(1): 4:1–4:46. 2023.
J. Syst. Softw., 195: 111540. 2023.
In Haxthausen, A. E.; Huang, W.; and Roggenbach, M., editor(s), Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, volume 14165, of Lecture Notes in Computer Science, pages 96–113, 2023. Springer
In Cimatti, A.; and Titolo, L., editor(s), Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, volume 14290, of Lecture Notes in Computer Science, pages 22–39, 2023. Springer
In Schneider, K.; Dalpiaz, F.; and Horkoff, J., editor(s), 31st IEEE International Requirements Engineering Conference, RE 2023, Hannover, Germany, September 4-8, 2023, pages 335–340, 2023. IEEE
In Ferrari, A.; Penzenstadler, B.; Hadar, I.; Oyedeji, S.; Abualhaija, S.; Vogelsang, A.; Deshpande, G.; Rachmann, A.; Gulden, J.; Wohlgemuth, A.; Hess, A.; Fricker, S.; Guizzardi, R. S. S.; Horkoff, J.; Perini, A.; Susi, A.; Karras, O.; Dalpiaz, F.; Moreira, A.; Amyot, D.; and Spoletini, P., editor(s), Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters \& Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023, volume 3378, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
In Milius, B.; Dutilleul, S. C.; and Lecomte, T., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, volume 14198, of Lecture Notes in Computer Science, pages 146–164, 2023. Springer
2022
(28)
Empir. Softw. Eng., 27(6): 125. 2022.
PeerJ Comput. Sci., 8: e833. 2022.
Sustain. Comput. Informatics Syst., 35: 100767. 2022.
In IEEE/ACM International Conference on Automation of Software Test, AST@ICSE 2022, Pittsburgh, PA, USA, May 21-22, 2022, pages 87–91, 2022. ACM/IEEE
In Madeiral, F.; Lassenius, C.; Conte, T.; and Männistö, T., editor(s), ESEM '22: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, Helsinki, Finland, September 19 - 23, 2022, pages 45–56, 2022. ACM
In International Conference on ICT for Sustainability, ICT4S 2022, Plovdiv, Bulgaria, June 13-17, 2022, pages 35–45, 2022. IEEE
In International Conference on ICT for Sustainability, ICT4S 2022, Plovdiv, Bulgaria, June 13-17, 2022, pages 77–87, 2022. IEEE
In 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MobileSoft@ICSE 2022, Pittsburgh, PA, USA, May 17-18, 2022, pages 6–16, 2022. IEEE
CoRR, abs/2204.02766. 2022.
Sensors, 22(9): 3401. 2022.
Sensors, 22(12): 4491. 2022.
SIGMETRICS Perform. Evaluation Rev., 49(4): 81–86. 2022.
IEEE Trans. Software Eng., 48(12): 4762–4788. 2022.
In Saeed, K.; and Dvorský, J., editor(s), Computer Information Systems and Industrial Management - 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15-17, 2022, Proceedings, volume 13293, of Lecture Notes in Computer Science, pages 3–17, 2022. Springer
In Gilly, K.; and Thomas, N., editor(s), Computer Performance Engineering - 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings, volume 13659, of Lecture Notes in Computer Science, pages 200–215, 2022. Springer
In IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022, pages 138–145, 2022. IEEE
In Ábrahám, E.; and Paolieri, M., editor(s), Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings, volume 13479, of Lecture Notes in Computer Science, pages 255–272, 2022. Springer
Comput. Networks, 214: 109152. 2022.
J. Commun. Inf. Networks, 7(4): 375–382. 2022.
In IEEE International Instrumentation and Measurement Technology Conference, I2MTC 2022, Ottawa, ON, Canada, May 16-19, 2022, pages 1–6, 2022. IEEE
In 6th International Conference on System Reliability and Safety, ICSRS 2022, Venice, Italy, November 23-25, 2022, pages 110–119, 2022. IEEE
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV, volume 13704, of Lecture Notes in Computer Science, pages 243–245, 2022. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV, volume 13704, of Lecture Notes in Computer Science, pages 269–285, 2022. Springer
In IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022, pages 162–169, 2022. IEEE
In Dutilleul, S. C.; Haxthausen, A. E.; and Lecomte, T., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, volume 13294, of Lecture Notes in Computer Science, pages 3–19, 2022. Springer
In Dutilleul, S. C.; Haxthausen, A. E.; and Lecomte, T., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, volume 13294, of Lecture Notes in Computer Science, pages 192–208, 2022. Springer
ACM. 2022.
CoRR, abs/2208.12111. 2022.
2021
(27)
IEEE Access, 9: 76119–76134. 2021.
J. Internet Serv. Appl., 12(1): 3. 2021.
J. Syst. Softw., 176: 110925. 2021.
IEEE Softw., 38(6): 7–15. 2021.
In Heinrich, R.; Mirandola, R.; and Weyns, D., editor(s), ECSA 2021 Companion Volume, Virtual (originally: Växjö, Sweden), 13-17 September, 2021, volume 2978, of CEUR Workshop Proceedings, 2021. CEUR-WS.org
In Heinrich, R.; Mirandola, R.; and Weyns, D., editor(s), ECSA 2021 Companion Volume, Virtual (originally: Växjö, Sweden), 13-17 September, 2021, volume 2978, of CEUR Workshop Proceedings, 2021. CEUR-WS.org
In 4th IEEE/ACM International Conference on Technical Debt, TechDebt@ICSE 2021, Madrid, Spain, May 19-21, 2021, pages 64–73, 2021. IEEE
CoRR, abs/2103.09783. 2021.
Computing, 103(4): 589–612. 2021.
IEEE Trans. Reliab., 70(1): 82–98. 2021.
IEEE Trans. Software Eng., 47(6): 1211–1225. 2021.
In 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021, pages 25–32, 2021. IEEE
In IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021, pages 25–32, 2021. IEEE
In Abate, A.; and Marin, A., editor(s), Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings, volume 12846, of Lecture Notes in Computer Science, pages 83–104, 2021. Springer
In Bourcier, J.; Jiang, Z. M. (.; Bezemer, C.; Cortellessa, V.; Pompeo, D. D.; and Varbanescu, A. L., editor(s), ICPE '21: ACM/SPEC International Conference on Performance Engineering, Virtual Event, France, April 19-21, 2021, pages 177–188, 2021. ACM
IEEE Access, 9: 147549–147558. 2021.
IEEE Internet Things J., 8(23): 17090–17099. 2021.
IEEE Netw., 35(5): 28–33. 2021.
IEEE Trans. Instrum. Meas., 70: 1–11. 2021.
IEEE/ACM Trans. Netw., 29(6): 2834–2842. 2021.
IEEE Trans. Veh. Technol., 70(4): 3677–3684. 2021.
IEEE Trans. Veh. Technol., 70(8): 8216–8226. 2021.
Formal Aspects Comput., 33(6): 923–924. 2021.
Formal Aspects Comput., 33(6): 957–987. 2021.
In Raschke, A.; Riccobene, E.; and Schewe, K., editor(s), Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, volume 12750, of Lecture Notes in Computer Science, pages 121–134, 2021. Springer
In Lluch-Lafuente, A.; and Mavridou, A., editor(s), Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, volume 12863, of Lecture Notes in Computer Science, pages 174–190, 2021. Springer
In Mousavi, M. R.; and Schobbens, P., editor(s), SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B, pages 32–35, 2021. ACM
2020
(22)
In Jansen, A.; Malavolta, I.; Muccini, H.; Ozkaya, I.; and Zimmermann, O., editor(s), Software Architecture - 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings, volume 12292, of Lecture Notes in Computer Science, pages 202–219, 2020. Springer
In Ali, R.; Kaindl, H.; and Maciaszek, L. A., editor(s), Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, pages 531–539, 2020. SCITEPRESS
In Kim, S.; Gousios, G.; Nadi, S.; and Hejderup, J., editor(s), MSR '20: 17th International Conference on Mining Software Repositories, Seoul, Republic of Korea, 29-30 June, 2020, pages 578–582, 2020. ACM
CoRR, abs/2011.06244. 2020.
Innov. Syst. Softw. Eng., 16(2): 215–230. 2020.
Sensors, 20(9): 2702. 2020.
IEEE Trans. Syst. Man Cybern. Syst., 50(5): 1704–1720. 2020.
CAAI Trans. Intell. Technol., 5(1): 15–21. 2020.
Trans. Emerg. Telecommun. Technol., 31(2). 2020.
Sensors, 20(18): 5347. 2020.
Sensors, 20(22): 6475. 2020.
IEEE Trans. Ind. Informatics, 16(11): 7046–7055. 2020.
IEEE Trans. Veh. Technol., 69(3): 3179–3189. 2020.
IEEE Trans. Veh. Technol., 69(10): 12004–12014. 2020.
In International Conference on Computing, Networking and Communications, ICNC 2020, Big Island, HI, USA, February 17-20, 2020, pages 785–790, 2020. IEEE
In Rothermel, G.; and Bae, D., editor(s), ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, pages 62–74, 2020. ACM
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, volume 12476, of Lecture Notes in Computer Science, pages 368–384, 2020. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, volume 12478, of Lecture Notes in Computer Science, pages 389–392, 2020. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, volume 12478, of Lecture Notes in Computer Science, pages 467–485, 2020. Springer
In Shepperd, M. J.; e Abreu, F. B.; da Silva, A. R.; and Pérez-Castillo, R., editor(s), Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings, volume 1266, of Communications in Computer and Information Science, pages 488–498, 2020. Springer
In Sabetzadeh, M.; Vogelsang, A.; Abualhaija, S.; Borg, M.; Dalpiaz, F.; Daneva, M.; Condori-Fernández, N.; Franch, X.; Fucci, D.; Gervasi, V.; Groen, E. C.; Guizzardi, R. S. S.; Herrmann, A.; Horkoff, J.; Mich, L.; Perini, A.; and Susi, A., editor(s), Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020), Pisa, Italy, March 24, 2020, volume 2584, of CEUR Workshop Proceedings, 2020. CEUR-WS.org
In Jarzabek, S.; Poniszewska-Maranda, A.; and Madeyski, L., editor(s), Integrating Research and Practice in Software Engineering, volume 851, of Studies in Computational Intelligence, pages 125–143. Springer, 2020.
2019
(34)
In Bui, T., editor(s), 52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019, pages 1–10, 2019. ScholarSpace
In IEEE International Conference on Software Architecture, ICSA 2019, Hamburg, Germany, March 25-29, 2019, pages 141–150, 2019. IEEE
In IEEE International Conference on Software Architecture Companion, ICSA Companion 2019, Hamburg, Germany, March 25-26, 2019, pages 153–157, 2019. IEEE
In Atlee, J. M.; Bultan, T.; and Whittle, J., editor(s), Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pages 419–429, 2019. IEEE / ACM
˘rlhttps://doi.org/10.5281/zenodo.2558714, February 2019.
˘rlhttps://doi.org/10.5281/zenodo.2560702, February 2019.
˘rlhttps://doi.org/10.5281/zenodo.2878368, May 2019.
˘rlhttps://doi.org/10.5281/zenodo.3711509, May 2019.
˘rlhttps://doi.org/10.5281/zenodo.2550079, January 2019.
ACM Trans. Cyber Phys. Syst., 3(2): 19:1–19:26. 2019.
IEEE Trans. Hum. Mach. Syst., 49(4): 293–303. 2019.
In Wolter, K.; Schieferdecker, I.; Gallina, B.; Cukier, M.; Natella, R.; Ivaki, N. R.; and Laranjeiro, N., editor(s), 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019, pages 195–205, 2019. IEEE
In Calinescu, R.; and Giandomenico, F. D., editor(s), Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings, volume 11732, of Lecture Notes in Computer Science, pages 85–93, 2019. Springer
In Flammini, F., editor(s), Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction, pages 177–194. Springer, 2019.
ERCIM News, 2019(118). 2019.
IEEE Trans. Netw. Serv. Manag., 16(3): 980–989. 2019.
IEEE Trans. Veh. Technol., 68(6): 5893–5903. 2019.
IEEE Trans. Veh. Technol., 68(9): 8533–8545. 2019.
In 2019 IEEE Global Communications Conference, GLOBECOM 2019, Waikoloa, HI, USA, December 9-13, 2019, pages 1–6, 2019. IEEE
In 2019 IEEE International Conference on Communications, ICC 2019, Shanghai, China, May 20-24, 2019, pages 1–6, 2019. IEEE
In 2019 IEEE Wireless Communications and Networking Conference, WCNC 2019, Marrakesh, Morocco, April 15-18, 2019, pages 1–6, 2019. IEEE
In 5th IEEE International forum on Research and Technology for Society and Industry, RTSI 2019, Florence, Italy, September 9-12, 2019, pages 291–295, 2019. IEEE
In ter Beek, M. H.; Fantechi, A.; and Semini, L., editor(s), From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, volume 11865, of Lecture Notes in Computer Science, pages 1–11, 2019. Springer
In Boreale, M.; Corradini, F.; Loreti, M.; and Pugliese, R., editor(s), Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, volume 11665, of Lecture Notes in Computer Science, pages 278–297, 2019. Springer
In ter Beek, M. H.; McIver, A.; and Oliveira, J. N., editor(s), Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, volume 11800, of Lecture Notes in Computer Science, pages 762–772, 2019. Springer
In Spoletini, P.; Mäder, P.; Berry, D. M.; Dalpiaz, F.; Daneva, M.; Ferrari, A.; Franch, X.; Gregory, S.; Groen, E. C.; Herrmann, A.; Hess, A.; Houdek, F.; Karras, O.; Koziolek, A.; Lauenroth, K.; Palomares, C.; Sabetzadeh, M.; Seyff, N.; Trapp, M.; Vogelsang, A.; and Weyer, T., editor(s), Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, Germany, March 18th, 2019, volume 2376, of CEUR Workshop Proceedings, 2019. CEUR-WS.org
In Dutilleul, S. C.; Lecomte, T.; and Romanovsky, A. B., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495, of Lecture Notes in Computer Science, pages 3–19, 2019. Springer
In Dutilleul, S. C.; Lecomte, T.; and Romanovsky, A. B., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495, of Lecture Notes in Computer Science, pages 41–58, 2019. Springer
In Dutilleul, S. C.; Lecomte, T.; and Romanovsky, A. B., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495, of Lecture Notes in Computer Science, pages 226–241, 2019. Springer
In Romanovsky, A. B.; Troubitsyna, E.; Gashi, I.; Schoitsch, E.; and Bitsch, F., editor(s), Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, volume 11699, of Lecture Notes in Computer Science, pages 185–197, 2019. Springer
In Cetina, C.; Díaz, O.; Duchien, L.; Huchard, M.; Rabiser, R.; Salinesi, C.; Seidl, C.; Tërnava, X.; Teixeira, L.; Thüm, T.; and Ziadi, T., editor(s), Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019, pages 62:1–62:4, 2019. ACM
Volume 11865, of Lecture Notes in Computer Science.Springer. 2019.
ERCIM News, 2019(117). 2019.
In 2019 IEEE SmartWorld, Ubiquitous Intelligence \& Computing, Advanced \& Trusted Computing, Scalable Computing \& Communications, Cloud \& Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019, pages 1529–1536, 2019. IEEE
2018
(30)
In 2018 IEEE International Conference on Software Architecture Companion, ICSA Companion 2018, Seattle, WA, USA, April 30 - May 4, 2018, pages 43–44, 2018. IEEE Computer Society
In Nord, R. L.; Buschmann, F.; and Kruchten, P., editor(s), Proceedings of the 2018 International Conference on Technical Debt, TechDebt@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018, pages 11–20, 2018. ACM
In Julien, C.; Lewis, G. A.; and Segall, I., editor(s), Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27 - 28, 2018, pages 35–36, 2018. ACM
In Chaudron, M.; Crnkovic, I.; Chechik, M.; and Harman, M., editor(s), Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pages 222–232, 2018. ACM
In 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018, Madrid, Spain, September 23-29, 2018, pages 334–344, 2018. IEEE Computer Society
In Penzenstadler, B.; Easterbrook, S.; Venters, C. C.; and Ahmed, S. I., editor(s), 5th International Conference on Information and Communication Technology for Sustainability, ICT4S 2018, Toronto, Canada, May 14-18, 2018, volume 52, of EPiC Series in Computing, pages 365–383, 2018. EasyChair
In Bungartz, H.; Kranzlmüller, D.; Weinberg, V.; Weismüller, J.; and Wohlgemuth, V., editor(s), Advances and New Trends in Environmental Informatics - Managing Disruption, Big Data and Open Science, pages 111–130. Springer, 2018.
˘rlhttps://doi.org/10.5281/zenodo.1208196, March 2018.
In Bakhshi, R.; Ballarini, P.; Barbot, B.; Castel-Taleb, H.; and Remke, A., editor(s), Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings, volume 11178, of Lecture Notes in Computer Science, pages 62–77, 2018. Springer
In 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Torino, Italy, September 4-7, 2018, pages 456–463, 2018. IEEE
In McIver, A.; and Horváth, A., editor(s), Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, volume 11024, of Lecture Notes in Computer Science, pages 87–103, 2018. Springer
In Atig, M. F.; Bensalem, S.; Bliudze, S.; and Monsuez, B., editor(s), Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, volume 11181, of Lecture Notes in Computer Science, pages 185–199, 2018. Springer
Volume 825, of Communications in Computer and Information Science.Springer. 2018.
ERCIM News, 2018(115). 2018.
IEEE Internet Things J., 5(6): 5089–5096. 2018.
In Pancioni, L.; Schwenker, F.; and Trentin, E., editor(s), Artificial Neural Networks in Pattern Recognition - 8th IAPR TC3 Workshop, ANNPR 2018, Siena, Italy, September 19-21, 2018, Proceedings, volume 11081, of Lecture Notes in Computer Science, pages 395–406, 2018. Springer
In Bakhshi, R.; Ballarini, P.; Barbot, B.; Castel-Taleb, H.; and Remke, A., editor(s), Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings, volume 11178, of Lecture Notes in Computer Science, pages 157–172, 2018. Springer
Empir. Softw. Eng., 23(6): 3684–3733. 2018.
In Margaria, T.; Graf, S.; and Larsen, K. G., editor(s), Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, volume 11200, of Lecture Notes in Computer Science, pages 110–128, 2018. Springer
In Howar, F.; and Barnat, J., editor(s), Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, volume 11119, of Lecture Notes in Computer Science, pages 52–66, 2018. Springer
In Furia, C. A.; and Winter, K., editor(s), Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, volume 11023, of Lecture Notes in Computer Science, pages 20–29, 2018. Springer
In Ruhe, G.; Maalej, W.; and Amyot, D., editor(s), 26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018, pages 418–423, 2018. IEEE Computer Society
In Berger, T.; Borba, P.; Botterweck, G.; Männistö, T.; Benavides, D.; Nadi, S.; Kehrer, T.; Rabiser, R.; Elsner, C.; and Mukelabai, M., editor(s), Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018, pages 208–214, 2018. ACM
In Capilla, R.; Lochau, M.; and Fuentes, L., editor(s), Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2018, Madrid, Spain, February 7-9, 2018, pages 43–50, 2018. ACM
ERCIM News, 2018(112). 2018.
Multim. Tools Appl., 77(10): 12203–12232. 2018.
Multim. Tools Appl., 77(20): 26371–26396. 2018.
In Fourth IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2018, Bamberg, Germany, March 26-29, 2018, pages 137–144, 2018. IEEE Computer Society
In 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018, Philadelphia, PA, USA, October 18-20, 2018, pages 388–391, 2018. IEEE Computer Society
In Wang, G.; Han, Q.; Bhuiyan, M. Z. A.; Ma, X.; Loulergue, F.; Li, P.; Roveri, M.; and Chen, L., editor(s), 2018 IEEE SmartWorld, Ubiquitous Intelligence \& Computing, Advanced \& Trusted Computing, Scalable Computing \& Communications, Cloud \& Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018, pages 2109–2116, 2018. IEEE
2017
(17)
In Bener, A.; Turhan, B.; and Biffl, S., editor(s), 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2017, Toronto, ON, Canada, November 9-10, 2017, pages 257–266, 2017. IEEE Computer Society
Real Time Syst., 53(3): 289–290. 2017.
In Reinecke, P.; and Marco, A. D., editor(s), Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings, volume 10497, of Lecture Notes in Computer Science, pages 152–166, 2017. Springer
In Bertrand, N.; and Bortolussi, L., editor(s), Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, volume 10503, of Lecture Notes in Computer Science, pages 20–35, 2017. Springer
In Marin, A.; Houdt, B. V.; Casale, G.; Petriu, D. C.; and Rossi, S., editor(s), Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017, pages 9–11, 2017. ACM
In Binder, W.; Cortellessa, V.; Koziolek, A.; Smirni, E.; and Poess, M., editor(s), Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L'Aquila, Italy, April 22-26, 2017, pages 203–208, 2017. ACM
In 86th IEEE Vehicular Technology Conference, VTC Fall 2017, Toronto, ON, Canada, September 24-27, 2017, pages 1–5, 2017. IEEE
Telecommun. Syst., 66(1): 75–93. 2017.
In Petrucci, L.; Seceleanu, C.; and Cavalcanti, A., editor(s), Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings, volume 10471, of Lecture Notes in Computer Science, pages 201–216, 2017. Springer
In Barrett, C. W.; Davies, M. D.; and Kahsai, T., editor(s), NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, volume 10227, of Lecture Notes in Computer Science, pages 146–162, 2017.
In Kotenko, I. V.; Cotronis, Y.; and Daneshtalab, M., editor(s), 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2017, St. Petersburg, Russia, March 6-8, 2017, pages 278–286, 2017. IEEE Computer Society
In Grünbacher, P.; and Perini, A., editor(s), Requirements Engineering: Foundation for Software Quality - 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings, volume 10153, of Lecture Notes in Computer Science, pages 344–360, 2017. Springer
In Cimatti, A.; and Sirjani, M., editor(s), Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, volume 10469, of Lecture Notes in Computer Science, pages 236–252, 2017. Springer
In ter Beek, M. H.; Siegmund, N.; and Schaefer, I., editor(s), Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands, February 1-3, 2017, pages 13–19, 2017. ACM
Volume 10598, of Lecture Notes in Computer Science.Springer. 2017.
In 2017 IEEE SmartWorld, Ubiquitous Intelligence \& Computing, Advanced \& Trusted Computed, Scalable Computing \& Communications, Cloud \& Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco, CA, USA, August 4-8, 2017, pages 1–8, 2017. IEEE
PeerJ Prepr., 5: e2241. 2017.
2016
(17)
In Wohlgemuth, V.; Fuchs-Kittowski, F.; and Wittmann, J., editor(s), 30th International Conference on Environmental Informatics, EnviroInfo 2016, Berlin, Germany, September 14-16, 2016, Part I: Advances and New Trends in Environmental Informatics - Stability, Continuity, Innovation, pages 37–48, 2016. Springer Switzerland, Cham
IEEE Trans. Software Eng., 42(2): 153–169. 2016.
In Fiems, D.; Paolieri, M.; and Platis, A. N., editor(s), Computer Performance Engineering - 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings, volume 9951, of Lecture Notes in Computer Science, pages 32–47, 2016. Springer
In Fiems, D.; Paolieri, M.; and Platis, A. N., editor(s), Computer Performance Engineering - 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings, volume 9951, of Lecture Notes in Computer Science, pages 174–186, 2016. Springer
In 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, London, United Kingdom, September 19-21, 2016, pages 355–360, 2016. IEEE Computer Society
In Avritzer, A.; Iosup, A.; Zhu, X.; and Becker, S., editor(s), Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering, ICPE 2016, Delft, The Netherlands, March 12-16, 2016, pages 297–308, 2016. ACM
J. Log. Algebraic Methods Program., 85(2): 287–315. 2016.
Sci. Comput. Program., 128: 2–21. 2016.
In ter Beek, M. H.; Gnesi, S.; and Knapp, A., editor(s), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, volume 9933, of Lecture Notes in Computer Science, pages 231–245, 2016. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, volume 9953, of Lecture Notes in Computer Science, pages 261–265, 2016.
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, volume 9953, of Lecture Notes in Computer Science, pages 279–293, 2016.
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, volume 9953, of Lecture Notes in Computer Science, pages 465–481, 2016.
In Calabrò, A.; Lonetti, F.; and Marchetti, E., editor(s), Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016, pages 5–13, 2016. SciTePress
In Hammoudi, S.; Pires, L. F.; Selic, B.; and Desfray, P., editor(s), Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers, volume 692, of Communications in Computer and Information Science, pages 46–69, 2016. Springer
In Petre, L.; and Sekerinski, E., editor(s), From Action Systems to Distributed Systems - The Refinement Approach, pages 155–169. Chapman and Hall/CRC, 2016.
In Tenth IEEE International Conference on Semantic Computing, ICSC 2016, Laguna Hills, CA, USA, February 4-6, 2016, pages 350–353, 2016. IEEE Computer Society
PeerJ Prepr., 4: e2241. 2016.
2015
(10)
Int. J. Crit. Comput. Based Syst., 6(1): 1–28. 2015.
In Beltrán, M.; Knottenbelt, W. J.; and Bradley, J. T., editor(s), Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, volume 9272, of Lecture Notes in Computer Science, pages 47–62, 2015. Springer
In Geissbühler, A.; Demongeot, J.; Mokhtari, M.; Abdulrazak, B.; and Aloulou, H., editor(s), Inclusive Smart Cities and e-Health - 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings, volume 9102, of Lecture Notes in Computer Science, pages 79–91, 2015. Springer
In Campos, J.; and Haverkort, B. R., editor(s), Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, volume 9259, of Lecture Notes in Computer Science, pages 38–53, 2015. Springer
Volume 9268, of Lecture Notes in Computer Science.Springer. 2015.
In Jager, W.; Verbrugge, R.; Flache, A.; de Roo, G.; Hoogduin, L.; and Hemelrijk, C. K., editor(s), Advances in Social Simulation 2015 [Papers from the Conference of the European Social Simulation Association 2015, Groningen, The Netherlands, 14-18 September 2015], volume 528, of Advances in Intelligent Systems and Computing, pages 401–412, 2015. Springer
In Schmidt, D. C., editor(s), Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015, pages 321–326, 2015. ACM
In Schmidt, D. C., editor(s), Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015, pages 432–439, 2015. ACM
Volume 9274, of Lecture Notes in Computer Science.Springer. 2015.
ERCIM News, 2015(103). 2015.
2014
(14)
In 8th International Symposium on Medical Information and Communication Technology, ISMICT 2014, Firenze, Italy, April 2-4, 2014, pages 1–5, 2014. IEEE
In Lovis, C.; Séroussi, B.; Hasman, A.; Pape-Haugaard, L.; Saka, O.; and Andersen, S. K., editor(s), e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31 - September 3, 2014, volume 205, of Studies in Health Technology and Informatics, pages 1238, 2014. IOS Press
In Bondavalli, A.; Ceccarelli, A.; and Ortmeier, F., editor(s), Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings, volume 8696, of Lecture Notes in Computer Science, pages 304–315, 2014. Springer
In Hervás, R.; Lee, S.; Nugent, C. D.; and Bravo, J., editor(s), Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services - 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedings, volume 8867, of Lecture Notes in Computer Science, pages 200–203, 2014. Springer
In Bradley, J. T.; Knottenbelt, W. J.; and Thomas, N., editor(s), Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014, volume 310, of Electronic Notes in Theoretical Computer Science, pages 5–25, 2014. Elsevier
In Norman, G.; and Sanders, W. H., editor(s), Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, volume 8657, of Lecture Notes in Computer Science, pages 345–367, 2014. Springer
In Jan, M.; Hedia, B. B.; Goossens, J.; and Maiza, C., editor(s), 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pages 299, 2014. ACM
Int. J. Softw. Tools Technol. Transf., 16(6): 643–646. 2014.
In Lang, F.; and Flammini, F., editor(s), Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, volume 8718, of Lecture Notes in Computer Science, pages 94–108, 2014. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, volume 8802, of Lecture Notes in Computer Science, pages 351–367, 2014. Springer
In 17th International IEEE Conference on Intelligent Transportation Systems, ITSC 2014, Qingdao, China, October 8-11, 2014, pages 1015–1020, 2014. IEEE
In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014, pages 226–229, 2014. IEEE Computer Society
ACM. 2014.
ACM. 2014.
2013
(21)
Eur. J. Law Technol., 4(2). 2013.
IEEE Trans. Hum. Mach. Syst., 43(6): 509–521. 2013.
IEEE Trans. Ind. Informatics, 9(4): 1806–1818. 2013.
IEEE Trans. Software Eng., 39(3): 292–304. 2013.
IEEE Trans. Software Eng., 39(5): 638–657. 2013.
In Keller, H. B.; Plödereder, E.; Dencker, P.; and Klenk, H., editor(s), Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings, volume 7896, of Lecture Notes in Computer Science, pages 95–108, 2013. Springer
In Balsamo, M. S.; Knottenbelt, W. J.; and Marin, A., editor(s), Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings, volume 8168, of Lecture Notes in Computer Science, pages 176–190, 2013. Springer
In Joshi, K. R.; Siegle, M.; Stoelinga, M.; and D'Argenio, P. R., editor(s), Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, volume 8054, of Lecture Notes in Computer Science, pages 355–371, 2013. Springer
In Horváth, A.; Buchholz, P.; Cortellessa, V.; Muscariello, L.; and Squillante, M. S., editor(s), 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013, pages 145–154, 2013. ICST/ACM
In Seelam, S.; Tuma, P.; Casale, G.; Field, T.; and Amaral, J. N., editor(s), ACM/SPEC International Conference on Performance Engineering, ICPE'13, Prague, Czech Republic - April 21 - 24, 2013, pages 113–124, 2013. ACM
In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings, pages 275–280, 2013. IEEE Computer Society
Int. J. Bus. Inf. Syst., 13(1): 21–44. 2013.
J. Log. Algebraic Methods Program., 82(8): 282–310. 2013.
Sci. Comput. Program., 78(7): 828–842. 2013.
IEEE Softw., 30(3): 28–34. 2013.
In Second International Conference on Future Generation Communication Technologies (FGCT 2013), London, United Kingdom, November 12-14, 2013, pages 120–125, 2013. IEEE
In Counsell, S.; and Nú ̃nez, M., editor(s), Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, volume 8368, of Lecture Notes in Computer Science, pages 167–183, 2013. Springer
In Counsell, S.; and Nú ̃nez, M., editor(s), Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, volume 8368, of Lecture Notes in Computer Science, pages 237–252, 2013. Springer
In Gorbenko, A.; Romanovsky, A. B.; and Kharchenko, V. S., editor(s), Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings, volume 8166, of Lecture Notes in Computer Science, pages 184–198, 2013. Springer
In Kishi, T.; Jarzabek, S.; and Gnesi, S., editor(s), 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013, pages 151–156, 2013. ACM
In Tuosto, E.; and Ouyang, C., editor(s), Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers, volume 8379, of Lecture Notes in Computer Science, pages 106–126, 2013. Springer
2012
(11)
Perform. Evaluation, 69(7-8): 315–335. 2012.
IEEE Softw., 29(1): 76–83. 2012.
In Concas, G.; Canfora, G.; Tempero, E. D.; and Zhang, H., editor(s), Proceedings of the 3rd International Workshop on Emerging Trends in Software Metrics, WETSoM 2012, Zurich, Switzerland, June 3, 2012, pages 35–41, 2012. IEEE Computer Society
In Ortmeier, F.; and Daniel, P., editor(s), Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings, volume 7612, of Lecture Notes in Computer Science, pages 173–184, 2012. Springer
ACM Trans. Softw. Eng. Methodol., 21(3): 16:1–16:46. 2012.
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, volume 7609, of Lecture Notes in Computer Science, pages 146–161, 2012. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, volume 7610, of Lecture Notes in Computer Science, pages 187–189, 2012. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, volume 7610, of Lecture Notes in Computer Science, pages 276–289, 2012. Springer
In Goodloe, A.; and Person, S., editor(s), NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, volume 7226, of Lecture Notes in Computer Science, pages 24–38, 2012. Springer
In Faria, J. P.; da Silva, A. R.; and Machado, R. J., editor(s), 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings, pages 103–107, 2012. IEEE Computer Society
In Silva, J.; and Tiezzi, F., editor(s), Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012, volume 98, of EPTCS, pages 60–76, 2012.
2011
(16)
In Romanovsky, A. B.; and Vardanega, T., editor(s), Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings, volume 6652, of Lecture Notes in Computer Science, pages 118–131, 2011. Springer
In 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI, USA, pages 1–8, 2011. IEEE Computer Society
In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pages 131–140, 2011. IEEE Computer Society
In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pages 153–154, 2011. IEEE Computer Society
In Flammini, F.; Bologna, S.; and Vittorini, V., editor(s), Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, volume 6894, of Lecture Notes in Computer Science, pages 355–368, 2011. Springer
In Flammini, F.; Bologna, S.; and Vittorini, V., editor(s), Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, volume 6894, of Lecture Notes in Computer Science, pages 409–422, 2011. Springer
In Lasaulce, S.; Fiems, D.; Harrison, P. G.; and Vandendorpe, L., editor(s), 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011, pages 111–120, 2011. ICST/ACM
Int. J. Embed. Real Time Commun. Syst., 2(2): 42–61. 2011.
Sci. Comput. Program., 76(2): 63–64. 2011.
Sci. Comput. Program., 76(2): 119–135. 2011.
In Bruni, R.; and Dingel, J., editor(s), Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, volume 6722, of Lecture Notes in Computer Science, pages 44–58, 2011. Springer
In Rubin, J.; Botterweck, G.; Pleuss, A.; and Weiss, D. M., editor(s), Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, PLEASE 2011, Waikiki, Honolulu, HI, USA, May 22-23, 2011, pages 25–30, 2011. ACM
In Rash, J. L.; and Rouff, C. A., editor(s), 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011, pages 122–127, 2011. IEEE Computer Society
In de Almeida, E. S.; Kishi, T.; Schwanninger, C.; John, I.; and Schmid, K., editor(s), Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011, pages 130–139, 2011. IEEE Computer Society
2010
(12)
Int. J. Softw. Tools Technol. Transf., 12(5): 391–403. 2010.
In QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pages 231–240, 2010. IEEE Computer Society
In Proceedings of the 22nd International Conference on Software Engineering \& Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010, pages 54–60, 2010. Knowledge Systems Institute Graduate School
Ph.D. Thesis, University of Florence, Italy, 2010.
In Dhungana, D.; Rabiser, R.; Seyff, N.; and Botterweck, G., editor(s), Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, Antwerp, Belgium, September 20, 2010, volume 688, of CEUR Workshop Proceedings, pages 14–19, 2010. CEUR-WS.org
In Kowalewski, S.; and Roveri, M., editor(s), Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, volume 6371, of Lecture Notes in Computer Science, pages 1–16, 2010. Springer
In Schnieder, E.; and Tarnai, G., editor(s), FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pages 107–115, 2010. Springer
In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pages 103–106, 2010. IEEE Computer Society
In Méry, D.; and Merz, S., editor(s), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, volume 6396, of Lecture Notes in Computer Science, pages 43–58, 2010. Springer
In Shin, S. Y.; Ossowski, S.; Schumacher, M.; Palakal, M. J.; and Hung, C., editor(s), Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pages 281–286, 2010. ACM
In Serugendo, G. D. M.; and Fitzgerald, J. S., editor(s), Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010, pages 71–76, 2010. ACM
In Benavides, D.; Batory, D. S.; and Grünbacher, P., editor(s), Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings, volume 37, of ICB-Research Report, pages 37–44, 2010. Universität Duisburg-Essen
2009
(9)
IEEE Trans. Software Eng., 35(2): 178–194. 2009.
IEEE Trans. Software Eng., 35(5): 703–719. 2009.
In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain, pages 1–8, 2009. IEEE
In QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pages 155–164, 2009. IEEE Computer Society
In Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, RSP 2009, Paris, France, 23-26 June 2009, pages 102–105, 2009. IEEE Computer Society
In Alpuente, M.; Cook, B.; and Joubert, C., editor(s), Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, volume 5825, of Lecture Notes in Computer Science, pages 197–198, 2009. Springer
In Denney, E.; Giannakopoulou, D.; and Pasareanu, C. S., editor(s), First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009, volume NASA/CP-2009-215407, of NASA Conference Proceedings, pages 166–170, 2009.
In Benavides, D.; Metzger, A.; and Eisenecker, U. W., editor(s), Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings, volume 29, of ICB Research Report, pages 71–76, 2009. Universität Duisburg-Essen
Volume 5596, of Lecture Notes in Computer Science.Springer. 2009.
2008
(13)
In Kordon, F.; and Vardanega, T., editor(s), Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, volume 5026, of Lecture Notes in Computer Science, pages 87–100, 2008. Springer
In Cordeiro, J.; Shishkov, B.; Ranchordas, A.; and Helfert, M., editor(s), ICSOFT 2008 - Proceedings of the Third International Conference on Software and Data Technologies, Volume SE/MUSE/GSDCA, Porto, Portugal, July 5-8, 2008, pages 165–173, 2008. INSTICC Press
In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pages 115–116, 2008. IEEE Computer Society
In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pages 321, 2008. IEEE Computer Society
Comput. Syst. Sci. Eng., 23(5). 2008.
In Lea, D.; and Zavattaro, G., editor(s), Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, volume 5052, of Lecture Notes in Computer Science, pages 117–134, 2008. Springer
In Fiadeiro, J. L.; and Inverardi, P., editor(s), Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, volume 4961, of Lecture Notes in Computer Science, pages 230–245, 2008. Springer
In Cofer, D. D.; and Fantechi, A., editor(s), Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, volume 5596, of Lecture Notes in Computer Science, pages 4–6, 2008. Springer
In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, volume 17, of Communications in Computer and Information Science, pages 170–190, 2008. Springer
In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy, pages 473–474, 2008. IEEE Computer Society
In Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings, pages 193–202, 2008. IEEE Computer Society
ERCIM News, 2008(75). 2008.
ERCIM News, 2008(75). 2008.
2007
(12)
In IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA, pages 747–752, 2007. IEEE
In 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 4-6 July 2007, Pisa, Italy, Proceedings, pages 291–300, 2007. IEEE Computer Society
In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece, pages 85–92, 2007. IEEE
In Okadome, T.; Yamazaki, T.; and Makhtari, M., editor(s), Pervasive Computing for Quality of Life Enhancement, 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings, volume 4541, of Lecture Notes in Computer Science, pages 217–225, 2007. Springer
In Filipe, J.; Shishkov, B.; and Helfert, M., editor(s), ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007, pages 48–55, 2007. INSTICC Press
In Filipe, J.; Shishkov, B.; and Helfert, M., editor(s), ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume PL/DPS/KE/MUSE, Barcelona, Spain, July 22-25, 2007, pages 55–60, 2007. INSTICC Press
In Filipe, J.; Shishkov, B.; Helfert, M.; and Maciaszek, L. A., editor(s), Software and Data Technologies - Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers, volume 22, of Communications in Computer and Information Science, pages 185–200, 2007. Springer
In Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pages 59–68, 2007. IEEE Computer Society
In Leue, S.; and Merino, P., editor(s), Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, volume 4916, of Lecture Notes in Computer Science, pages 133–148, 2007. Springer
In Gaudin, E.; Najm, E.; and Reed, R., editor(s), SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings, volume 4745, of Lecture Notes in Computer Science, pages 19–34, 2007. Springer
In Guelfi, N.; Muccini, H.; Pelliccione, P.; and Romanovsky, A. B., editor(s), Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007, pages 5, 2007. ACM
In Crnkovic, I.; and Bertolino, A., editor(s), Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pages 521–524, 2007. ACM
2006
(5)
In Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pages 127–128, 2006. IEEE Computer Society
Trans. SDPS, 10(1): 1–15. 2006.
In Misra, J.; Nipkow, T.; and Sekerinski, E., editor(s), FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, volume 4085, of Lecture Notes in Computer Science, pages 179–189, 2006. Springer
In Butler, M. J.; Jones, C. B.; Romanovsky, A. B.; and Troubitsyna, E., editor(s), Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], volume 4157, of Lecture Notes in Computer Science, pages 133–152, 2006. Springer
In Käkölä, T.; and Due ̃nas, J. C., editor(s), Software Product Lines - Research Issues in Engineering and Management, pages 425–445. Springer, 2006.
2005
(7)
IEEE Trans. Software Eng., 31(11): 913–927. 2005.
In FIRB-Perf Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-Perf 2005), 19 September 2005, Torino, Italy, pages 106–114, 2005. IEEE Computer Society
In Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pages 13–22, 2005. IEEE Computer Society
Ann. des Télécommunications, 60(7-8): 989–1022. 2005.
Softw. Pract. Exp., 35(14): 1317–1347. 2005.
In Margaria, T.; and Massink, M., editor(s), Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005, pages 134–143, 2005. ACM
In Araújo, J.; Toro, A. D.; and e Cunha, J. F., editor(s), Anais do WER05 - Workshop em Engenharia de Requisitos, Porto, Portugal, Junho 13-14, 2005, pages 245–256, 2005.
2004
(8)
IEEE Trans. Software Eng., 30(2): 97–111. 2004.
In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pages 70–79, 2004. IEEE Computer Society
In Marinai, S.; and Dengel, A., editor(s), Document Analysis Systems VI, 6th International Workshop, DAS 2004, Florence, Italy, September 8-10, 2004, Proceedings, volume 3163, of Lecture Notes in Computer Science, pages 508–520, 2004. Springer
In de Frutos-Escrig, D.; and Nú ̃nez, M., editor(s), Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, volume 3235, of Lecture Notes in Computer Science, pages 259–275, 2004. Springer
In Nord, R. L., editor(s), Software Product Lines, Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings, volume 3154, of Lecture Notes in Computer Science, pages 255–265, 2004. Springer
In Bicarregui, J.; Butterfield, A.; and Arenas, A., editor(s), Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004, volume 133, of Electronic Notes in Theoretical Computer Science, pages 3–19, 2004. Elsevier
In Pezzè, M., editor(s), Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, volume 116, of Electronic Notes in Theoretical Computer Science, pages 99–111, 2004. Elsevier
In Pezzè, M., editor(s), Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, volume 116, of Electronic Notes in Theoretical Computer Science, pages 199–211, 2004. Elsevier
2003
(9)
IEEE Trans. Multim., 5(1): 52–70. 2003.
In 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2-4 July 2003, Porto, Portugal, Proceedings, pages 279–286, 2003. IEEE Computer Society
In 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pages 125–130, 2003. IEEE Computer Society
In Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pages 134–143, 2003. IEEE Computer Society
In Reed, R.; and Reed, J., editor(s), SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, volume 2708, of Lecture Notes in Computer Science, pages 203–217, 2003. Springer
Requir. Eng., 8(3): 161–170. 2003.
In König, H.; Heiner, M.; and Wolisz, A., editor(s), Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, volume 2767, of Lecture Notes in Computer Science, pages 111–126, 2003. Springer
In van der Linden, F., editor(s), Software Product-Family Engineering, 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers, volume 3014, of Lecture Notes in Computer Science, pages 152–167, 2003. Springer
In Pezzè, M., editor(s), International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, volume 82, of Electronic Notes in Theoretical Computer Science, pages 66–76, 2003. Elsevier
2002
(4)
IEEE Multim., 9(2): 88–92. 2002.
Pattern Recognit., 35(8): 1661–1674. 2002.
Softw. Test. Verification Reliab., 12(4): 251–275. 2002.
In 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, pages 157–164, 2002. IEEE Computer Society
2001
(8)
Pattern Anal. Appl., 4(2-3): 83–92. 2001.
IEEE Trans. Pattern Anal. Mach. Intell., 23(10): 1089–1105. 2001.
IEEE Trans. Software Eng., 27(8): 728–748. 2001.
J. Vis. Lang. Comput., 12(6): 573–599. 2001.
In Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, ICME 2001, August 22-25, 2001, Tokyo, Japan, 2001. IEEE Computer Society
Comput. J., 44(2): 109–123. 2001.
IEEE Micro, 21(5): 52–62. 2001.
Reliab. Eng. Syst. Saf., 71(3): 261–270. 2001.
2000
(3)
In 2000 IEEE International Conference on Multimedia and Expo, ICME 2000, New York, NY, USA, July 30 - August 2, 2000, pages 1721–1724, 2000. IEEE Computer Society
In 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000, pages 5047–5051, 2000. IEEE Computer Society
Comput. J., 43(3): 191–205. 2000.
1999
(8)
J. Vis. Lang. Comput., 10(2): 165–187. 1999.
In 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 27-29 September 1999, Venice, Italy, pages 1178–1183, 1999. IEEE Computer Society
In IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume I, pages 845–849, 1999. IEEE Computer Society
In IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pages 1120–1122, 1999. IEEE Computer Society
In IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pages 1123–1125, 1999. IEEE Computer Society
IEEE Trans. Parallel Distributed Syst., 10(6): 580–599. 1999.
In Felici, M.; Kanoun, K.; and Pasquini, A., editor(s), Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, volume 1698, of Lecture Notes in Computer Science, pages 420–430, 1999. Springer
Volume 139, of IFIP Conference Proceedings.Kluwer. 1999.
1998
(9)
J. Am. Soc. Inf. Sci., 49(3): 267–282. 1998.
In Catarci, T.; Costabile, M. F.; Santucci, G.; and Tarantino, L., editor(s), Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24 - 27, 1998, pages 114–123, 1998. ACM Press
In Margaria, T.; Steffen, B.; Rückert, R.; and Posegga, J., editor(s), Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers, volume 1385, of Lecture Notes in Computer Science, pages 158–173, 1998. Springer
In Ioannidis, Y. E.; and Klas, W., editor(s), Visual Database Systems 4 (VDB4), IFIP TC2/WG 2.6 Fourth Working Conference on Visual Database Systems, L'Aquila, Italy, 27-29 May 1998, volume 126, of IFIP Conference Proceedings, pages 277–292, 1998. Chapman \& Hall
In Smeulders, A. W. M.; and Jain, R. C., editor(s), Image Databases and Multi-Media Search, volume 8, of Series on Software Engineering and Knowledge Engineering, pages 13–24. WorldScientific, 1998.
Formal Methods Syst. Des., 12(2): 139–161. 1998.
In Hutter, D.; Stephan, W.; Traverso, P.; and Ullmann, M., editor(s), Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, volume 1641, of Lecture Notes in Computer Science, pages 228–242, 1998. Springer
In 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 20-22 April 1998, Kyoto, Japan, pages 364–372, 1998. IEEE Computer Society
1997
(3)
In Bimbo, A. D., editor(s), Image Analysis and Processing, 9th International Conference, ICIAP '97, Florence, Italy, September 17-19, 1997, Proceedings, Volume II, volume 1311, of Lecture Notes in Computer Science, pages 132–139, 1997. Springer
J. Syst. Softw., 39(3): 249–264. 1997.
In 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 17-19 March 1997, Berlin, Germany, pages 157–164, 1997. IEEE Computer Society
1996
(5)
IEEE Multim., 3(1): 40–49. 1996.
In Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, Colorado, USA, September 3-6, 1996, pages 68–75, 1996. IEEE Computer Society
In Montanari, U.; and Sassone, V., editor(s), CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, volume 1119, of Lecture Notes in Computer Science, pages 563–578, 1996. Springer
In Hlawiczka, A.; Silva, J. G.; and Simoncini, L., editor(s), Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings, volume 1150, of Lecture Notes in Computer Science, pages 321–332, 1996. Springer
In Schoitsch, E., editor(s), 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pages 21–30, 1996. Springer
1995
(11)
IEEE Trans. Knowl. Data Eng., 7(4): 609–622. 1995.
IEEE Trans. Software Eng., 21(12): 969–992. 1995.
IEEE Trans. Vis. Comput. Graph., 1(4): 350–360. 1995.
In Braccini, C.; Floriani, L. D.; and Vernazza, G., editor(s), Image Analysis and Processing, 8th International Conference, ICIAP '95, San Remo, Italy, September 13-15, 1995, Proceedings, volume 974, of Lecture Notes in Computer Science, pages 621–626, 1995. Springer
In Second International Symposium on Autonomous Decentralized Systems, ISADS 1995, Phoenix, Arizona, USA, April 25-27, 1995, pages 104–111, 1995. IEEE Computer Society
In Spaccapietra, S.; and Jain, R. C., editor(s), Visual Database Systems 3, Visual Information Management, Proceedings of the third IFIP 2.6 working conference on visual database systems, March 27-29, 1995, Lausanne, Switzerland, volume 34, of IFIP Conference Proceedings, pages 158–174, 1995. Chapman \& Hall
In Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pages 61–68, 1995. IEEE Computer Society
In Camurati, P.; and Eveking, H., editor(s), Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings, volume 987, of Lecture Notes in Computer Science, pages 246–260, 1995. Springer
In Rabe, G., editor(s), 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pages 474–488, 1995. Springer
In SEKE'95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings, pages 234–243, 1995. Knowledge Systems Institute
In Brinksma, E.; Cleaveland, R.; Larsen, K. G.; Margaria, T.; and Steffen, B., editor(s), Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings, volume 1019, of Lecture Notes in Computer Science, pages 195–215, 1995. Springer
1994
(9)
IEEE Trans. Commun., 42(234): 1486–1489. 1994.
J. Vis. Lang. Comput., 5(3): 267–286. 1994.
In Costabile, M. F.; Catarci, T.; Levialdi, S.; and Santucci, G., editor(s), Proceedings of the Workshop on Advanced Visual Interfaces, AVI 1994, Bari, Italy, June 1-4, 1994, pages 172–181, 1994. ACM
In Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, PDP 1994, January 26-28, 1994, Malaga, Spain, pages 486–492, 1994. IEEE
In Ambler, A. L.; and Kimura, T. D., editor(s), Proceedings IEEE Symposium on Visual Languages, St. Louis, Missouri, USA, October 4-7, 1994, pages 145–152, 1994. IEEE Computer Society
Formal Methods Syst. Des., 4(2): 187–203. 1994.
Formal Methods Syst. Des., 4(3): 243–263. 1994.
In Echtle, K.; Hammer, D. K.; and Powell, D., editor(s), Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings, volume 852, of Lecture Notes in Computer Science, pages 77–94, 1994. Springer
In Hogrefe, D.; and Leue, S., editor(s), Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, volume 6, of IFIP Conference Proceedings, pages 218–220, 1994. Chapman \& Hall
1993
(6)
In International Symposium on Autonomous Decentralized Systems, ISADS 1993, Kawasaki, Japan, March 30 - April 1, 1993, pages 44–51, 1993. IEEE Computer Society
In 1993 Euromicro Workshop on Parallel and Distributed Processing, PDP 1993, Gran Canaria, Spain, 27-29 January 1993, pages 481–489, 1993. IEEE
In Proceedings of the 1993 IEEE Workshop on Visual Languages, August 24-27, 1993, Bergen, Norway, pages 88–92, 1993. IEEE Computer Society
In Proceedings of the 1993 IEEE Workshop on Visual Languages, August 24-27, 1993, Bergen, Norway, pages 376–378, 1993. IEEE Computer Society
Comput. Networks ISDN Syst., 25(7): 761–778. 1993.
In Borzyszkowski, A. M.; and Sokolowski, S., editor(s), Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, volume 711, of Lecture Notes in Computer Science, pages 453–462, 1993. Springer
1992
(3)
Eur. Trans. Telecommun., 3(1): 77–83. 1992.
In Proceedings of the Third International Workshop on Rapid System Prototyping, RSP 1992, Research Triangle Park, North Carolina, USA, June 23-15, 1992, pages 58–75, 1992. IEEE Computer Society
In Proceedings of the 1992 IEEE Workshop on Visual Languages, September 15-18, 1992, Seattle, Washington, USA, pages 228–230, 1992. IEEE Computer Society
1991
(4)
IEEE Trans. Software Eng., 17(4): 357–369. 1991.
Inf. Process. Lett., 39(2): 109–114. 1991.
ACM SIGPLAN Notices, 26(3): 25–34. 1991.
In Larsen, K. G.; and Skou, A., editor(s), Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, volume 575, of Lecture Notes in Computer Science, pages 37–47, 1991. Springer
1990
(2)
In Quemada, J.; Ma ̃nas, J. A.; and Vázquez, E., editor(s), Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pages 17–32, 1990. North-Holland
In Logrippo, L.; Probert, R. L.; and Ural, H., editor(s), Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pages 365–378, 1990. North-Holland
1989
(1)
In Vuong, S. T., editor(s), Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pages 261–276, 1989. North-Holland
1987
(2)
J. Parallel Distributed Comput., 4(6): 531–545. 1987.
In Nichols, H. K.; and Simpson, D., editor(s), ESEC '87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings, volume 289, of Lecture Notes in Computer Science, pages 327–335, 1987. Springer
1986
(2)
Softw. Pract. Exp., 16(8): 701–717. 1986.
In Zilli, M. V., editor(s), Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings, volume 280, of Lecture Notes in Computer Science, pages 1–20, 1986. Springer