Beek, Maurice H. Ter: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

51

[IEEE 2011 34th Annual IEEE Software Engineering Workshop (SEW) - Limerick, Ireland (2011.06.20-2011.06.21)] 2011 IEEE 34th Software Engineering Workshop - Variability and Rigour in Service Computing Engineering

ter Beek, Maurice H., Gnesi, Stefania, Fantechi, Alessandro, Fiadeiro, Jose L.

Year:

2011

Language:

english

File:

PDF, 149 KB

english, 2011

52

A state/event-based model-checking approach for the analysis of abstract system properties

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 2.30 MB

english, 2011

53

Infinite unfair shuffles and associativity

Maurice H. ter Beek, Jetty Kleijn

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 289 KB

english, 2007

54

Synchronized shuffles

Maurice H. ter Beek, Carlos Martín-Vide, Victor Mitrana

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 220 KB

english, 2005

55

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - A case study on the automated verification of groupware protocols

ter Beek, Maurice H., Massink, Mieke, Latella, Diego, Gnesi, Stefania, Forghieri, Alessandro, Sebastianis, Maurizio

Year:

2005

Language:

english

File:

PDF, 301 KB

english, 2005

56

[ACM Press the 1st ACM SIGCHI symposium - Pittsburgh, PA, USA (2009.07.15-2009.07.17)] Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems - EICS '09 - A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems

Palanque, Philippe, Winckler, Marco, Ladry, Jean-François, ter Beek, Maurice H., Faconti, Giorgio, Massink, Mieke

Year:

2009

Language:

english

File:

PDF, 799 KB

english, 2009

57

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 || Formal Verification of a Rover Anti-collision System

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 1.51 MB

english, 2016

58

Quantitative variability modelling and analysis

ter Beek, Maurice H., Legay, Axel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

File:

PDF, 219 KB

2019

59

Preface

Maurice ter Beek, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 71 KB

english, 2006

60

[Lecture Notes in Computer Science] Architecting Dependable Systems VI Volume 5835 || A Self-repair Architecture for Cluster Systems

de Lemos, Rogério, Fabre, Jean-Charles, Gacek, Cristina, Gadducci, Fabio, ter Beek, Maurice

Year:

2009

Language:

english

File:

PDF, 481 KB

english, 2009

61

[ACM Press the 4th international ACM Sigsoft symposium - Vancouver, British Columbia, Canada (2013.06.17-2013.06.21)] Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems - ISARCS '13 - Validating reconfigurations of reo circuits in an e-Banking scenario

ter Beek, Maurice H., Gadducci, Fabio, Santini, Francesco

Year:

2013

Language:

english

File:

PDF, 635 KB

english, 2013

62

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19 - Textual variability modeling languages

Beek, Maurice H. ter, Schmid, Klaus, Eichelberger, Holger

Year:

2019

Language:

english

File:

PDF, 438 KB

english, 2019

63

[ACM Press the 2nd FME Workshop - Hyderabad, India (2014.06.03-2014.06.03)] Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering - FormaliSE 2014 - Using mCRL2 for the analysis of software product lines

Beek, Maurice H. ter, de Vink, Erik P.

Year:

2014

Language:

english

File:

PDF, 695 KB

english, 2014

64

Vector team automata

Maurice H. ter Beek, Jetty Kleijn

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 457 KB

english, 2012

65

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - CMC-UMC

ter Beek, Maurice H., Mazzanti, Franco, Gnesi, Stefania

Year:

2009

Language:

english

File:

PDF, 374 KB

english, 2009

66

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 || One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 355 KB

english, 2016

67

[ACM Press the 17th International Software Product Line Conference co-located workshops - Tokyo, Japan (2013.08.26-2013.08.30)] Proceedings of the 17th International Software Product Line Conference co-located workshops on - SPLC '13 Workshops - Combining declarative and procedural views in the specification and analysis of product families

ter Beek, Maurice H., Lafuente, Alberto Lluch, Petrocchi, Marinella

Year:

2013

Language:

english

File:

PDF, 370 KB

english, 2013

68

Preface

Alessandro Aldini, Maurice ter Beek, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 208 KB

english, 2009

69

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Formal verification of an automotive scenario in service-oriented computing

ter Beek, Maurice H., Gnesi, Stefania, Koch, Nora, Mazzanti, Franco

Year:

2008

Language:

english

File:

PDF, 1.29 MB

english, 2008

70

[ACM Press the 16th International Software Product Line Conference - Salvador, Brazil (2012.09.02-2012.09.07)] Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1 - Formal methods and analysis in software product line engineering

ter Beek, Maurice H., Becker, Martin, Classen, Andreas, Roos-Frantz, Fabricia, Schaefer, Ina, Wong, Peter Y. H.

Year:

2012

Language:

english

File:

PDF, 508 KB

english, 2012

71

[ACM Press the 23rd International Systems and Software Product Line Conference - Paris, France (2019.09.09-2019.09.13)] Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC '19 - Textual variability modeling languages

Beek, Maurice H. ter, Schmid, Klaus, Eichelberger, Holger

Year:

2019

File:

PDF, 438 KB

2019

72

[ACM Press the 13th International Workshop - Leuven, Belgium (2019.02.06-2019.02.08)] Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems - VAMOS '19 - Quantitative Variability Modeling and Analysis

ter Beek, Maurice H., Legay, Axel

Year:

2019

Language:

english

File:

PDF, 374 KB

english, 2019

73

A Calculus for Team Automata

Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 377 KB

english, 2008

74

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 || Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 1.41 MB

english, 2016

75

[ACM Press the 21st International Systems and Software Product Line Conference - Volume B - Sevilla, Spain (2017.09.25-2017.09.29)] Proceedings of the 21st International Systems and Software Product Line Conference - Volume B on ZZZ - SPLC '17 - Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata

Basile, Davide, ter Beek, Maurice H., Di Giandomenico, Felicita, Gnesi, Stefania

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

76

[Lecture Notes in Computer Science] Critical Systems: Formal Methods and Automated Verification Volume 9933 || Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis

ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

Year:

2016

Language:

english

File:

PDF, 654 KB

english, 2016

77

[Lecture Notes in Computer Science] Formal Methods – The Next 30 Years Volume 11800 (Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings) ||

ter Beek, Maurice H., McIver, Annabelle, Oliveira, José N.

Year:

2019

Language:

english

File:

PDF, 35.63 MB

english, 2019

78

Quantitative variability modelling and analysis

ter Beek, Maurice H., Legay, Axel

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 219 KB

english, 2019

79

[ACM Press the 16th International Software Product Line Conference - Salvador, Brazil (2012.09.02-2012.09.07)] Proceedings of the 16th International Software Product Line Conference on - SPLC '12 -volume 1 - Demonstration of a model checker for the analysis of product variability

ter Beek, Maurice H., Gnesi, Stefania, Mazzanti, Franco

Year:

2012

Language:

english

File:

PDF, 2.07 MB

english, 2012

80

Team Automata for Security: – A Survey –

Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 256 KB

english, 2005

81

[IEEE Second International Conference on Internet and Web Applications and Services (ICIW'07) - Morne, Mauritius (2007.05.13-2007.05.19)] Second International Conference on Internet and Web Applications and Services (ICIW'07) - Web Service Composition Approaches: From Industrial Standards to Formal Methods

ter Beek, Maurice, Bucchiarone, Antonio, Gnesi, Stefania

Year:

2007

Language:

english

File:

PDF, 156 KB

english, 2007

82

[ACM Press the 17th International Software Product Line Conference - Tokyo, Japan (2013.08.26-2013.08.30)] Proceedings of the 17th International Software Product Line Conference on - SPLC '13 - Formal methods and analysis in software product line engineering

Clarke, Dave, Schaefer, Ina, ter Beek, Maurice H., Apel, Sven, Atlee, Joanne M.

Year:

2013

Language:

english

File:

PDF, 105 KB

english, 2013

83

[Lecture Notes in Computer Science] Architecting Dependable Systems VI Volume 5835 || Towards Self-adaptation for Dependable Service-Oriented Systems

de Lemos, Rogério, Fabre, Jean-Charles, Gacek, Cristina, Gadducci, Fabio, ter Beek, Maurice

Year:

2009

Language:

english

File:

PDF, 694 KB

english, 2009

84

Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets

Sanchez Martin, Jose Angel, Petre, Ion, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 14.93 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски