Search results for: José Merseguer
Software and Systems Modeling > 2019 > 18 > 6 > 3577-3614
Information Systems Frontiers > 2019 > 21 > 1 > 67-85
Empirical Software Engineering > 2018 > 23 > 6 > 3394-3441
Software & Systems Modeling > 2019 > 18 > 3 > 2241-2264
Journal of Systems and Software > 2017 > 130 > C > 24-41
Automated Software Engineering > 2017 > 24 > 1 > 71-72
Lecture Notes in Computer Science > Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops > WOMP 2006 Workshop > 884-896
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 1: Ram Evaluation 1 > 15-28
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Tool Papers > 401-410
Lecture Notes in Computer Science > Performance Tools and Applications to Networked Systems > 265-289
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency - ICATPN 2006 > Invited Papers > 19-36
The Journal of Systems & Software > 2015 > 104 > Complete > 166-178
IEEE Latin America Transactions > 2014 > 12 > 8 > 1572 - 1580
Empirical Software Engineering > 2014 > 19 > 6 > 1967-2018