Powered by
Conference Publishing Consulting

2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2014), June 3, 2014, Hyderabad, India

Workshop FormaliSE 2014 – Author Index

Contents - Abstracts - Authors

A B D H K L N O P R S W

Agrawal, Akshay FormaliSE '14: "Formalization of Software ..."
Araki, Keijiro FormaliSE '14: "Generating Supportive Hypotheses ..."
Baresi, Luciano FormaliSE '14: "Flexible Modular Formalization ..."
Beek, Maurice H. ter FormaliSE '14: "Using mCRL2 for the Analysis ..."
Bhiri, Mohamed Tahar FormaliSE '14: "From an Abstract Specification ..."
Biatek, Jason FormaliSE '14: "Analysis and Testing of PLEXIL ..."
Bollin, Andreas FormaliSE '14: "Formal Specification Comprehension: ..."
De Vink, Erik P. FormaliSE '14: "Using mCRL2 for the Analysis ..."
Heimdahl, Mats P. E. FormaliSE '14: "Analysis and Testing of PLEXIL ..."
Kusakabe, Shigeru FormaliSE '14: "Generating Supportive Hypotheses ..."
Levendovszky, Tihamer FormaliSE '14: "Formalization of Software ..."
Lin, Hsin-Hung FormaliSE '14: "Generating Supportive Hypotheses ..."
Lowry, Michael R. FormaliSE '14: "Analysis and Testing of PLEXIL ..."
Nanjundappa, Mahesh FormaliSE '14: "Compiling Polychronous Programs ..."
Neema, Sandeep FormaliSE '14: "Formalization of Software ..."
Nori, Aditya V. FormaliSE '14: "Software Reliability via Machine ..."
Omori, Yoichi FormaliSE '14: "Generating Supportive Hypotheses ..."
Porter, Joseph FormaliSE '14: "Formalization of Software ..."
Pourhashem Kallehbasti, Mohammad Mehdi FormaliSE '14: "Flexible Modular Formalization ..."
Rauner-Reithmayer, Dominik FormaliSE '14: "Formal Specification Comprehension: ..."
Rayadurgam, Sanjai FormaliSE '14: "Analysis and Testing of PLEXIL ..."
Rossi, Matteo FormaliSE '14: "Flexible Modular Formalization ..."
Sayar, Imen FormaliSE '14: "From an Abstract Specification ..."
Shukla, Sandeep K. FormaliSE '14: "Compiling Polychronous Programs ..."
Simko, Gabor FormaliSE '14: "Formalization of Software ..."
Sztipanovits, Janos FormaliSE '14: "Formalization of Software ..."
Whalen, Michael W. FormaliSE '14: "Analysis and Testing of PLEXIL ..."

27 authors

proc time: 0.08