editorial

Free access

Introduction to the Special Issue on Qest 2017

Editors:

Luca Bortolussi,

Nathalie BertrandAuthors Info & Claims

ACM Transactions on Modeling and Computer Simulation (TOMACS), Volume 29, Issue 4

Article No.: 19, Pages 1 - 2

https://doi.org/10.1145/3363784

Published: 18 November 2019 Publication History

All formats PDF

Abstract

No abstract available.

References

[1]

Christel Baier, Clemens Dubslaff, Luboŝ Korenĉiak, Antonín Kuĉera, and Vojtêch R̂ehák. 2019. Mean-payoff optimization in continuous-time Markov chains with parametric alarms. ACM Trans. Model. Comput. Simul. 29, 4 (2019).

Digital Library

Google Scholar

[2]

Carmen Cheh, Uttam Thakore, Ahmed Fawaz, Binbin Chen, William Temple, and William Sanders. 2019. Data-driven model-based detection of malicious insiders via physical access logs. ACM Trans. Model. Comput. Simul. 29, 4 (2019).

Digital Library

Google Scholar

[3]

Ernst Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, and Andrea Turrini. 2019. Interval Markov decision processes with multiple objectives: From robust strategies to Pareto curves. ACM Trans. Model. Comput. Simul. 29, 4 (2019).

Digital Library

Google Scholar

[4]

Cyrille Jegourel, Jun Sun, and Jin Song Dong. 2019. Sequential schemes for frequentist estimation of properties in statistical model checking. ACM Trans. Model. Comput. Simul. 29, 4 (2019).

Digital Library

Google Scholar

[5]

Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, and Glenn Marion. 2019. Analysis of spatio-temporal properties of stochastic systems using TSTL. ACM Trans. Model. Comput. Simul. 29, 4 (2019).

Digital Library

Google Scholar

[6]

Michalis Michaelides, Jane Hillston, and Guido Sanguinetti. 2019. Statistical abstraction for multi-scale spatio-temporal systems. ACM Trans. Model. Comput. Simul. 29, 4 (2019).

Digital Library

Google Scholar

[7]

Armin Zimmermann and Thomas Hotz. 2019. Integrating simulation and numerical analysis in the evaluation of generalized stochastic Petri nets. ACM Trans. Model. Comput. Simul. 29, 4 (2019).

Digital Library

Google Scholar

Index Terms

Introduction to the Special Issue on Qest 2017
1. General and reference
  1. Document types

Index terms have been assigned to the content through auto-classification.

Recommendations

Special Issue: Learning and creativity Part 2

Special Issue Part 1 (Issue 3) and Part 2 (Issue 4) of AIEDAM are based on a workshop on Learning and Creativity held at the 2002 conference on Artificial Intelligence in Design, AID '02 (www.cad.strath.ac.uk/AID02_workshop/Workshop_webpage.html; Gero, ...
Special Issue Introduction: The IEEE Computer Society's 60th Anniversary

Mike Hinchey, Software Engineering Laboratory, NASA Goddard Space Flight Center A milestone year has provided the inspiration for several special activities and awards, including a special issue of Computer that addresses various aspects of software ...
Special Issue: Learning and creativity Part 1

Special Issue Part 1 (Issue 3) and Part 2 (Issue 4) of AIEDAM are based on a workshop on Learning and Creativity held at the 2002 conference on Artificial Intelligence in Design, AID '02 (www.cad.strath.ac.uk/AID02_workshop/Workshop_webpage.html; Gero, ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Modeling and Computer Simulation

ACM Transactions on Modeling and Computer Simulation Volume 29, Issue 4

Special Issue On Qest 2017

October 2019

188 pages

ISSN:1049-3301

EISSN:1558-1195

DOI:10.1145/3372492

Editor:
Francesco Quaglia
University of Rome Tor Vergata, Italy

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 November 2019

Published in TOMACS Volume 29, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Editorial
Opinion
Refereed limited

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
142
Total Downloads

Downloads (Last 12 months)35
Downloads (Last 6 weeks)5

Reflects downloads up to 09 Aug 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

HTML Format

View this article in HTML Format.

HTML Format

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Index Terms

Recommendations

Special Issue: Learning and creativity Part 2

Special Issue Introduction: The IEEE Computer Society's 60th Anniversary

Special Issue: Learning and creativity Part 1

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

PDF

eReader

HTML Format

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations