


Остановите войну!
for scientists:


default search action
Electronic Notes in Theoretical Computer Science, Volume 238
Volume 238, Number 1, June 2009
- Alain Girault, Éric Rutten:
Preface. 1-2 - Gwenaël Delaval:
Modular Distribution and Application to Discrete Controller Synthesis. 3-19 - Louis Mandel, Florence Plateau:
Interactive Programming of Reactive Systems. 21-36 - Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic
:
STARPro - A new multithreaded direct execution platform for Esterel. 37-55 - Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla
, Jean-Pierre Talpin:
Generating Multi-Threaded code from Polychronous Specifications. 57-69
Volume 238, Number 2, June 2009
- Zoltán Porkoláb
, Norbert Pataki
:
Preface. 1 - Mihály Biczó, Krisztián Pócza:
Generating Functional Implementations of Finite State Automata in C# 3.0. 3-12 - Ed Harcourt:
Policies of System Level Pipeline Modeling. 13-23 - Ruben Heradio
, José Antonio Cerrada
, J. C. López Ruiz, J. R. Coz:
Code Generation with the Exemplar Flexibilization Language. 25-34 - Christine Hundt, Sabine Glesner:
Optimizing Aspectual Execution Mechanisms for Embedded Applications. 35-45 - Ádám Sipos, Viktória Zsók
:
EClean - An Embedded Functional Language. 47-58 - Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer:
Efficient and Type-Safe Generic Data Storage. 59-70 - Zalán Szügyi, Ádám Sipos, Zoltán Porkoláb
:
Towards the Modularization of C++ Concept Maps. 71-82
Volume 238, Number 3, June 2009
- Grigore Rosu:
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008. Electronic Notes in Theoretical Computer Science 238(3), Elsevier 2009 [contents]
Volume 238, Number 4, September 2009
- Michaela Huhn, Hardi Hungar:
Preface. 1-2 - Constance L. Heitmeyer
:
On the Role of Formal Methods in Software Certification: An Experience Report. 3-9 - John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden:
A Software Certification Consortium and its Top 9 Hurdles. 11-17 - Nurlida Basir, Ewen Denney, Bernd Fischer
:
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. 19-26 - Ibrahim Habli, Tim Kelly:
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. 27-39 - Manuel Garnacho, Michaël Périn:
Convincing Proofs for Program Certification. 41-56 - Udo Frese
, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter:
The Importance of Being Formal. 57-70 - Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner
:
Model-Based Safety-Cases for Software-Intensive Systems. 71-77 - László Gönczy, István Majzik
, Ákos Horváth, Dániel Varró
, András Balogh, Zoltán Micskei
, András Pataricza
:
Tool Support for Engineering Certifiable Software. 79-85
Volume 238, Number 5, October 2009
- Adrian Johnstone, Jurgen J. Vinju:
Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, LDTA 2008, Budapest, Hungary, April 5, 2008. Electronic Notes in Theoretical Computer Science 238(5), Elsevier 2009 [contents]
Volume 238, Number 6, June 2010
- Ralf H. Reussner
, Iman Poernomo, Juliana Küster Filipe Bowles
:
Preface. 1-2 - Samir Chouali, Hassan Mountassir, Sebti Mouelhi:
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. 3-13 - Peter Collingbourne, Paul H. J. Kelly:
Inference of Session Types From Control Flow. 15-40 - Dimitar P. Guelev, Dang Van Hung:
Reasoning about QoS Contracts in the Probabilistic Duration Calculus. 41-62 - Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause:
Transaction Scripts: Making Implicit Scenarios Explicit. 63-79 - Tolga Ovatman
, Aske Wiid Brekling, Michael R. Hansen
:
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. 81-95

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.