Estimating latency and concurrency of asynchronous real-time interactive systems using model checking

Συγγραφείς: Rehfeld, Stephan, Latoschik, Marc Erich, Tramberend, Henrik

Πηγή: 2016 IEEE Virtual Reality (VR) Virtual Reality (VR), 2016 IEEE. :57-66 Mar, 2016

Relation: 2016 IEEE Virtual Reality (VR)

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

Συγγραφείς: ter Beek M H, Fantechi A, Gnesi S, Mazzanti F

Πηγή: Science of computer programming
76 (2011): 119–135. doi:10.1016/j.scico.2010.07.002
info:cnr-pdr/source/autori:ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Mazzanti, F./titolo:A state%2Fevent-based model-checking approach for the analysis of abstract system properties/doi:10.1016%2Fj.scico.2010.07.002/rivista:Science of computer programming (Print)/anno:2011/pagina_da:119/pagina_a:135/intervallo_pagine:119–135/volume:76

Θεματικοί όροι: Model checking, Service-oriented computing, UML State machines, Formal methods, Temporal logic, D.2.4 Software/Program Verification. Model Checking, 0102 computer and information sciences, 02 engineering and technology, State machines, 01 natural sciences, UML, D.2.4 Software/Program Verification. Formal methods, Automotive systems Service-oriented computing, 0202 electrical engineering, electronic engineering, information engineering, Automotive systems, Software, F.4.1 Mathematical Logic. Temporal logic

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/20.500.14243/21607
https://doi.org/10.1016/j.scico.2010.07.002
http://www.sciencedirect.com/science/article/pii/S0167642310001498
http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V17-50NBNJ5-2&_user=8746464&_coverDate=02/01/2011&_rdoc=1&_fmt=high&_orig=search&_origin=search&_sort=d&_docanchor=&view=c&_acct=C000031418&_version=1&_urlVersion=0&_userid=8746464&md5=e4483ebd7ac6c7f90fde54f4200cdfe0&searchtype=a
https://hdl.handle.net/2158/402310

Combining declarative and procedural views in the specification and analysis of product families

Συγγραφείς: Ter Beek M H, Lluch Lafuente A, Petrocchi M

Πηγή: FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering, pp. 10–17, Tokyo, Japan, 26-30 August 2013
info:cnr-pdr/source/autori:Ter Beek M. H.; Lluch Lafuente A.; Petrocchi M./congresso_nome:FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering/congresso_luogo:Tokyo, Japan/congresso_data:26-30 August 2013/anno:2013/pagina_da:10/pagina_a:17/intervallo_pagine:10–17
ACM International Conference Proceeding Series

Θεματικοί όροι: Maude, Model checking, Product families, QA75 Electronic computers. Computer science, Process algebra, 02 engineering and technology, Concurrent constraint programming, D.2.4 Software/Program Verification. Formal methods, Behavioural analyses, D.2.4 Software/Program Verification. Model checking, Validation, D.2.4 Software/Program Verification. Validation, 0202 electrical engineering, electronic engineering, information engineering, Variability

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://eprints.imtlucca.it/1589/1/paper.pdf
https://dblp.uni-trier.de/db/conf/splc/splc2013w.html#BeekLP13
https://dl.acm.org/citation.cfm?doid=2499777.2500722
http://fmt.isti.cnr.it/~mtbeek/FMSPLE13.pdf
http://fmt.isti.cnr.it/~mtbeek/slidesTokyo.pdf
https://dl.acm.org/doi/10.1145/2499777.2500722
https://core.ac.uk/display/18435001

Formal Methods for Industrial Critical Systems: A Survey of Applications

Συγγραφείς: Gnesi S, Margaria T

Πηγή: info:cnr-pdr/source/autori:Gnesi S., Margaria T./titolo:Formal methods for industrial critical systems: a survey of applications/editore:/anno:2013

