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

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

27 authors

proc time: 0.69