| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|