Θεματικοί όροι: D.2.4 Software/Program Verification. Formal methods, Software engineering, Critical Systems, D.2.4 Software/Program Verification. Model checking, Formal methods, 7. Clean energy

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/20.500.14243/252557
https://doi.org/10.1002/9781118459898
http://onlinelibrary.wiley.com/book/10.1002/9781118459898

Detecting policy conflicts by model checking UML state machines

Συγγραφείς: Ter Beek M H, Gnesi S, Montangero C, Semini L

Πηγή: FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS Nakamura, M; Reiff-Marganiec, S, edited by Nakamura, M; Reiff-Marganiec, S, pp. 59–74. Amsterdam: IOS Press, 2009
info:cnr-pdr/source/autori:Ter Beek M. H.; Gnesi S.; Montangero C.; Semini L./titolo:Detecting policy conflicts by model checking UML state machines/titolo_volume:FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS Nakamura, M; Reiff-Marganiec, S/curatori_volume:Nakamura, M; Reiff-Marganiec, S/editore: /anno:2009
info:cnr-pdr/source/autori:Ter Beek M. H.; Gnesi S.; Montangero C.; Semini L./congresso_nome:10th International Conference on Feature Interactions in Telecommunications and Software Systems/congresso_luogo:Lisbon, PORTUGAL/congresso_data:JUN 11-12, 2009/anno:2009/pagina_da:59/pagina_a:74/intervallo_pagine:59–74

Θεματικοί όροι: D.2.4 Software/Program Verification. Formal methods, Model checking, D.2.4 Software/Program Verification. Model checking, Policy conflict, 16. Peace & justice, UML

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://ebooks.iospress.nl/publication/29829
https://arpi.unipi.it/handle/11568/198164
https://doi.org/10.3233/978-1-60750-014-8-59
https://dblp.uni-trier.de/db/conf/fiw/icfi2009.html#BeekGMS09
http://www.booksonline.iospress.nl/Content/View.aspx?piid=12328
https://hdl.handle.net/20.500.14243/88960
https://doi.org/10.3233/978-1-60750-014-8-59
https://hdl.handle.net/20.500.14243/12843
https://doi.org/10.3233/978-1-60750-014-8-59
http://ebooks.iospress.nl/publication/29829
https://hdl.handle.net/11568/198164

Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series

Συγγραφείς: Clarke D, Schaefer I, Ter Beek M H, Apel S, Atlee J M

Πηγή: SPLC'13-17th International Software Product Line Conference, pp. 266–267, Tokyo, Japan, 26-30 August 2013
info:cnr-pdr/source/autori:Clarke D.; Schaefer I.; Ter Beek M. H.; Apel S.; Atlee J. M./congresso_nome:SPLC'13-17th International Software Product Line Conference/congresso_luogo:Tokyo, Japan/congresso_data:26-30 August 2013/anno:2013/pagina_da:266/pagina_a:267/intervallo_pagine:266–267

Θεματικοί όροι: D.2.2 Design Tools and Techniques, D.2.5 Testing and Debugging, Evolution, Formal methods, Testing, Verification, 02 engineering and technology, D.2.13 Reusable Software, Software Product Lines, D.2.11 Software Architectures, Semantics, D.2.4 Software/Program Verification. Formal methods, D.2.4 Software/Program Ver, D.2.4 Software/Program Verification. Model checking, D.2.4 Software/Program Verification. Validation, 0202 electrical engineering, electronic engineering, information engineering, Variability

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://dl.acm.org/citation.cfm?doid=2491627.2499880
https://doi.org/10.1145/2491627.2499880
https://hdl.handle.net/20.500.14243/253174

Towards model checking stochastic aspects of the thinkteam user interface - FULL VERSION

Συγγραφείς: ter Beek M., Massink M., Latella D.

Πηγή: ISTI Technical reports, 2005

Θεματικοί όροι: D.2.4 Software/Program Verification. Model checking, Stochastic model checking, stochastic process algebras, H.3.4 Systems and Software. Performance evaluation (efficiency and effectiveness)

Σύνδεσμος πρόσβασης: http://www.cnr.it/prodotto/i/160296
https://publications.cnr.it/doc/160296