An Overview of Modest Models and Tools for Real Stochastic Timed Systems

Saved in:
Bibliographic Details
Published inElectronic proceedings in theoretical computer science Vol. 355; pp. 1 - 12
Main Author Hartmanns, Arnd
Format Journal Article
LanguageEnglish
Published 21.03.2022
Online AccessGet full text
ISSN2075-2180
2075-2180
DOI10.4204/EPTCS.355.1

Cover

Author Hartmanns, Arnd
Author_xml – sequence: 1
  givenname: Arnd
  surname: Hartmanns
  fullname: Hartmanns, Arnd
BookMark eNpNkLtOwzAARS1UJErpxA94Rwl-xvZYRYUiFRWRMFuOHyIoiVEcFfXvCYWBu5wz3eFcg8UQBw_ALUY5I4jdb1_qssop5zm-AEuCBM8Ilmjxz6_AOqUPNI8qwlSxBLvNAA9HPx5b_wVjgM_R-TSd0SVoBgfrGGcLcYSv3nSwmqJ9N2lqLazb3jtYndLk-3QDLoPpkl__cQXeHrZ1ucv2h8encrPPLFZ4yqgsGJFMFgVlhjbCCUeUDMY2IhglBFHYNi5I7iS1vAlCBSQ9Vo5bbgKzdAXufn_tGFMafdCfY9ub8aQx0j8d9LmDnjtoTL8BWApRoA
Cites_doi 10.1016/j.entcs.2009.10.005
10.1007/978-3-642-22110-1_47
10.1007/978-3-540-45232-4_8
10.1145/3449355
10.1007/3-540-45605-8_5
10.1016/j.scico.2019.01.006
10.1007/978-3-662-54580-5_9
10.3233/978-1-61499-627-9-1
10.1109/TSE.2006.104
10.1007/978-3-540-75454-1_14
10.1007/978-3-030-27008-7_7
10.1007/978-3-319-63390-9_31
10.1109/LICS.2010.41
10.1007/978-3-642-54862-8_51
10.1007/978-3-030-55754-6_17
10.1016/0304-3975(94)90010-8
10.1109/WSC.2017.8247885
10.1007/978-3-030-31423-1_8
10.1007/3-540-45352-0_5
10.1007/978-3-030-85172-9_2
10.1007/978-3-030-17462-0_20
10.1007/978-3-319-47677-3_6
10.1007/978-3-642-22110-1_27
10.1007/978-3-030-85248-1_16
10.1007/978-3-319-33693-0_7
10.1007/978-3-030-17502-3_5
10.1007/3-540-57318-6_30
10.1007/978-3-319-15201-1_23
10.1145/3158668
10.1145/1967701.1967710
10.1007/978-3-319-10575-8_28
10.1016/S0304-3975(01)00046-9
10.1007/978-3-030-83723-5_15
10.1016/j.adhoc.2021.102663
10.1002/9780470745403
10.1007/s10703-006-0005-2
10.1007/978-3-030-72013-1_23
10.1007/s10009-020-00563-2
10.1007/978-3-030-03421-4_22
10.1007/978-3-319-77935-5_11
10.1007/s10703-012-0167-z
10.1007/978-3-319-24953-7_10
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.4204/EPTCS.355.1
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2075-2180
EndPage 12
ExternalDocumentID 10_4204_EPTCS_355_1
GroupedDBID 5VS
AAYXX
ADBBV
ALMA_UNASSIGNED_HOLDINGS
BCNDV
CITATION
E3Z
GROUPED_DOAJ
KQ8
M~E
OK1
ID FETCH-LOGICAL-c191t-386428486634a3b7d7d298facb7fa977291cbdf85d83c5bf79f08e19d5c5af4c3
ISSN 2075-2180
IngestDate Tue Jul 01 00:52:21 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c191t-386428486634a3b7d7d298facb7fa977291cbdf85d83c5bf79f08e19d5c5af4c3
PageCount 12
ParticipantIDs crossref_primary_10_4204_EPTCS_355_1
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2022-03-21
PublicationDateYYYYMMDD 2022-03-21
PublicationDate_xml – month: 03
  year: 2022
  text: 2022-03-21
  day: 21
