Trace and Stable Failures Semantics for CSP-Agda

Authors: Igried, Bashar, Setzer, Anton

Source: EPTCS 258, 2017, pp. 36-51

Subject Terms: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science, D.1.3 Concurrent Programming---Parallel programming, D.2.4 Software/Program Verification---Formal methods, D.3.1 Formal Definitions and Theory---Semantics, F.3.2 Semantics of Programming Languages---Denotational semantics---Operational semantics---Process

Access URL: http://arxiv.org/abs/1709.04714

Towards a Feature mu-Calculus Targeting SPL Verification

Authors: Ter Beek MH, De Vink EP, Willemse TA

Source: FMSPLE 2016-Formal Methods and Analysis in Software Product Line Engineering, pp. 61–75, Eindhoven, The Netherlands, 3 April 2016
info:cnr-pdr/source/autori:Ter Beek M.H.; De Vink E.P.; Willemse T.A./congresso_nome:FMSPLE 2016-Formal Methods and Analysis in Software Product Line Engineering/congresso_luogo:Eindhoven, The Netherlands/congresso_data:3 April 2016/anno:2016/pagina_da:61/pagina_a:75/intervallo_pagine:61–75
Electronic Proceedings in Theoretical Computer Science, Vol 206, Iss Proc. FMSPLE 2016, Pp 61-75 (2016)

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, mu-calculus with features, Featured Transition Systems, Family-based model checking, QA75.5-76.95, 02 engineering and technology, Software/Program Verification. Model checking, Reusable Software. Domain engineering, Software/Program Verification. Formal methods, Logic in Computer Science (cs.LO), Electronic computers. Computer science, Behavioral SPL models, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics

File Description: application/pdf

Access URL: https://arxiv.org/pdf/1604.00350
http://arxiv.org/abs/1604.00350
https://doaj.org/article/2c2c7af3c9a74e1f9f5197ec5b55d576
https://www.arxiv.org/abs/1604.00350
https://arxiv.org/pdf/1604.00350.pdf
https://ui.adsabs.harvard.edu/abs/2016arXiv160400350T/abstract
https://hdl.handle.net/20.500.14243/315796
http://eptcs.web.cse.unsw.edu.au/paper.cgi?FMSPLE2016.6
https://doi.org/10.4204/EPTCS.206.6

Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer

Authors: FERRARI, ALESSIO, MAGNANI, GIANLUCA, GRASSO, DANIELE, FANTECHI, ALESSANDRO, Matteo Tempestini

Source: pp. 126–144. Hershey: IGI Global, 2013
info:cnr-pdr/source/autori:Ferrari A.; Magnani, Gianluca; Grasso, Daniele; Fantechi A.; Tempestini, Matteo/titolo:Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer/titolo_volume:/curatori_volume:/editore: /anno:2013
International journal of embedded and real-time communication systems (Online) 2 (2011): 42–61. doi:10.4018/jertcs.2011040103
info:cnr-pdr/source/autori:Ferrari A., Magnani G., Grasso D., Fantechi A., Tempestini M./titolo:Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer/doi:10.4018%2Fjertcs.2011040103/rivista:International journal of embedded and real-time communication systems (Online)/anno:2011/pagina_da:42/pagina_a:61/intervallo_pagine:42–61/volume:2

Subject Terms: model-based testing, Model based testing, Model-Based Testing, Abstract Interpretation, industrial experience, 0202 electrical engineering, electronic engineering, information engineering, D.2.4 Software/Program Verification. Formal Methods, abstract interpretation, 02 engineering and technology, communication systems, Safety-Critical Software, Code Generation, Railway Signalling

File Description: application/pdf

Access URL: https://dblp.uni-trier.de/db/journals/ijertcs/ijertcs2.html#FerrariMGFT11
https://www.igi-global.com/chapter/adoption-model-based-testing-abstract/74245
https://hdl.handle.net/20.500.14243/21705
https://doi.org/10.4018/jertcs.2011040103
http://www.scopus.com/record/display.url?eid=2-s2.0-84949487428&origin=inward
https://hdl.handle.net/20.500.14243/315063
https://doi.org/10.4018/978-1-4666-2776-5.ch007
https://hdl.handle.net/2158/606302
https://doi.org/10.4018/jertcs.2011040103

