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.07