PublicationDecade 2020
PublicationTitle Electronic proceedings in theoretical computer science
PublicationYear 2022
References D'Argenio (DFH20) 2020; 12229
D'Argenio (DJJL02) 2002; 2399
Hartmanns (HKPQR19) 2019; 11427
D'Argenio (DHLS16) 2016; 9681
Budde (BDHS20) 2020; 22
Bonet (BG03) 2003
Legay (LST14) 2014; 8938
Hartmanns (HH14) 2014; 8413
Kwiatkowska (KNSS02) 2002; 282
Howard (How60) 1960
Bellman (Bel57) 1957; 6
D'Argenio (DHS18) 2018; 11245
(RT09) 2009
Alur (ACHH92) 1992; 736
Raverta (RFMDFD21) 2021; 123
Baier (Bai16) 2016; 45
Hahn (HHHKKKPQRS19) 2019; 11429
Bohnenkamp (BDHK06) 2006; 32
Lewis (LHBSCRZ19) 2019; 11687
Sproston (Spr00) 2000; 1926
Hahn (HHHK13) 2013; 43
Baier (BAFK18) 2018
Budde (BDHHJT17) 2017; 10206
Budde (BHKKPQTZ20) 2020; 12479
Klauck (KH21) 2021; 12846
Köhl (KKH21) 2021; 12652
Eisentraut (EHZ10) 2010
Hahn (HH16) 2016; 9984
David (DLLMW11) 2011; 6806
Fränzle (FHHWZ11) 2011
Kwiatkowska (KNPS06) 2006; 29
Hartmanns (HSD17) 2017
Baier (BK08) 2008
Budde (BDH19) 2019; 174
Butkova (BHH21) 2021; 31
Kwiatkowska (KNP11) 2011; 6806
Roberts (RLHBRCZ21) 2021; 12863
Hartmanns (HH15) 2015; 9364
Bohnenkamp (BHKK03) 2003; 2794
Giro (GD07) 2007; 4763
Giro (GD09) 2009; 253
Alur (AD94) 1994; 126
Hartmanns (HH19) 2019; 11810
Agha (AP18) 2018; 28
Dehnert (DJKV17) 2017; 10427
Fehnker (FC18) 2018; 10811
References_xml – volume: 253
  start-page: 45
  issue: 3
  year: 2009
  ident: GD09
  article-title: On the Expressive Power of Schedulers in Distributed Probabilistic Systems
  publication-title: Electron. Notes Theor. Comput. Sci.
  doi: 10.1016/j.entcs.2009.10.005
– volume: 6806
  start-page: 585
  volume-title: 23rd International Conference on Computer Aided Verification (CAV)
  year: 2011
  ident: KNP11
  article-title: PRISM 4.0: Verification of Probabilistic Real-Time Systems
  doi: 10.1007/978-3-642-22110-1_47
– volume: 2794
  start-page: 116
  volume-title: 13th International Conference on Computer Performance Evaluations, Modelling Techniques and Tools (TOOLS)
  year: 2003
  ident: BHKK03
  article-title: The Modest Modeling Tool and Its Implementation
  doi: 10.1007/978-3-540-45232-4_8
– volume: 31
  issue: 3
  year: 2021
  ident: BHH21
  article-title: A Modest Approach to Markov Automata
  publication-title: ACM Trans. Model. Comput. Simul.
  doi: 10.1145/3449355
– volume: 2399
  start-page: 57
  volume-title: Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV)
  year: 2002
  ident: DJJL02
  article-title: Reduction and Refinement Strategies for Probabilistic Analysis
  doi: 10.1007/3-540-45605-8_5
– volume: 174
  start-page: 90
  year: 2019
  ident: BDH19
  article-title: Automated compositional importance splitting
  publication-title: Sci. Comput. Program.
  doi: 10.1016/j.scico.2019.01.006
– volume: 10206
  start-page: 151
  volume-title: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
  year: 2017
  ident: BDHHJT17
  article-title: JANI: Quantitative Model and Tool Interaction
  doi: 10.1007/978-3-662-54580-5_9
– volume: 45
  start-page: 1
  volume-title: Dependable Software Systems Engineering
  year: 2016
  ident: Bai16
  article-title: Probabilistic Model Checking
  doi: 10.3233/978-1-61499-627-9-1
– volume: 32
  start-page: 812
  issue: 10
  year: 2006
  ident: BDHK06
  article-title: MoDeST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
  publication-title: IEEE Trans. Software Eng.
  doi: 10.1109/TSE.2006.104
– volume: 4763
  start-page: 179
  volume-title: 5th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
  year: 2007
  ident: GD07
  article-title: Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
  doi: 10.1007/978-3-540-75454-1_14
– volume: 11687
  start-page: 110
  volume-title: 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS)
  year: 2019
  ident: LHBSCRZ19
  article-title: Probabilistic Verification for Reliable Network-on-Chip System Design
  doi: 10.1007/978-3-030-27008-7_7
– volume: 10427
  start-page: 592
  volume-title: 29th International Conference on Computer Aided Verification (CAV)
  year: 2017
  ident: DJKV17
  article-title: A Storm is Coming: A Modern Probabilistic Model Checker
  doi: 10.1007/978-3-319-63390-9_31
– start-page: 342
  volume-title: 25th Annual IEEE Symposium on Logic in Computer Science (LICS)
  year: 2010
  ident: EHZ10
  article-title: On Probabilistic Automata in Continuous Time
  doi: 10.1109/LICS.2010.41
– volume: 8413
  start-page: 593
  volume-title: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
  year: 2014
  ident: HH14
  article-title: The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
  doi: 10.1007/978-3-642-54862-8_51
– volume: 12229
  start-page: 291
  volume-title: 12th International NASA Formal Methods Symposium (NFM)
  year: 2020
  ident: DFH20
  article-title: Sampling Distributed Schedulers for Resilient Space Communication
  doi: 10.1007/978-3-030-55754-6_17
– volume: 126
  start-page: 183
  issue: 2
  year: 1994
  ident: AD94
  article-title: A Theory of Timed Automata
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/0304-3975(94)90010-8
– start-page: 1419
  volume-title: 2017 Winter Simulation Conference (WSC)
  year: 2017
  ident: HSD17
  article-title: Efficient simulation-based verification of probabilistic timed automata
  doi: 10.1109/WSC.2017.8247885
– volume: 11810
  start-page: 250
  volume-title: 15th International Reasoning Web Summer School
  year: 2019
  ident: HH19
  article-title: A Modest Markov Automata Tutorial
  doi: 10.1007/978-3-030-31423-1_8
– volume: 1926
  start-page: 31
  volume-title: 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)
  year: 2000
  ident: Spr00
  article-title: Decidable Model Checking of Probabilistic Hybrid Automata
  doi: 10.1007/3-540-45352-0_5
– volume: 12846
  start-page: 15
  volume-title: 18th International Conference on Quantitative Evaluation of Systems (QEST)
  year: 2021
  ident: KH21
  article-title: A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking
  doi: 10.1007/978-3-030-85172-9_2
– volume: 11427
  start-page: 344
  volume-title: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
  year: 2019
  ident: HKPQR19
  article-title: The Quantitative Verification Benchmark Set
  doi: 10.1007/978-3-030-17462-0_20
– volume: 9984
  start-page: 85
  volume-title: Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA)
  year: 2016
  ident: HH16
  article-title: A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques
  doi: 10.1007/978-3-319-47677-3_6
– start-page: 12
  volume-title: 13th International Conference on Automated Planning and Scheduling (ICAPS)
  year: 2003
  ident: BG03
  article-title: Labeled RTDP: Improving the Convergence of Real-Time Dynamic Programming
– volume: 6806
  start-page: 349
  volume-title: 23rd International Conference on Computer Aided Verification (CAV)
  year: 2011
  ident: DLLMW11
  article-title: Time for Statistical Model Checking of Real-Time Systems
  doi: 10.1007/978-3-642-22110-1_27
– volume: 12863
  start-page: 232
  volume-title: 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS)
  year: 2021
  ident: RLHBRCZ21
  article-title: Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System
  doi: 10.1007/978-3-030-85248-1_16
– volume: 9681
  start-page: 99
  volume-title: 12th International Conference on Integrated Formal Methods (iFM)
  year: 2016
  ident: DHLS16
  article-title: Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
  doi: 10.1007/978-3-319-33693-0_7
– volume: 11429
  start-page: 69
  volume-title: 25 Years of TACAS: TOOLympics
  year: 2019
  ident: HHHKKKPQRS19
  article-title: The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models (QComp 2019 Competition Report)
  doi: 10.1007/978-3-030-17502-3_5
– volume: 736
  start-page: 209
  volume-title: Hybrid Systems
  year: 1992
  ident: ACHH92
  article-title: Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
  doi: 10.1007/3-540-57318-6_30
– volume-title: Dynamic Programming and Markov Processes
  year: 1960
  ident: How60
– volume: 8938
  start-page: 350
  volume-title: 4th Workshop on Formal Methods in the Development of Software (WS-FMDS)
  year: 2014
  ident: LST14
  article-title: Scalable Verification of Markov Decision Processes
  doi: 10.1007/978-3-319-15201-1_23
– volume: 28
  issue: 1
  year: 2018
  ident: AP18
  article-title: A Survey of Statistical Model Checking
  publication-title: ACM Trans. Model. Comput. Simul.
  doi: 10.1145/3158668
– start-page: 43
  volume-title: 14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
  year: 2011
  ident: FHHWZ11
  article-title: Measurability and safety verification for stochastic hybrid systems
  doi: 10.1145/1967701.1967710
– volume: 6
  start-page: 679
  issue: 5
  year: 1957
  ident: Bel57
  article-title: A Markovian decision process
  publication-title: Journal of Mathematics and Mechanics
– start-page: 963
  volume-title: Handbook of Model Checking
  year: 2018
  ident: BAFK18
  article-title: Model Checking Probabilistic Systems
  doi: 10.1007/978-3-319-10575-8_28
– volume: 282
  start-page: 101
  issue: 1
  year: 2002
  ident: KNSS02
  article-title: Automatic verification of real-time systems with discrete probability distributions
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/S0304-3975(01)00046-9
– volume: 12479
  start-page: 216
  volume-title: 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA)
  year: 2020
  ident: BHKKPQTZ20
  article-title: On Correctness, Precision, and Performance in Quantitative Verification (QComp 2020 Competition Report)
  doi: 10.1007/978-3-030-83723-5_15
– volume: 123
  year: 2021
  ident: RFMDFD21
  article-title: Routing in Delay-Tolerant Networks under uncertain contact plans
  publication-title: Ad Hoc Networks
  doi: 10.1016/j.adhoc.2021.102663
– volume-title: Rare Event Simulation using Monte Carlo Methods
  year: 2009
  ident: RT09
  doi: 10.1002/9780470745403
– volume: 29
  start-page: 33
  issue: 1
  year: 2006
  ident: KNPS06
  article-title: Performance analysis of probabilistic timed automata using digital clocks
  publication-title: Formal Methods Syst. Des.
  doi: 10.1007/s10703-006-0005-2
– volume: 12652
  start-page: 389
  volume-title: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
  year: 2021
  ident: KKH21
  article-title: Momba: JANI Meets Python
  doi: 10.1007/978-3-030-72013-1_23
– volume: 22
  start-page: 759
  issue: 6
  year: 2020
  ident: BDHS20
  article-title: An efficient statistical model checker for nondeterminism and rare events
  publication-title: Int. J. Softw. Tools Technol. Transf.
  doi: 10.1007/s10009-020-00563-2