Dynamite: A tool for the verification of alloy models based on PVS

Authors: Moscato, Mariano Miguel, Lopez Pombo, Carlos Gustavo, Frias, Marcelo Fabian

Source: ACM Transactions on Software Engineering and Methodology. 23:1-37

Subject Terms: PVS, 2. Zero hunger, Alloy, 0102 computer and information sciences, 0101 mathematics, 16. Peace & justice, Software/Program Verification Formal Methods, Design Verification, 01 natural sciences

File Description: application/pdf

Access URL: https://dblp.uni-trier.de/db/journals/tosem/tosem23.html#MoscatoPF14
https://dl.acm.org/doi/10.1145/2544136
https://doi.org/10.1145/2544136
http://hdl.handle.net/11336/31286

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

Authors: ter Beek M H, Fantechi A, Gnesi S, Mazzanti F

Source: 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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Supervisory Controller Synthesis for Product Lines Using CIF 3

Authors: Ter Beek M H, Reniers M A, De Vink E P

Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 856–873, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Reniers M. A.; De Vink E. P./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:856/pagina_a:873/intervallo_pagine:856–873

Subject Terms: I.2.8 ARTIFICIAL INTELLIGENCE. Problem Solving, and Search. Control theory, Control Methods, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, 0202 electrical engineering, electronic engineering, information engineering, Controller Synthesis, Correctness-by-Construction, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, 02 engineering and technology, Supervisory Controller, Software Product Lines

File Description: application/pdf

Access URL: https://ir.cwi.nl/pub/25175/25175.pdf
https://research.tue.nl/en/publications/821c9bda-4563-4e7d-a106-27ef479a5c8e
https://doi.org/10.1007/978-3-319-47166-2_59
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2F821c9bda-4563-4e7d-a106-27ef479a5c8e
http://doi.org/10.1007/978-3-319-47166-2_59
https://doi.org/10.1007/978-3-319-47166-2_59
https://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_59
https://core.ac.uk/display/86350892
https://research.tue.nl/en/publications/supervisory-controller-synthesis-for-product-lines-using-cif3
https://hdl.handle.net/20.500.14243/321031
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_59
https://doi.org/10.1007/978-3-319-47166-2_59

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems

Authors: Maurice H. ter Beek, Michele Loreti

Source: info:cnr-pdr/source/autori:Ter Beek M. H.; Loreti M. (eds.)/titolo:Preface. Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems/editore:/anno:2016

Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Software engineering, Computer Science - Performance, Software Engineering, 0102 computer and information sciences, 02 engineering and technology, Formal Methods, 01 natural sciences, Software/Program Verification. Formal methods, Logic in Computer Science (cs.LO), Performance (cs.PF), Software Engineering (cs.SE), Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, Mathematical Logic, Collective Adaptive Systems

File Description: application/pdf

Access URL: http://arxiv.org/abs/1607.02001
https://pubblicazioni.unicam.it/handle/11581/405873
https://www.arxiv.org/abs/1607.02001
http://ui.adsabs.harvard.edu/abs/2016arXiv160702001T/abstract
https://128.84.21.199/abs/1607.02001
http://arxiv.org/pdf/1607.02001.pdf
https://arxiv.org/html/1607.02001v1
https://hdl.handle.net/20.500.14243/318213
https://doi.org/10.4204/EPTCS.217
https://hdl.handle.net/11581/405873
https://doi.org/10.4204/EPTCS.217

Statistical Model Checking for Product Lines

Authors: ter Beek, Maurice H, Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea

Contributors: JAFRI, Nisrine, Margaria, Tiziana, Steffen, Bernhard

Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8

Subject Terms: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models

File Description: application/pdf

Access URL: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8

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

