Items where Author is "ter Beek, Maurice H."

Le

ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180. (2015)

Ll

ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180. (2015)

ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013) (2013)

Me

ter Beek, Maurice H. and Melgratti, Hernán C. and Torres Vieira, Hugo (edited by) Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP). In: 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP) pp. 1588-1589. ISBN 978-145033739-7. (2016)

Pe

ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013) (2013)

Te

ter Beek, Maurice H. and Melgratti, Hernán C. and Torres Vieira, Hugo (edited by) Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP). In: 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP) pp. 1588-1589. ISBN 978-145033739-7. (2016)

ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180. (2015)

ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. In: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013) (2013)

To

ter Beek, Maurice H. and Melgratti, Hernán C. and Torres Vieira, Hugo (edited by) Proceedings of the 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP). In: 31st Annual ACM Symposium on Applied Computing, SAC 2016, Special track on service-oriented architectures and programming (SOAP) pp. 1588-1589. ISBN 978-145033739-7. (2016)

Va

ter Beek, Maurice H. and Legay, Axel and Lluch Lafuente, Alberto and Vandin, Andrea Quantitative Analysis of Probabilistic Models of SoftwareProduct Lines with Statistical Model Checking. In: 6th Workshop on Formal Methods and Analysis in SPL Engineering, April 11, 2015, London, UK pp. 56-70. ISSN 2075-2180. (2015)