AutoFOCUS and the MoDe tool (English)
- New search for: Romberg, J.
- New search for: Jurjens, J.
- New search for: Wimmel, G.
- New search for: Slotosch, O.
- New search for: Hahn, G.
- New search for: Romberg, J.
- New search for: Jurjens, J.
- New search for: Wimmel, G.
- New search for: Slotosch, O.
- New search for: Hahn, G.
In:
ACSD, International Conference on Application of Concurrency to System Design, 3
;
249-250
;
2003
-
ISBN:
- Conference paper / Print
-
Title:AutoFOCUS and the MoDe tool
-
Contributors:Romberg, J. ( author ) / Jurjens, J. ( author ) / Wimmel, G. ( author ) / Slotosch, O. ( author ) / Hahn, G. ( author )
-
Published in:
-
Publisher:
- New search for: IEEE Computer Society Press
-
Place of publication:Los Alamitos
-
Publication date:2003
-
Size:2 Seiten, 3 Quellen
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
The reality of system design today: do theory and practice meet?Martin, G. et al. | 2003
- 4
-
Cyclic communicating processes: hierarchy and verificationThiagarajan, P.S. et al. | 2003
- 5
-
Model driven embedded systemsOliver, I. et al. | 2003
- 9
-
Polychrony for formal refinement-checking in a system-level design methodologyTalpin, J.-P. / Le Guernic, P. / Sandeep Kumar Shukla, / Rajesh Gupta, / Doucet, F. et al. | 2003
- 20
-
Case studies of model checking for embedded system designsXi Chen, / Hsieh, H. / Balarin, F. / Watanabe, Y. et al. | 2003
- 29
-
Quasi-static scheduling for concurrent architecturesCortadella, J. / Kondratyev, A. / Lavagno, L. / Watanabe, Y. et al. | 2003
- 41
-
Synthesis of open reactive systems from scenario-based specificationsBontemps, Y. / Schobbens, P.-Y. et al. | 2003
- 51
-
Detecting state coding conflicts in STG unfoldings using SATKhomenko, V. / Koutny, M. / Yakovlev, A. et al. | 2003
- 61
-
A polynomial-time algorithm for checking consistency of free-choice signal transition graphsEsparza, J. et al. | 2003
- 71
-
Separation of concerns in the formal design of real-time shared data-space systemsMousavi, M. / Reniers, M. / Basten, T. / Chaudron, M. et al. | 2003
- 82
-
Modelling a secure, mobile, and transactional system with CO-OPNBuchs, D. / Chachkov, S. / Hurzeler, D. et al. | 2003
- 92
-
Developing a formal specification for the mission system of a maritime surveillance aircraftPetrucci, L. / Billington, J. / Kristensen, L.M. / Qureshi, Z.H. et al. | 2003
- 102
-
Design validation of ZCSP with SPINBeaudenon, V. / Encrenaz, E. / Desbarbieux, J.-L. et al. | 2003
- 111
-
Memory fault tolerance software mechanisms: design and configuration support through SWN modelsBallarini, P. / Capra, L. / Franceschinis, G. / De Pierro, M. et al. | 2003
- 122
-
Component-based design: towards guided compositionMoschoyiannis, S. / Shields, M.W. et al. | 2003
- 132
-
Compositional high level Petri nets with timing constraints - a comparisonPelz, E. / Fleischhack, H. et al. | 2003
- 142
-
Compositional verification of integrity for digital stream signature protocolsGorrieri, R. / Martinelli, F. / Petrocchi, M. / Vaccarelli, A. et al. | 2003
- 150
-
Merging state-based and action-based verificationHansen, H. / Virtanen, H. / Valmari, A. et al. | 2003
- 157
-
Communicating transaction processesRoychoudhury, A. / Thiagarajan, P.S. et al. | 2003
- 167
-
Logic of involved variables - system specification with temporal logic of distributed actionsAlexander, A. / Reisig, W. et al. | 2003
- 177
-
Modifying Petri net models by means of crosscutting operationsBarros, J.P. / Gomes, L. et al. | 2003
- 187
-
Specification coverage aided test selectionPyhala, T. / Heljanko, K. et al. | 2003
- 196
-
Verification of JavaSpaces/spl trade/ parallel programsvan de Pol, J. / Espada, M.V. et al. | 2003
- 196
-
Verification of JavaSpaces™ Parallel Programsvan de Pol, J. / Espada, M. V. / IEEE et al. | 2003
- 206
-
On lifting of statechart structuring mechanismsGomes, L. / Costa, A. et al. | 2003
- 216
-
A new synchronization in finite stochastic Petri box calculusMacia, H. / Valero, V. / Cuartero, F. / Pelayo, F.L. et al. | 2003
- 229
-
C-Sim version 5.0Jokl, R. / Racek, S. et al. | 2003
- 231
-
ABTOOLS: another B toolBoulanger, J.-L. et al. | 2003
- 233
-
Rialto profile in the SMW toolkitBjorklund, D. / Lilius, J. / Porres, I. et al. | 2003
- 235
-
HiWorD: a Petri net-based hierarchical workflow designerBenatallah, B. / Chrzastowski-Wachtel, P. / Hamadi, R. / O'Dell, M. / Susanto, A. et al. | 2003
- 237
-
CAST - a task-level concurrency analysis toolStuijk, S. / Basten, T. / Ypma, J. et al. | 2003
- 239
-
A framework for the development of protocolsCrazzolara, F. / Milicia, G. et al. | 2003
- 241
-
BHDL: circuit design in BAljer, A. / Devienne, P. / Tison, S. / Boulanger, J.-L. / Mariano, G. et al. | 2003
- 243
-
ConfRes: interactive coding conflict resolver based on core visualisationMadalinski, A. et al. | 2003
- 245
-
Abstract model checking and refinement of temporal logic in /spl alpha/SPINdel Mar Gallardo, M. / Martinez, J. / Merino, P. / Pimentel, E. et al. | 2003
- 245
-
Abstract Model Checking and Refinement of Temporal Logic in alphaSPINdel Mar Gallardo, M. / Martinez, J. / Merino, P. / Pimentel, E. / IEEE et al. | 2003
- 247
-
VoDkaV tool: model checking for extracting global scheduler properties from local restrictionsPenas, J.J.S. / Arts, T. et al. | 2003
- 249
-
AutoFOCUS and the MoDe toolRomberg, J. / Jurjens, J. / Wimmel, G. / Slotosch, O. / Hahn, G. et al. | 2003
- 251
-
Author index| 2003
-
Proceedings Third International Conference on Application of Concurrency to System Design. ACSD 2003| 2003