Authors: Ter Beek M H, Lluch Lafuente A, Petrocchi M

Source: 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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Modelling and Verification of PREMO Synchronisable Objects: Modelling and verification of PREMO synchronisable objects

Authors: Faconti G, MASSINK M

Source: Formal aspects of computing 10 (1998): 405–434. doi:10.1007/s001650050024
info:cnr-pdr/source/autori:Faconti G.; Massink M./titolo:Modelling and verification of PREMO synchronizable objects/doi:10.1007%2Fs001650050024/rivista:Formal aspects of computing/anno:1998/pagina_da:405/pagina_a:434/intervallo_pagine:405–434/volume:10
info:cnr-pdr/source/autori:Faconti G.; MASSINK M./titolo:Modelling and verification of PREMO synchronisable objects/doi:10.1007%2Fs001650050024/rivista:Formal aspects of computing/anno:1998/pagina_da:405/pagina_a:434/intervallo_pagine:405–434/volume:10

Subject Terms: Model checking, Formal modelling, Network design and communication in computer systems, Media synchronisation, PREMO, Software/program verification. Formal methods, 0102 computer and information sciences, 02 engineering and technology, Refinement, 01 natural sciences, Process Calculi, Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.), 0202 electrical engineering, electronic engineering, information engineering, Multimedia presentation

File Description: application/xml; application/pdf

Access URL: https://link.springer.com/article/10.1007/s001650050024
https://link.springer.com/content/pdf/10.1007/s001650050024.pdf
https://dblp.uni-trier.de/db/journals/fac/fac10.html#FacontiM98

Formal Modelling and Verification of an Asynchronous Extension of SOAP

Authors: Maurice H ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso

