-
1
-
-
27844490379
-
Hard real-time implementation of embedded software in JAVA
-
Lectures notes in computer science, Springer
-
J.-P. Talpin, A. Gamatié, B. Le Dez, D. Berner, and P. Le Guernic, Hard Real-Time Implementation of Embedded Software in JAVA, in FIDJI'2003, Lectures notes in computer science, Springer (2003).
-
(2003)
FIDJI'2003
-
-
Talpin, J.-P.1
Gamatié, A.2
Le Dez, B.3
Berner, D.4
Le Guernic, P.5
-
2
-
-
0026223069
-
Synchronous programming with events and relations: The SIGNAL language and its semantics
-
Elsevier
-
A. Benveniste, P. Le Guernic, and C. Jacquemot, Synchronous Programming with Events and Relations: The SIGNAL Language and its Semantics, in Science of Computer Programming, Vol. 16. Elsevier (1991).
-
(1991)
Science of Computer Programming
, vol.16
-
-
Benveniste, A.1
Le Guernic, P.2
Jacquemot, C.3
-
4
-
-
4644317292
-
Formal refinement checking in a system-level design methodology
-
IOS Press
-
J.-P. Talpin, P. Le Guernic, S. Shukla, R. Gupta, and F. Doucet, Formal Refinement Checking in a System-Level Design Methodology, Fundamenta Informaticae, IOS Press (2004).
-
(2004)
Fundamenta Informaticae
-
-
Talpin, J.-P.1
Le Guernic, P.2
Shukla, S.3
Gupta, R.4
Doucet, F.5
-
5
-
-
10444244187
-
A behavioral type inference system for compositional system design
-
IEEE Press
-
. J.-P. Talpin, D. Berner, S. K. Shukla, P. Le Guernic, and R. Gupta, A Behavioral type Inference System for Compositional System Design, Application of Concurrency to System Design, IEEE Press (2004).
-
(2004)
Application of Concurrency to System Design
-
-
Talpin, J.-P.1
Berner, D.2
Shukla, S.K.3
Le Guernic, P.4
Gupta, R.5
-
6
-
-
31344474133
-
Tree SSA, a new optimization infrastructure for GCC
-
D. Novillo, Tree SSA, A New Optimization Infrastructure for GCC, GCC developers summit (2003).
-
(2003)
GCC Developers Summit
-
-
Novillo, D.1
-
7
-
-
29144520844
-
Modular design through component abstraction
-
ACM Press and
-
D. Berner, J.-P. Talpin, P. Le Guernic, and S. K. Shukla, Modular Design through Component Abstraction, in International conference on compilers, architectures and synthesis for embedded systems, ACM Press and (2004).
-
(2004)
International Conference on Compilers, Architectures and Synthesis for Embedded Systems
-
-
Berner, D.1
Talpin, J.-P.2
Le Guernic, P.3
Shukla, S.K.4
-
8
-
-
16244392320
-
Fair synchronous transition systems and their liveness proofs
-
Lecture notes in computer science Springer
-
A. Pnueli, N. Shankar, and E. Singerman, Fair Synchronous Transition Systems and their Liveness Proofs, in Symposium on Formal Techniques in Real-time and Fault-tolerant Systems, Lecture notes in computer science vol. 1468, Springer (1998).
-
(1998)
Symposium on Formal Techniques in Real-time and Fault-tolerant Systems
, vol.1468
-
-
Pnueli, A.1
Shankar, N.2
Singerman, E.3
-
9
-
-
4644278203
-
Polychrony for system design
-
Special Issue on Application-Specific Hardware Design, World Scientific
-
P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann, Polychrony for System Design, in Journal of Circuits, Systems and Computers. Special Issue on Application-Specific Hardware Design, World Scientific (2002).
-
(2002)
Journal of Circuits, Systems and Computers
-
-
Le Guernic, P.1
Talpin, J.-P.2
Le Lann, J.-C.3
-
10
-
-
84957058914
-
Latency-insensitive protocols
-
Lecture notes in computer science Springer Verlag
-
L. P. Carloni, K. L. McMillan, and A. L. Sangiovanni-Vincentelli, Latency-Insensitive Protocols, in Proc. of the 11th International Conference on Computer-Aided Verification, Lecture notes in computer science vol. 1633, Springer Verlag (1999).
-
(1999)
Proc. of the 11th International Conference on Computer-aided Verification
, vol.1633
-
-
Carloni, L.P.1
McMillan, K.L.2
Sangiovanni-Vincentelli, A.L.3
-
11
-
-
84948979164
-
A protocol for loosely time-triggered architectures
-
Lecture notes in computer science, Springer Verlag
-
A. Benveniste, P. Caspi, P. Le Guernic, H. Marchand, J.-P. Talpin, and S. Tripakis, A Protocol for Loosely Time-triggered Architectures, in Embedded Software Conference, Lecture notes in computer science, Springer Verlag 2002.
-
(2002)
Embedded Software Conference
-
-
Benveniste, A.1
Caspi, P.2
Le Guernic, P.3
Marchand, H.4
Talpin, J.-P.5
Tripakis, S.6
-
14
-
-
84890061791
-
A behavioral module system for the π - Calculus
-
Lecture notes in computer science, Springer
-
S. K. Rajamani and J. Rehof, A behavioral Module System for the π - calculus, Static Analysis Symposium, Lecture notes in computer science, Springer (2001).
-
(2001)
Static Analysis Symposium
-
-
Rajamani, S.K.1
Rehof, J.2
-
15
-
-
84944080499
-
Using the bandera tool set to model-check properties of concurrent java software
-
Lectures notes in computer science Springer
-
J. Hatcliff, and M. Dwyer, Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software, Invited tutorial, conference on concurrency theory, Lectures notes in computer science Vol. 2154, Springer (2001).
-
(2001)
Invited Tutorial, Conference on Concurrency Theory
, vol.2154
-
-
Hatcliff, J.1
Dwyer, M.2
-
17
-
-
17044392393
-
Software model checking: The VeriSoft approach
-
Bell Labs
-
P. Godefroid, Software Model Checking: The VeriSoft Approach, Technical Memorandum ITD-03-44189G, Bell Labs (2003).
-
(2003)
Technical Memorandum ITD-03-44189G
-
-
Godefroid, P.1
-
19
-
-
0036529990
-
An automated verification method for distributed systems software based on model extraction
-
IEEE Press
-
G. Holzmann, and M. Smith, An Automated Verification Method for Distributed Systems Software based on Model Extraction, IEEE Transactions on Software Engineering, vol. 28, IEEE Press (2002).
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
-
-
Holzmann, G.1
Smith, M.2
-
20
-
-
35048831388
-
Refining approximations in software predicate abstraction
-
Lecture notes in computer science, Springer
-
T. Ball, B. Cook, S. Das, and S. Rajamani, Refining Approximations in Software Predicate Abstraction, In Tools and Algorithms for the Construction and Analysis of Systems, Lecture notes in computer science, Vol. 2988. Springer (2004).
-
(2004)
Tools and Algorithms for the Construction and Analysis of Systems
, vol.2988
-
-
Ball, T.1
Cook, B.2
Das, S.3
Rajamani, S.4
-
21
-
-
35048861896
-
A tool for checking ANSI-C programs
-
Springer
-
D. Kroening, E. Clarke, and F. Lerda, A Tool for Checking ANSI-C Programs, In Tools and Algorithms for the Construction and Analysis of Systems, Lecture notes in computer science, Vol. 2988. Springer (2004).
-
(2004)
Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science
, vol.2988
-
-
Kroening, D.1
Clarke, E.2
Lerda, F.3
-
22
-
-
3042666526
-
Modular verification of software components in C
-
IEEE Press
-
S. Chaki, E. Clarke, A. Groce, S. Jha, and H. Veith, Modular Verification of Software Components in C, In Transactions on Software Engineering, Vol 30, IEEE Press (2004).
-
(2004)
Transactions on Software Engineering
, vol.30
-
-
Chaki, S.1
Clarke, E.2
Groce, A.3
Jha, S.4
Veith, H.5
-
23
-
-
35048827871
-
The blast query language for software verification
-
Lecture notes in computer science, Springer
-
D. Beyer, A. Chlipala, T. Henzinger, The Blast Query Language for Software Verification, International Static Analysis Symposium, Lecture notes in computer science, Vol. 3148, Springer (2004).
-
(2004)
International Static Analysis Symposium
, vol.3148
-
-
Beyer, D.1
Chlipala, A.2
Henzinger, T.3
-
24
-
-
0037384036
-
Model checking programs
-
W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, Model Checking Programs, Automated Software Eng. J. Vol. 10 (2003).
-
(2003)
Automated Software Eng. J.
, vol.10
-
-
Visser, W.1
Havelund, K.2
Brat, G.3
Park, S.4
Lerda, F.5
-
25
-
-
84947280693
-
Interface theories for component-based design
-
Lecture notes in computer science Springer-Verlag
-
L. De Alfaro, and T. A. Henzinger, Interface Theories for Component-based Design. International Workshop on Embedded Software, Lecture notes in computer science Vol. 2211, Springer-Verlag (2001).
-
(2001)
International Workshop on Embedded Software
, vol.2211
-
-
De Alfaro, L.1
Henzinger, T.A.2
|