default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 30
Volume 30, Number 1, January 2018
- Ewen Denney, Perdita Stevens, Andrzej Wasowski
:
Editorial. 1 - Sander de Putter, Anton Wijs:
A formal verification technique for behavioural model-to-model transformations. 3-43 - Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier:
ProFeat: feature-oriented engineering for family-based probabilistic model checking. 45-75 - Marcus Gerhold, Mariëlle Stoelinga:
Model-based testing of probabilistic systems. 77-106 - Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Cut branches before looking for bugs: certifiably sound verification on relaxed slices. 107-131 - Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger:
Variability-based model transformation: formal foundation and application. 133-162 - Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt:
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. 163-192
Volume 30, Number 2, March 2018
- Jianwen Li, Lijun Zhang, Shufang Zhu, Geguang Pu, Moshe Y. Vardi, Jifeng He:
An explicit transition system construction approach to LTL satisfiability checking. 193-217 - Hui Zhang, Jinzhao Wu:
Formal verification and quantitative metrics of MPSoC data dynamics. 219-237 - Jan Bækgaard Pedersen, Peter H. Welch:
The symbiosis of concurrency and verification: teaching and case studies. 239-277 - Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti:
Formally sound implementations of security protocols with JavaSPI. 279-317 - Khaled El-Fakih, Nina Yevtushenko, Natalia Kushik:
Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. 319-332
Volume 30, Numbers 3-4, August 2018
- Filipe Santos, Krystian Kwiecinski, Ana de Almeida, Sara Eloy, Bruno Taborda:
Alternative shaper: a model for automatic design generation. 333-349 - Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin:
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. 351-380 - Yuyan Bao, Gary T. Leavens, Gidon Ernst:
Unifying separation logic and region logic to allow interoperability. 381-441 - Yaping Jing, Andrew S. Miner:
Computation tree measurement language (CTML). 443-462 - Raphaël Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel:
Parameterized verification of monotone information systems. 463-489 - Stefan Hallerstede:
Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL - Springer Verlag, 2014, x + 289 pp, € 63, 29 (Hardback), ISBN 978-3-319-10542-0, http: //www.concrete-semantics.org/. 491-492
Volume 30, Number 5, September 2018
- Nikolaj S. Bjørner, Frank S. de Boer, Andrew Butterfield:
Editorial. 493-494 - Nadia Polikarpova, Julian Tschannen, Carlo A. Furia:
A fully verified container library. 495-523 - Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson:
A formal approach for detection of security flaws in the android permission system. 525-544 - David Schneider, Michael Leuschel, Tobias Witt:
Model-based problem solving for university timetable validation and improvement. 545-569 - Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham:
Automated circular assume-guarantee reasoning. 571-595 - John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim:
Mechanized proofs of opacity: a comparison of two techniques. 597-625
Volume 30, Number 6, November 2018
- Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons:
Special section of Tests and Proofs 2016. 627-628 - Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand:
How testing helps to diagnose proof failures. 629-657 - Catherine Dubois, Alain Giorgetti:
Tests and proofs for custom data generators. 659-684 - Roberto Bruni, Roberto Giacobazzi, Roberta Gori:
Code obfuscation against abstraction refinement attacks. 685-711 - Wanling Xie, Shuangqing Xiang, Huibiao Zhu:
A UTP approach for rTiMo. 713-738 - Zhiping Shi, Aixuan Wu, Xiumei Yang, Yong Guan, Yongdong Li, Xiaoyu Song:
Formal analysis of the kinematic Jacobian in screw theory. 739-757 - Rosemary Monahan:
Daniel Kroening and Ofer Strichman: Decision procedures - Springer Verlag, 2016, XXI, +356 ISBN 978-3-662-50496-3 (Hardback, €69, 67), http: //www.decision-procedures.org/. 759 - Jonathan P. Bowen:
Egon Börger and Alexander Raschke: Modeling companion for software practitioners - Springer, 2018, XXI+349 pp, ISBN: 978-3-662-56639-8 (Paperback, £ 46.99), eISBN: 978-3-662-56641-1 (eBook, £ 36.99), http: //dx.doi.org/10.1007/978-3-662-56641-1. 761-762
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
