A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs-Reference-Cited by-同舟云学术

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs

Published:2015 Issue: Volume: Page:137-154
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Grinchtein Olga,Carlsson Mats,Pearson Justin

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-21215-9_9

Reference17 articles.

1. Chadchan, S., Akki, C.: 3GPP LTE/SAE: An overview. International Journal of Computer and Electrical Engineering 2(5), 806–814 (2010)

2. 3GPP: Evolved universal terrestrial radio access (e-utra) and evolved universal terrestrial radio access network (e-utran); overall description; stage 2. TS 36.300, 3rd Generation Partnership Project (3GPP)

3. 3GPP: Public warning system (PWS) requirements. TS 22.268, 3rd Generation Partnership Project (3GPP)

4. Rossi, F., van Beek, P., Walsh, T., eds.: Handbook of Constraint Programming. Elsevier (2006)

5. Carlsson, M., Grinchtein, O., Pearson, J.: Protocol log analysis with constraint programming (work in progress). In: Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT, pp. 17–26 (2014)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From MiniZinc to Optimization Modulo Theories, and Back;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2020

2. Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover;Software Engineering and Formal Methods;2018

3. MiniZinc with Strings;Logic-Based Program Synthesis and Transformation;2017