Maurice H Ter Beek Authors: Add personal information
 Affiliation history
Bibliometrics: publication history
SEARCH
ROLE
Author only
· Editor only
· All roles

AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas

BOOKMARK & SHARE

 #resultstats2 { width:100%; padding: 10px; background-color:#ECE9D8; /*background:#9c9;*/ } #resultstats { width:100%; /*background-color:#ECE9D8;*/ font-size: 12px; /*background:#9c9;*/ } #resultstats a:link { text-decoration: none; } #resultstats div { padding-bottom: 5px; padding-top: 5px; } #resfound { background-color: #ece9d8; padding-left:5px } #searchtools { display:inline; float:right; padding-right: 10px; } #refinements { padding-top: 5px; } #refinements table { margin-left: 10px; } #refinements tr { vertical-align:top; } #refinements span { font-size: 12px; } .rectots { font-size:12px; } .problem { font-size:12px; color: red; } div.problem { height: 400px; } #results { /* float:right; */ /* width:80%; */ color: #000000; font-family: Verdana,Arial,Helvetica,sans-serif; font-size: 12px; padding-top: 10px; /*background:#9c9;*/ } #aggs { float:left; width:20%; font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; } #pagelogic { font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; float:right; padding-bottom: 10px; } #pagerange { font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; float:left; padding-bottom: 10px; } #resultmenu { font-family: Verdana,Arial,Helvetica,sans-serif; font-size:12px; float:right; padding-bottom: 10px; } #resultmenu label { margin-right: 0px; vertical-align:bottom; } #resultmenu input { margin-right: 0px; vertical-align:bottom; } #resultmenu select { margin-right: 0px; background-color: #aff; border: 0; border-radius: 0; font-size: 12px; } #resultmenu option { font-size: 12px; background-color: white; } .aggHead { font-weight: bold; padding-bottom: 0; padding-top: 10px; } #aggs ul{ list-style-type: none; margin-top: 0.25em; padding-left: 0; font-size: 1em; } #upcevents li{ padding-bottom: 1.25em; } #upcevents div{ margin-top: 25px; } a.showhide:link { text-decoration: none; } #results .numbering{ font-size: 12px; font-weight:bold; width:30px; float:left; text-align: right; padding-top: 2px; } #results .details{ font-size: 12px; width:92%; float:right; padding-bottom: 20px; } #results .title{ font-size: 14px; padding-bottom:5px; } #results .authors{ font-size: 12px; padding-bottom:5px; } #results .source{ font-size: 12px; padding-bottom:5px; } #results .publisher{ font-size: 12px; padding-bottom:5px; } #results .metrics{ font-size: 12px; padding-bottom:5px; } #results .metricsCol1{ float: left; display:inline; padding-bottom:5px; } #results .metricsCol2{ float: right; display: inline; width: 590px; padding-bottom:5px; } #results .ft{ font-size: 12px; padding-bottom:5px; } #results .abstract{ font-size: 12px; padding-bottom:5px; } #results .kw{ font-size: 12px; padding-bottom:5px; } #results .pubother{ font-size: 12px; padding-bottom:5px; } .izers { margin-top: 10px; margin-bottom:10px; } .highlights em{ background-color: #FFFF00; font-style: normal; } .publicationDate { background-color: #aff; } .citedCount { } .download6Weeks { } .download12Months { } .downloadAll { } 16 results found Export Results: bibtex | endnote | acmref | csv Result 1 – 16 of 16 Sort by: relevance publication date citation count downloads (6 Weeks) downloads (12 months) downloads (overall) 1 February 2018 ACM Transactions on Modeling and Computer Simulation (TOMACS): Volume 28 Issue 2, March 2018 Publisher: ACM Bibliometrics: Citation Count: 0 Downloads (6 Weeks): 24,   Downloads (12 Months): 24,   Downloads (Overall): 24 Full text available: PDF Keywords: Formal methods, system specification and verification, Collective Adaptive Systems 2 February 2018 ACM Transactions on Modeling and Computer Simulation (TOMACS): Volume 28 Issue 2, March 2018 Publisher: ACM Bibliometrics: Citation Count: 0 Downloads (6 Weeks): 14,   Downloads (12 Months): 14,   Downloads (Overall): 14 Full text available: PDF The article “Design and Verification of Trusted Collective Adaptive Systems” by Aldini proposes a process-algebraic framework for modeling and verifying trusted collective adaptive systems. To favor reuse, the system and trust models can be specified separately, only to be integrated at the semantic level. Through a combination of behavioral equivalence ... Keywords: trust and reputation models, model checking, RCR report, collective adaptive systems 3 April 2017 Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering - Volume 10202 Publisher: Springer-Verlag New York, Inc. Bibliometrics: Citation Count: 0 Family-based model checking targets the simultaneous verification of multiple system variants, a technique to handle feature-based variability that is intrinsic to software product lines SPLs. We present an approach for family-based verification based on the feature $$\mu$$-calculus $$\mu L {}_f$$, which combines modalities with feature expressions. This logic is ... 4 September 2015 Revised Selected Papers of the SEFM 2015 Collocated Workshops on Software Engineering and Formal Methods - Volume 9509 Publisher: Springer-Verlag New York, Inc. Bibliometrics: Citation Count: 0 Public bike-sharing systems are a popular means of sustainable urban mobility, but their successful introduction in a city stands or falls with their specific designs. What kind of bikes and docking stations are needed, how many and where to install them? How to avoid as much as possible that stations ... 5 October 2014 Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802 Publisher: Springer-Verlag New York, Inc. Bibliometrics: Citation Count: 4 We introduce by means of an example a modular verification technique for analyzing the behavior of software product lines using the mCRL2 toolset. Based on feature-driven borders, we divide a behavioral model of a product line into a set of separate components with interfaces and a driver process to ... 6 October 2014 Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802 Publisher: Springer-Verlag New York, Inc. Bibliometrics: Citation Count: 2 Bike-sharing systems are becoming popular not only as a sustainable means of transportation in the urban environment, but also as a challenging case study that presents interesting run-time optimization problems. As a side-study within a research project aimed at quantitative analysis that used such a case study, we have observed ... 7 October 2014 Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802 Publisher: Springer-Verlag New York, Inc. Bibliometrics: Citation Count: 0 Software product line engineering SPLE [5,11] aims to develop a family of software-intensive systems via systematic, large-scale reuse in order to reduce time-to-market and costs and to increase the quality of individual products. In order to achieve these goals, formal methods offer promising analysis techniques, which are best applied throughout ... 8 June 2014 FormaliSE 2014: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering Publisher: ACM Bibliometrics: Citation Count: 5 Downloads (6 Weeks): 2,   Downloads (12 Months): 18,   Downloads (Overall): 61 Full text available: PDF We show how the formal specification language mCRL2 and its state-of-the-art toolset can be used successfully to model and analyze variability in software product lines. The mCRL2 toolset supports parametrized modeling, model reduction and quality assurance techniques like model checking. We present a proof-of-concept, which moreover illustrates the use of ... Keywords: mCRL2, variability analysis, product lines, Model checking 9 June 2011 FMOODS'11/FORTE'11: Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems Publisher: Springer-Verlag Bibliometrics: Citation Count: 9 We propose a model-checking tool for on-the-fly verification of properties expressed in a branching-time temporal logic based on a deontic interpretation of classical modal and temporal operators over modal transition systems. We apply this tool to the analysis of variability in behavioural descriptions of families of services. 10 October 2010 IFM'10: Proceedings of the 8th international conference on Integrated formal methods Publisher: Springer-Verlag Bibliometrics: Citation Count: 17 We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy-Milner logic with Until and we interpret it over Modal Transition Systems (MTSs). MTSs extend the classical notion of Labelled Transition Systems by distinguishing possible ... 11 August 2009 SEAA '09: Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications Publisher: IEEE Computer Society Bibliometrics: Citation Count: 1 We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of formal methods and tools, and it can support software architects throughout the design, analysis and code generation of software systems. To illustrate the ... Keywords: Dynamic Software Architectures, Formal Methods, Code Generation 12 August 2009 INTERACT '09: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I Publisher: Springer-Verlag Bibliometrics: Citation Count: 7 In many modern working environments interruptions are commonplace as users must temporarily suspend a task to complete an unexpected intervening activity. As users are faced with more and more sources of information competing for their attention, it is becoming increasingly important to understand how interruptions affect their abilities to complete ... 13 September 2008 HCSE-TAMODIA '08: Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams Publisher: Springer-Verlag Bibliometrics: Citation Count: 0 The analysis of usability aspects of multi-user systems, such as co-operative work systems and pervasive systems, pose particular problems because group behavior of their users may have considerable impact on usability. Model-based analysis of such features leads to state-space explosion because of the sheer number of entities to be modeled ... Keywords: Groupware Systems, Performance Evaluation Process Algebra, Ordinary Differential Equations, Formal Methods, Model-based usability analysis 14 January 2006 Journal of Automata, Languages and Combinatorics: Volume 11 Issue 4, January 2006 Publisher: Otto-von-Guericke-Universitat Bibliometrics: Citation Count: 1 Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automata for the analysis of security aspects in such protocols. To this aim, we define an insecure communication scenario for ... Keywords: security analysis, security properties, communication protocols, team automata 15 March 2002 Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002] Publisher: Springer-Verlag Bibliometrics: Citation Count: 1 It is demonstrated how Petri nets may be used to control the derivations in systems of cooperating grammars. This allows to define grammar systems with a concurrent rewriting protocol. Some basic properties are established. 16 January 1997 New Trends in Formal Languages - Control, Cooperation, and Combinatorics (to Jürgen Dassow on the occasion of his 50th birthday) Publisher: Springer-Verlag Bibliometrics: Citation Count: 1