by Hinchey, Mike
Published in Computer (Long Beach, Calif.) (01.02.2024)

by HAN, Youngsub, LEE, Dong-hyun, CHOI, Byoungju, HINCHEY, Mike, IN, Hoh Peter
Published in IEICE Transactions on Information and Systems (2016)

by Hinchey, Mike, Bowen, Jonathan P, Olderog, Ernst-Rüdiger
Year of Publication 2017

by Steffen, Bernhard, Baier, Christel, Brand, Mark van den, Eder, Johann, Hinchey, Mike, Margaria, Tiziana
Year of Publication 2017

by Vassev, Emil, Hinchey, Mike
Published in Electronic proceedings in theoretical computer science (28.03.2010)

by Vinh, Phan Cong, Vassev, Emil, Hinchey, Mike
Year of Publication 2015

by Vassev, Emil, Hinchey, Mike
Published in Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (2016)

by Vassev, Emil, Hinchey, Mike
Published in Computer (Long Beach, Calif.) (01.02.2015)

by Margaria, Tiziana, Hinchey, Mike
Published in Computer (Long Beach, Calif.) (01.11.2013)

by Vassev, Emil, Hinchey, Mike
Published in Computer (Long Beach, Calif.) (01.08.2013)

by EMIL VASSEV, MIKE HINCHEY
Published in T.A.S.K. quarterly (01.04.2021)

by Vassev, Emil, Hinchey, Mike
Published in Models, Mindsets, Meta: The What, the How, and the Why Not? (2019)

by Vassev, Emil
Year of Publication 2014

by Brugali, Davide, Capilla, Rafael, Hinchey, Mike
Published in Computer (Long Beach, Calif.) (01.12.2015)

by Hinchey, M., Sooyong Park, Schmid, K.
Published in Computer (Long Beach, Calif.) (01.10.2012)

by Hinchey, Mike, Pagnoni, Anastasia, Rammig, Franz J, Schmeck, Hartmut
Year of Publication 2008

by Vassev, Emil, Hinchey, Mike
Published in Software Engineering for Collective Autonomic Systems (2015)

by Hinchey, Mike
Published in 2015 Asia-Pacific Software Engineering Conference (APSEC) (01.12.2015)

by Capilla, Rafael, Bosch, Jan, Trinidad, Pablo, Ruiz-Cortés, Antonio, Hinchey, Mike
Published in The Journal of systems and software (01.05.2014)

by Hinchey, Mike, Jain, Amit, Kaushik, Manju, Misra, Sanjay
Published in Innovations in systems and software engineering (2023)