2nd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2014)

Frontmatter

Invited Talk

Software Reliability via Machine Learning (Invited Talk)
Aditya V. Nori
(Microsoft Research, India)


@InProceedings{FormaliSE14p1, author = {Aditya V. Nori}, title = {Software Reliability via Machine Learning (Invited Talk)}, booktitle = {Proc.\ FormaliSE}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, }

Integration of Formal Methods in Software Engineering I

Formal Specification Comprehension: The Art of Reading and Writing Z
Andreas Bollin and Dominik Rauner-Reithmayer
(University of Klagenfurt, Austria; Carinthia University of Applied Sciences, Austria)


@InProceedings{FormaliSE14p3, author = {Andreas Bollin and Dominik Rauner-Reithmayer}, title = {Formal Specification Comprehension: The Art of Reading and Writing Z}, booktitle = {Proc.\ FormaliSE}, publisher = {ACM}, pages = {3-2}, doi = {}, year = {2014}, }

Integration of Formal Methods in Software Engineering II

Flexible Modular Formalization of UML Sequence Diagrams
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, and Matteo Rossi
(Politecnico di Milano, Italy)


@InProceedings{FormaliSE14p10, author = {Luciano Baresi and Mohammad Mehdi Pourhashem Kallehbasti and Matteo Rossi}, title = {Flexible Modular Formalization of UML Sequence Diagrams}, booktitle = {Proc.\ FormaliSE}, publisher = {ACM}, pages = {10-9}, doi = {}, year = {2014}, }

From an Abstract Specification in Event-B toward an UML/OCL Model
Imen Sayar and Mohamed Tahar Bhiri
(University of Sfax, Tunisia; University of Lorraine, France)


@InProceedings{FormaliSE14p17, author = {Imen Sayar and Mohamed Tahar Bhiri}, title = {From an Abstract Specification in Event-B toward an UML/OCL Model}, booktitle = {Proc.\ FormaliSE}, publisher = {ACM}, pages = {17-16}, doi = {}, year = {2014}, }

Generating Supportive Hypotheses in Introducing Formal Methods using a Software Processes Improvement Model
Shigeru Kusakabe, Hsin-Hung Lin, Yoichi Omori, and Keijiro Araki
(Kyushu University, Japan)


@InProceedings{FormaliSE14p24, author = {Shigeru Kusakabe and Hsin-Hung Lin and Yoichi Omori and Keijiro Araki}, title = {Generating Supportive Hypotheses in Introducing Formal Methods using a Software Processes Improvement Model}, booktitle = {Proc.\ FormaliSE}, publisher = {ACM}, pages = {24-23}, doi = {}, year = {2014}, }

Analysis and Verification

Using mCRL2 for the Analysis of Software Product Lines
Maurice H. ter Beek and Erik P. de Vink
(ISTI-CNR, Italy; Eindhoven University of Technology, Netherlands; CWI, Netherlands)


@InProceedings{FormaliSE14p31, author = {Maurice H. ter Beek and Erik P. de Vink}, title = {Using mCRL2 for the Analysis of Software Product Lines}, booktitle = {Proc.\ FormaliSE}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, }

Compiling Polychronous Programs into Conditional Partial Orders for ASIP Synthesis
Mahesh Nanjundappa and Sandeep K. Shukla
(Virginia Tech, USA)


@InProceedings{FormaliSE14p38, author = {Mahesh Nanjundappa and Sandeep K. Shukla}, title = {Compiling Polychronous Programs into Conditional Partial Orders for ASIP Synthesis}, booktitle = {Proc.\ FormaliSE}, publisher = {ACM}, pages = {38-37}, doi = {}, year = {2014}, }

Verification and Testing

Formalization of Software Models for Cyber-Physical Systems
Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, and Janos Sztipanovits
(Vanderbilt University, USA)


@InProceedings{FormaliSE14p45, author = {Sandeep Neema and Gabor Simko and Tihamer Levendovszky and Joseph Porter and Akshay Agrawal and Janos Sztipanovits}, title = {Formalization of Software Models for Cyber-Physical Systems}, booktitle = {Proc.\ FormaliSE}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2014}, }

Analysis and Testing of PLEXIL Plans
Jason Biatek, Michael W. Whalen, Mats P. E. Heimdahl, Sanjai Rayadurgam, and Michael R. Lowry
(University of Minnesota, USA; NASA Ames Research Center, USA)


@InProceedings{FormaliSE14p52, author = {Jason Biatek and Michael W. Whalen and Mats P. E. Heimdahl and Sanjai Rayadurgam and Michael R. Lowry}, title = {Analysis and Testing of PLEXIL Plans}, booktitle = {Proc.\ FormaliSE}, publisher = {ACM}, pages = {52-51}, doi = {}, year = {2014}, }

proc time: 0.67