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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Abstract (2 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) 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 (type: Full Paper (7 pages)) doi:

27 authors

proc time: 0.05