Source: IEEE European Conference on Web Services (ECOWS'07), pp. 287–296, Zurich, Switzerland, 04-06/12/2006
info:cnr-pdr/source/autori:Ter Beek M., Gnesi S., Mazzanti F., Moiso C./congresso_nome:IEEE European Conference on Web Services (ECOWS'07)/congresso_luogo:Zurich, Switzerland/congresso_data:04-06%2F12%2F2006/anno:2006/pagina_da:287/pagina_a:296/intervallo_pagine:287–296
ISTI Technical reports, 2006
Forth IEEE European Conference on Web Services ECOWS'06, pp. 287–296, Zurich, Switzerland, 4-6 December 2006
info:cnr-pdr/source/autori:Maurice H. ter Beek; Stefania Gnesi; Franco Mazzanti; Corrado Moiso/congresso_nome:Forth IEEE European Conference on Web Services ECOWS'06/congresso_luogo:Zurich, Switzerland/congresso_data:4-6 December 2006/anno:2006/pagina_da:287/pagina_a:296/intervallo_pagine:287–296

Subject Terms: formal specification, Model checking, Formal methods, Simple object access protocol, Network protocol, formal verification, SOAP protocol, UMC model checker, D.2.4 Software/Program Verification . Formal Methods, Model Checking, Web services

File Description: application/pdf

Access URL: http://fmt.isti.cnr.it/~mtbeek/TRasoap.pdf
https://publications.cnr.it/doc/91325
http://fmt.isti.cnr.it/~mtbeek/asoap.pdf
http://www.cnr.it/prodotto/i/91325
http://www.cnr.it/prodotto/i/160311
https://publications.cnr.it/doc/160311
https://ieeexplore.ieee.org/document/4031172/
http://fmt.isti.cnr.it/~mtbeek/ecows06.pdf
https://dblp.uni-trier.de/db/conf/ecows/ecows2006.html#BeekGMM06
https://www.computer.org/csdl/proceedings-article/ecows/2006/27370287/12OmNAYoKon
http://fmt.isti.cnr.it/WEBPAPER/asoap.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004031172
http://fmt.isti.cnr.it/~mtbeek/asoap.pdf
https://hdl.handle.net/20.500.14243/61488
https://hdl.handle.net/20.500.14243/14962
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4031172
https://doi.org/10.1109/ECOWS.2006.22

Towards Automatic Decision Support for Bike-Sharing System Design

Authors: Ter Beek M H, Gnesi S, Latella D, Massink M

Source: Lecture Notes in Computer Science ISBN: 9783662492239
Software Engineering and Formal Methods, edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe, pp. 266–280, 2015
info:cnr-pdr/source/autori:Ter Beek M. H.; Gnesi S.; Latella D.; Massink M./titolo:Towards automatic decision support for bike-sharing system design/titolo_volume:Software Engineering and Formal Methods/curatori_volume:Domenico Bianculli, Radu Calinescu, Bernhard Rumpe/editore:/anno:2015

Subject Terms: Multi-objective ptimisation, Probability and Statistics. Markov processes, 11. Sustainability, Probabilistic temporal logic, Software/Program Verification. Model checking, Bike-sharing systems, Variability analysis, Mean field model checking, Software/Program Verification. Formal methods

File Description: application/pdf

Non-termination of Dalvik bytecode via compilation to CLP

Authors: Payet, Etienne, Mesnard, Frédéric

Contributors: Univ, Réunion, Fuhs, Carsten

Subject Terms: Android, Constraint Logic Programming, F31 Specifying and Verifying and Reasoning about Programs (Mechanical verification), 1998 ACM Subject Classification D24 Software/Program Verification (Formal methods), Dalvik, F32 Se-mantics of Programming Languages (Program analysis) Keywords and phrases Non-Termination, [INFO] Computer Science [cs]

File Description: application/pdf

Access URL: https://hal.univ-reunion.fr/hal-01451692v1

On the Validation of an Interlocking System by Model-Checking

Authors: Bonacchi A, Fantechi A

Source: Lecture Notes in Computer Science ISBN: 9783319107011
FMICS 2014-Formal Methods for Industrial Critical Systems. 19th International Conference, pp. 94–108, Florence, Italy, 11-12 September 2014
info:cnr-pdr/source/autori:Bonacchi A.; Fantechi A./congresso_nome:FMICS 2014-Formal Methods for Industrial Critical Systems. 19th International Conference/congresso_luogo:Florence, Italy/congresso_data:11-12 September 2014/anno:2014/pagina_da:94/pagina_a:108/intervallo_pagine:94–108

Subject Terms: D.2.4 Software/Program Verification. Formal methods, Model checking, Railway Signalling Systems, Interlocking systems, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

File Description: application/pdf

Access URL: https://link.springer.com/content/pdf/10.1007/978-3-319-10702-8_7.pdf
https://dblp.uni-trier.de/db/conf/fmics/fmics2014.html#BonacchiF14
https://link.springer.com/chapter/10.1007/978-3-319-10702-8_7
https://rd.springer.com/chapter/10.1007/978-3-319-10702-8_7
https://hdl.handle.net/20.500.14243/272347
https://doi.org/10.1007/978-3-319-10702-8_7
http://link.springer.com/chapter/10.1007/978-3-319-10702-8_7#page-1

Quantitative Aspects of Programming Languages and Systems (2011-12). Preface

Authors: Massink M, Norman G, Wiklicky H

Source: info:cnr-pdr/source/autori:Massink M., Norman G., Wiklicky H./titolo:Quantitative Aspects of Programming Languages and Systems (2011-12). Preface/editore:/anno:2014

Subject Terms: D.2.4 Software/Program Verification. Formal methods

File Description: application/pdf

Access URL: https://hdl.handle.net/20.500.14243/284460
https://doi.org/10.1016/j.tcs.2014.05.011
http://www.sciencedirect.com/science/article/pii/S0304397514003818

Formal Methods for Industrial Critical Systems: A Survey of Applications

Authors: Gnesi S, Margaria T

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

Subject Terms: 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

File Description: application/pdf

Access URL: https://hdl.handle.net/20.500.14243/252557
https://doi.org/10.1002/9781118459898
http://onlinelibrary.wiley.com/book/10.1002/9781118459898

An experience on formal analysis of a high-level graphical SOA design

Authors: Ter Beek M H, Mazzanti F, Sulova A

Source: Second International Workshop on Formal Methods and Agile Methods, pp. 79–98, Pisa, Italy, 17 Settembre 2010
info:cnr-pdr/source/autori:Ter Beek M. H.; Mazzanti F.; Sulova A./congresso_nome:Second International Workshop on Formal Methods and Agile Methods/congresso_luogo:Pisa, Italy/congresso_data:17 Settembre 2010/anno:2010/pagina_da:79/pagina_a:98/intervallo_pagine:79–98

Subject Terms: Design Tools and Techniques, Formal methods, Service-Oriented Computing, Software/Program Verification. Formal Methods, UML

File Description: application/pdf

Access URL: http://www.cnr.it/prodotto/i/92121
https://publications.cnr.it/doc/92121
https://subs.emis.de/LNI/Proceedings/Proceedings179.html
https://hdl.handle.net/20.500.14243/63123
https://subs.emis.de/LNI/Proceedings/Proceedings179.html

Preface to FMICS 2008

Authors: Cofer D, Fantechi A

Source: info:cnr-pdr/source/autori:Cofer D.; Fantechi A./titolo:Preface to FMICS 2008/editore:/anno:2009

Subject Terms: D.2.4 Software/Program Verification. Formal Methods, Formal Methods for Industrial Critical Systems

File Description: application/pdf

Rate-Based Transition Systems for Stochastic Process Calculi

Authors: De Nicola R, Latella D, Loreti M, Massink M

Contributors: Albers, Susanne, Marchetti-Spaccamela, Alberto, Matias, Yossi, E. Nikoletseas, Sotiris, Thomas, Wolfgang

Source: Lecture Notes in Computer Science ISBN: 9783642029295
Lecture notes in computer science 5556 (2009): 435–446. doi:10.1007/978-3-642-02930-1_36
info:cnr-pdr/source/autori:De Nicola R.; Latella D.; Loreti M.; Massink M./titolo:Rate-based transition systems for stochastic process calculi/doi:10.1007%2F978-3-642-02930-1_36/rivista:Lecture notes in computer science/anno:2009/pagina_da:435/pagina_a:446/intervallo_pagine:435–446/volume:5556
Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, pp. 435–446, Rhodes, greece, July 5-12, 2009
info:cnr-pdr/source/autori:De Nicola R.; Latella D.; Loreti M.; Massink M./congresso_nome:Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009/congresso_luogo:Rhodes, greece/congresso_data:July 5-12, 2009/anno:2009/pagina_da:435/pagina_a:446/intervallo_pagine:435–446

Subject Terms: QA75 Electronic computers. Computer science, SOS, 68Q85 Models and methods for concurrent and distributed computing (process algebras, 0102 computer and information sciences, 02 engineering and technology, transition nets, 01 natural sciences, Stochastic Process Algebra, Structured Operational Semantics, bisimulation, etc.), D.2.4 Software/Program Verification (formal methods), 0202 electrical engineering, electronic engineering, information engineering, Rate-Based Transition Systems, Formal Semantics

File Description: application/pdf

Access URL: http://eprints.imtlucca.it/275/1/icalp2_2009a.pdf
https://link.springer.com/book/10.1007/978-3-642-02930-1
https://hdl.handle.net/20.500.14243/120748
https://doi.org/10.1007/978-3-642-02930-1_36
https://openportal.isti.cnr.it/doc?id=people______::c9fab3527e3c2e3a3c9379bbdf12ca22
https://hdl.handle.net/2158/386353
https://doi.org/10.1007/978-3-642-02930-1_36

Detecting policy conflicts by model checking UML state machines

Authors: Ter Beek M H, Gnesi S, Montangero C, Semini L

Source: 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

Subject Terms: D.2.4 Software/Program Verification. Formal methods, Model checking, D.2.4 Software/Program Verification. Model checking, Policy conflict, 16. Peace & justice, UML

File Description: application/pdf

Access URL: 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