– volume: 11245
  start-page: 336
  volume-title: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
  year: 2018
  ident: DHS18
  article-title: Lightweight Statistical Model Checking in Nondeterministic Continuous Time
  doi: 10.1007/978-3-030-03421-4_22
– volume: 10811
  start-page: 157
  volume-title: 10th International NASA Formal Methods Symposium (NFM)
  year: 2018
  ident: FC18
  article-title: Twenty Percent and a Few Days – Optimising a Bitcoin Majority Attack
  doi: 10.1007/978-3-319-77935-5_11
– volume-title: Principles of model checking
  year: 2008
  ident: BK08
– volume: 43
  start-page: 191
  issue: 2
  year: 2013
  ident: HHHK13
  article-title: A compositional modelling and analysis framework for stochastic hybrid systems
  publication-title: Formal Methods Syst. Des.
  doi: 10.1007/s10703-012-0167-z
– volume: 9364
  start-page: 131
  volume-title: 13th International Symposium on Automated Technology for Verification and Analysis (ATVA)
  year: 2015
  ident: HH15
  article-title: Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage
  doi: 10.1007/978-3-319-24953-7_10
SSID ssj0000392496
Score 2.2203038
SourceID crossref
SourceType Index Database
StartPage 1
Title An Overview of Modest Models and Tools for Real Stochastic Timed Systems
Volume 355
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAFT
  databaseName: Open Access Digital Library
  customDbUrl:
  eissn: 2075-2180
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0000392496
  issn: 2075-2180
  databaseCode: KQ8
  dateStart: 20080101
  isFulltext: true
  titleUrlDefault: http://grweb.coalliance.org/oadl/oadl.html
  providerName: Colorado Alliance of Research Libraries
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources
  customDbUrl:
  eissn: 2075-2180
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0000392496
  issn: 2075-2180
  databaseCode: M~E
  dateStart: 20090101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnZ07T8MwEIAtVBYW3oi3PLChlKS2iTNWVVGFVECiSGxR_BJDSVAbGBj47ZztpAlVB2BJK6vXVP6ae9i-O4QuaKSNDqkJwHzEAWi_JOCSkCBThmmSUKaUzR0e312PnujtM3tuuvS57JJSdOXnyryS_1CFMeBqs2T_QHbxpTAA74EvXIEwXH_FuJ9f3n_Yh90nn9i-ZvPSvUx96eVJUUxdwQV7WN5uQRfyJbOVmV3qh_pRr7xenm_64jTGbV4dh1zkPMqqGcRlZUEbRTYrX7PcO-f9Wa7aqwoQkIYk8KnKXvn0wJWw_PyeiV4xVmlPwlhL_0UtQ-qPRy-raNoLKczr8GEyeOyCcDdqLFG9-75koBbHBiFgseKpE05BOIW4d70H-tw27Rh_NatrIbFxpessWP9on5xp5a9aN2-5Iy2_YrKNNquAAPc93R20pvNdtFU328CV7t1Do36Oa9i4MNjDxh42BtjYwcYAG1vYuIGNHWxcwd5HTzfDyWAUVG0wAgnBdBkQbmNEysE3pBkRsYpVL-EmkyI2WWKjo0gKZThTnEgmTJyYkOsoUUyyzFBJDlAnL3J9iDARYQLPJo8FBKI85ILohFDJSMilMFwfoYt6NtI3X-0kXTHpx7_72AnaaP5ap6hTzt71GbhwpTh3tL4BMqJH3w
linkProvider ISSN International Centre
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=An+Overview+of+Modest+Models+and+Tools+for+Real+Stochastic+Timed+Systems&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Hartmanns%2C+Arnd&rft.date=2022-03-21&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=355&rft.spage=1&rft.epage=12&rft_id=info:doi/10.4204%2FEPTCS.355.1&rft.externalDBID=n%2Fa&rft.externalDocID=10_4204_EPTCS_355_1
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon