![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 133
Volumes 133, Part 1, January 2017
- Miguel Campusano
, Johan Fabry:
Live Robot Programming: The language, its implementation, and robot API independence. 1-19 - Chiara Bodei
, Viet Dung Dinh, Gian-Luigi Ferrari
:
Checking global usage of resources handled with local policies. 20-50 - Erik Ernst, Anders Møller
, Mathias Schwarz, Fabio Strocco:
Message safety in Dart. 51-73 - Stefan Bygde, Björn Lisper
, Niklas Holsti:
Improved precision in polyhedral analysis with wrapping. 74-87
Volumes 133, Part 2, January 2017
- Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems (FTSCS 2014). 89-90 - Linh Vu Hong, Anne E. Haxthausen
, Jan Peleska:
Formal modelling and verification of interlocking systems featuring sequential release. 91-115 - Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile
, Stefano Marrone
, Nicola Mazzocca
, Roberto Nardone
, Adriano Peron, Luigi Velardi, Valeria Vittorini:
Dynamic state machines for modelling railway control systems. 116-153 - Syed Ali Asadullah Bukhari
, Faiq Khalid Lodhi
, Osman Hasan
, Muhammad Shafique
, Jörg Henkel:
FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems. 154-174 - Timon Kelter, Peter Marwedel:
Parallelism analysis: Precise WCET values for complex multi-core systems. 175-193 - Georgiana Caltais, Bertrand Meyer:
On the verification of SCOOP programs. 194-215 - Cristina Seceleanu
, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
:
Analyzing a wind turbine system: From simulation to formal verification. 216-242
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.