Workshop FormaliSE 2013 – Author Index

A B C D F G I J K L M N S T V W

	Agarwal, Siddharth	FormaliSE '13: "Functional SMT Solving with ..." Functional SMT Solving with Z3 and Racket Siddharth Agarwal and Amey Karkare (Facebook, USA; IIT Kanpur, India) @InProceedings{FormaliSE13p15, author = {Siddharth Agarwal and Amey Karkare}, title = {Functional SMT Solving with Z3 and Racket}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {15-14}, doi = {}, year = {2013}, } Article: icsews13formalise-id1-p (type: Full Paper) doi:
	Atlee, Joanne M.	FormaliSE '13: "Recommendations for Improving ..." Recommendations for Improving the Usability of Formal Methods for Product Lines Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, and Pourya Shaker (University of Waterloo, Canada) @InProceedings{FormaliSE13p43, author = {Joanne M. Atlee and Sandy Beidu and Nancy A. Day and Fathiyeh Faghih and Pourya Shaker}, title = {Recommendations for Improving the Usability of Formal Methods for Product Lines}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } Article: icsews13formalise-id17-p (type: Full Paper) doi:
	Beidu, Sandy	FormaliSE '13: "Recommendations for Improving ..." Recommendations for Improving the Usability of Formal Methods for Product Lines Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, and Pourya Shaker (University of Waterloo, Canada) @InProceedings{FormaliSE13p43, author = {Joanne M. Atlee and Sandy Beidu and Nancy A. Day and Fathiyeh Faghih and Pourya Shaker}, title = {Recommendations for Improving the Usability of Formal Methods for Product Lines}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } Article: icsews13formalise-id17-p (type: Full Paper) doi:
	Bocic, Ivan	FormaliSE '13: "An Integrated Data Model Verifier ..." An Integrated Data Model Verifier with Property Templates Jaideep Nijjar, Ivan Bocic, and Tevfik Bultan (UC Santa Barbara, USA) @InProceedings{FormaliSE13p29, author = {Jaideep Nijjar and Ivan Bocic and Tevfik Bultan}, title = {An Integrated Data Model Verifier with Property Templates}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {29-28}, doi = {}, year = {2013}, } Article: icsews13formalise-id21-p (type: Full Paper) doi:
	Bollin, Andreas	FormaliSE '13: "Do You Speak Z? Formal Methods ..." Do You Speak Z? Formal Methods under the Perspective of a Cross-Cultural Adaptation Problem Andreas Bollin (University of Klagenfurt, Austria) @InProceedings{FormaliSE13p8, author = {Andreas Bollin}, title = {Do You Speak Z? Formal Methods under the Perspective of a Cross-Cultural Adaptation Problem}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {8-7}, doi = {}, year = {2013}, } Article: icsews13formalise-id13-p (type: Full Paper) doi:
	Bultan, Tevfik	FormaliSE '13: "An Integrated Data Model Verifier ..." An Integrated Data Model Verifier with Property Templates Jaideep Nijjar, Ivan Bocic, and Tevfik Bultan (UC Santa Barbara, USA) @InProceedings{FormaliSE13p29, author = {Jaideep Nijjar and Ivan Bocic and Tevfik Bultan}, title = {An Integrated Data Model Verifier with Property Templates}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {29-28}, doi = {}, year = {2013}, } Article: icsews13formalise-id21-p (type: Full Paper) doi:
	Cordy, Maxime	FormaliSE '13: "A Framework for the Rigorous ..." A Framework for the Rigorous Design of Highly Adaptive Timed Systems Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, and Louis-Marie Traonouez (University of Namur, Belgium; INRIA, France) @InProceedings{FormaliSE13p64, author = {Maxime Cordy and Axel Legay and Pierre-Yves Schobbens and Louis-Marie Traonouez}, title = {A Framework for the Rigorous Design of Highly Adaptive Timed Systems}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {64-63}, doi = {}, year = {2013}, } Article: icsews13formalise-id12-p (type: Full Paper) doi:
	Day, Nancy A.	FormaliSE '13: "Recommendations for Improving ..." Recommendations for Improving the Usability of Formal Methods for Product Lines Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, and Pourya Shaker (University of Waterloo, Canada) @InProceedings{FormaliSE13p43, author = {Joanne M. Atlee and Sandy Beidu and Nancy A. Day and Fathiyeh Faghih and Pourya Shaker}, title = {Recommendations for Improving the Usability of Formal Methods for Product Lines}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } Article: icsews13formalise-id17-p (type: Full Paper) doi:
	Faghih, Fathiyeh	FormaliSE '13: "Recommendations for Improving ..." Recommendations for Improving the Usability of Formal Methods for Product Lines Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, and Pourya Shaker (University of Waterloo, Canada) @InProceedings{FormaliSE13p43, author = {Joanne M. Atlee and Sandy Beidu and Nancy A. Day and Fathiyeh Faghih and Pourya Shaker}, title = {Recommendations for Improving the Usability of Formal Methods for Product Lines}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } Article: icsews13formalise-id17-p (type: Full Paper) doi:
	Gandhi, Robin	FormaliSE '13: "Lightweight Formal Models ..." Lightweight Formal Models of Software Weaknesses Robin Gandhi, Harvey Siy, and Yan Wu (University of Nebraska at Omaha, USA) @InProceedings{FormaliSE13p50, author = {Robin Gandhi and Harvey Siy and Yan Wu}, title = {Lightweight Formal Models of Software Weaknesses}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {50-49}, doi = {}, year = {2013}, } Article: icsews13formalise-id18-p (type: Full Paper) doi:
	Glesner, Sabine	FormaliSE '13: "Automatic Validation of Infinite ..." Automatic Validation of Infinite Real-Time Systems Thomas Göthel and Sabine Glesner (TU Berlin, Germany) @InProceedings{FormaliSE13p57, author = {Thomas Göthel and Sabine Glesner}, title = {Automatic Validation of Infinite Real-Time Systems}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {57-56}, doi = {}, year = {2013}, } Article: icsews13formalise-id4-p (type: Full Paper) doi:
	Gmehlich, Rainer	FormaliSE '13: "Towards a Formalism-Based ..." Towards a Formalism-Based Toolkit for Automotive Applications Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, and Manuel Mazzara (Bosch, Germany; Newcastle University, UK) @InProceedings{FormaliSE13p36, author = {Rainer Gmehlich and Katrin Grau and Felix Loesch and Alexei Iliasov and Michael Jackson and Manuel Mazzara}, title = {Towards a Formalism-Based Toolkit for Automotive Applications}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2013}, } Article: icsews13formalise-id14-p (type: Full Paper) doi:
	Göthel, Thomas	FormaliSE '13: "Automatic Validation of Infinite ..." Automatic Validation of Infinite Real-Time Systems Thomas Göthel and Sabine Glesner (TU Berlin, Germany) @InProceedings{FormaliSE13p57, author = {Thomas Göthel and Sabine Glesner}, title = {Automatic Validation of Infinite Real-Time Systems}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {57-56}, doi = {}, year = {2013}, } Article: icsews13formalise-id4-p (type: Full Paper) doi:
	Grau, Katrin	FormaliSE '13: "Towards a Formalism-Based ..." Towards a Formalism-Based Toolkit for Automotive Applications Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, and Manuel Mazzara (Bosch, Germany; Newcastle University, UK) @InProceedings{FormaliSE13p36, author = {Rainer Gmehlich and Katrin Grau and Felix Loesch and Alexei Iliasov and Michael Jackson and Manuel Mazzara}, title = {Towards a Formalism-Based Toolkit for Automotive Applications}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2013}, } Article: icsews13formalise-id14-p (type: Full Paper) doi:
	Iliasov, Alexei	FormaliSE '13: "Towards a Formalism-Based ..." Towards a Formalism-Based Toolkit for Automotive Applications Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, and Manuel Mazzara (Bosch, Germany; Newcastle University, UK) @InProceedings{FormaliSE13p36, author = {Rainer Gmehlich and Katrin Grau and Felix Loesch and Alexei Iliasov and Michael Jackson and Manuel Mazzara}, title = {Towards a Formalism-Based Toolkit for Automotive Applications}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2013}, } Article: icsews13formalise-id14-p (type: Full Paper) doi:
	Jackson, Michael	FormaliSE '13: "Towards a Formalism-Based ..." Towards a Formalism-Based Toolkit for Automotive Applications Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, and Manuel Mazzara (Bosch, Germany; Newcastle University, UK) @InProceedings{FormaliSE13p36, author = {Rainer Gmehlich and Katrin Grau and Felix Loesch and Alexei Iliasov and Michael Jackson and Manuel Mazzara}, title = {Towards a Formalism-Based Toolkit for Automotive Applications}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2013}, } Article: icsews13formalise-id14-p (type: Full Paper) doi:
	Karkare, Amey	FormaliSE '13: "Functional SMT Solving with ..." Functional SMT Solving with Z3 and Racket Siddharth Agarwal and Amey Karkare (Facebook, USA; IIT Kanpur, India) @InProceedings{FormaliSE13p15, author = {Siddharth Agarwal and Amey Karkare}, title = {Functional SMT Solving with Z3 and Racket}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {15-14}, doi = {}, year = {2013}, } Article: icsews13formalise-id1-p (type: Full Paper) doi:
	Legay, Axel	FormaliSE '13: "A Framework for the Rigorous ..." A Framework for the Rigorous Design of Highly Adaptive Timed Systems Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, and Louis-Marie Traonouez (University of Namur, Belgium; INRIA, France) @InProceedings{FormaliSE13p64, author = {Maxime Cordy and Axel Legay and Pierre-Yves Schobbens and Louis-Marie Traonouez}, title = {A Framework for the Rigorous Design of Highly Adaptive Timed Systems}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {64-63}, doi = {}, year = {2013}, } Article: icsews13formalise-id12-p (type: Full Paper) doi:
	Loesch, Felix	FormaliSE '13: "Towards a Formalism-Based ..." Towards a Formalism-Based Toolkit for Automotive Applications Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, and Manuel Mazzara (Bosch, Germany; Newcastle University, UK) @InProceedings{FormaliSE13p36, author = {Rainer Gmehlich and Katrin Grau and Felix Loesch and Alexei Iliasov and Michael Jackson and Manuel Mazzara}, title = {Towards a Formalism-Based Toolkit for Automotive Applications}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2013}, } Article: icsews13formalise-id14-p (type: Full Paper) doi:
	Madhukar, Kumar	FormaliSE '13: "Trace Based Reachability Verification ..." Trace Based Reachability Verification for Statecharts Kumar Madhukar, Ravindra Metta, Ulka Shrotri, and R. Venkatesh (Tata Consultancy Services, India) @InProceedings{FormaliSE13p22, author = {Kumar Madhukar and Ravindra Metta and Ulka Shrotri and R. Venkatesh}, title = {Trace Based Reachability Verification for Statecharts}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {22-21}, doi = {}, year = {2013}, } Article: icsews13formalise-id2-p (type: Full Paper) doi:
	Mazzara, Manuel	FormaliSE '13: "Towards a Formalism-Based ..." Towards a Formalism-Based Toolkit for Automotive Applications Rainer Gmehlich, Katrin Grau, Felix Loesch, Alexei Iliasov, Michael Jackson, and Manuel Mazzara (Bosch, Germany; Newcastle University, UK) @InProceedings{FormaliSE13p36, author = {Rainer Gmehlich and Katrin Grau and Felix Loesch and Alexei Iliasov and Michael Jackson and Manuel Mazzara}, title = {Towards a Formalism-Based Toolkit for Automotive Applications}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2013}, } Article: icsews13formalise-id14-p (type: Full Paper) doi:
	Metta, Ravindra	FormaliSE '13: "Trace Based Reachability Verification ..." Trace Based Reachability Verification for Statecharts Kumar Madhukar, Ravindra Metta, Ulka Shrotri, and R. Venkatesh (Tata Consultancy Services, India) @InProceedings{FormaliSE13p22, author = {Kumar Madhukar and Ravindra Metta and Ulka Shrotri and R. Venkatesh}, title = {Trace Based Reachability Verification for Statecharts}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {22-21}, doi = {}, year = {2013}, } Article: icsews13formalise-id2-p (type: Full Paper) doi:
	Nijjar, Jaideep	FormaliSE '13: "An Integrated Data Model Verifier ..." An Integrated Data Model Verifier with Property Templates Jaideep Nijjar, Ivan Bocic, and Tevfik Bultan (UC Santa Barbara, USA) @InProceedings{FormaliSE13p29, author = {Jaideep Nijjar and Ivan Bocic and Tevfik Bultan}, title = {An Integrated Data Model Verifier with Property Templates}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {29-28}, doi = {}, year = {2013}, } Article: icsews13formalise-id21-p (type: Full Paper) doi:
	Schobbens, Pierre-Yves	FormaliSE '13: "A Framework for the Rigorous ..." A Framework for the Rigorous Design of Highly Adaptive Timed Systems Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, and Louis-Marie Traonouez (University of Namur, Belgium; INRIA, France) @InProceedings{FormaliSE13p64, author = {Maxime Cordy and Axel Legay and Pierre-Yves Schobbens and Louis-Marie Traonouez}, title = {A Framework for the Rigorous Design of Highly Adaptive Timed Systems}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {64-63}, doi = {}, year = {2013}, } Article: icsews13formalise-id12-p (type: Full Paper) doi:
	Shaker, Pourya	FormaliSE '13: "Recommendations for Improving ..." Recommendations for Improving the Usability of Formal Methods for Product Lines Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, and Pourya Shaker (University of Waterloo, Canada) @InProceedings{FormaliSE13p43, author = {Joanne M. Atlee and Sandy Beidu and Nancy A. Day and Fathiyeh Faghih and Pourya Shaker}, title = {Recommendations for Improving the Usability of Formal Methods for Product Lines}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {43-42}, doi = {}, year = {2013}, } Article: icsews13formalise-id17-p (type: Full Paper) doi:
	Shrotri, Ulka	FormaliSE '13: "Trace Based Reachability Verification ..." Trace Based Reachability Verification for Statecharts Kumar Madhukar, Ravindra Metta, Ulka Shrotri, and R. Venkatesh (Tata Consultancy Services, India) @InProceedings{FormaliSE13p22, author = {Kumar Madhukar and Ravindra Metta and Ulka Shrotri and R. Venkatesh}, title = {Trace Based Reachability Verification for Statecharts}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {22-21}, doi = {}, year = {2013}, } Article: icsews13formalise-id2-p (type: Full Paper) doi:
	Siy, Harvey	FormaliSE '13: "Lightweight Formal Models ..." Lightweight Formal Models of Software Weaknesses Robin Gandhi, Harvey Siy, and Yan Wu (University of Nebraska at Omaha, USA) @InProceedings{FormaliSE13p50, author = {Robin Gandhi and Harvey Siy and Yan Wu}, title = {Lightweight Formal Models of Software Weaknesses}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {50-49}, doi = {}, year = {2013}, } Article: icsews13formalise-id18-p (type: Full Paper) doi:
	Traonouez, Louis-Marie	FormaliSE '13: "A Framework for the Rigorous ..." A Framework for the Rigorous Design of Highly Adaptive Timed Systems Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, and Louis-Marie Traonouez (University of Namur, Belgium; INRIA, France) @InProceedings{FormaliSE13p64, author = {Maxime Cordy and Axel Legay and Pierre-Yves Schobbens and Louis-Marie Traonouez}, title = {A Framework for the Rigorous Design of Highly Adaptive Timed Systems}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {64-63}, doi = {}, year = {2013}, } Article: icsews13formalise-id12-p (type: Full Paper) doi:
	Venkatesh, R.	FormaliSE '13: "Trace Based Reachability Verification ..." Trace Based Reachability Verification for Statecharts Kumar Madhukar, Ravindra Metta, Ulka Shrotri, and R. Venkatesh (Tata Consultancy Services, India) @InProceedings{FormaliSE13p22, author = {Kumar Madhukar and Ravindra Metta and Ulka Shrotri and R. Venkatesh}, title = {Trace Based Reachability Verification for Statecharts}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {22-21}, doi = {}, year = {2013}, } Article: icsews13formalise-id2-p (type: Full Paper) doi:
	Wassyng, Alan	FormaliSE '13: "Though This Be Madness, Yet ..." Though This Be Madness, Yet There Is Method in It? (Keynote) Alan Wassyng (McMaster University, Canada) @InProceedings{FormaliSE13p1, author = {Alan Wassyng}, title = {Though This Be Madness, Yet There Is Method in It? (Keynote)}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, } Article: icsews13formalise-key1-p (type: Invited keynote) doi:
	Wu, Yan	FormaliSE '13: "Lightweight Formal Models ..." Lightweight Formal Models of Software Weaknesses Robin Gandhi, Harvey Siy, and Yan Wu (University of Nebraska at Omaha, USA) @InProceedings{FormaliSE13p50, author = {Robin Gandhi and Harvey Siy and Yan Wu}, title = {Lightweight Formal Models of Software Weaknesses}, booktitle = {Proc.\ FormaliSE}, publisher = {IEEE}, pages = {50-49}, doi = {}, year = {2013}, } Article: icsews13formalise-id18-p (type: Full Paper) doi:

31 authors

proc time: 0.05