-
1
-
-
77955460592
-
-
OMG, Object Management Group, Nov., OMG document number: formal/09-11-102
-
OMG, UML Profile for MARTE, v1.0, Object Management Group, Nov. 2009, OMG document number: formal/09-11-102
-
(2009)
UML Profile for MARTE, v1.0
-
-
-
2
-
-
38049032301
-
Modeling time(s)
-
G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, Eds., Springer
-
C. André, F. Mallet, and R. de Simone, "Modeling time(s)," in MoDELS, ser. Lecture Notes in Computer Science, G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, Eds., vol.4735. Springer, 2007, pp. 559-573.
-
(2007)
MoDELS, Ser. Lecture Notes in Computer Science
, vol.4735
, pp. 559-573
-
-
André, C.1
Mallet, F.2
De Simone, R.3
-
3
-
-
77949277661
-
Syntax and semantics of the clock constraint specification language (CCSL)
-
[Online]. Available
-
C. André, "Syntax and semantics of the clock constraint specification language (CCSL)," INRIA, Research Report 6925, 05 2009. [Online]. Available: http://hal.inria.fr/inria-00384077/en/
-
(2009)
INRIA, Research Report 6925, 05
-
-
André, C.1
-
4
-
-
0000876922
-
A framework for comparing models of computation
-
December
-
E. A. Lee and A. L. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, no.12, pp. 1217-1229, December 1998.
-
(1998)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.17
, Issue.12
, pp. 1217-1229
-
-
Lee, E.A.1
Sangiovanni-Vincentelli, A.L.2
-
5
-
-
33646800850
-
The synchronous languages 12 years later
-
A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone, "The synchronous languages 12 years later," Proceedings of the IEEE, vol.91, no.1, pp. 64-83, 2003.
-
(2003)
Proceedings of the IEEE
, vol.91
, Issue.1
, pp. 64-83
-
-
Benveniste, A.1
Caspi, P.2
Edwards, S.A.3
Halbwachs, N.4
Le Guernic, P.5
De Simone, R.6
-
6
-
-
19344368232
-
Models of computation and languages for embedded system design
-
March
-
J. Axel and I. Sander, "Models of computation and languages for embedded system design," IEE Proceedings on Computers and Digital Techniques, Special issue on Electronic System Design, vol.152, no.2, pp. 114-129, March 2005.
-
(2005)
IEE Proceedings on Computers and Digital Techniques, Special Issue on Electronic System Design
, vol.152
, Issue.2
, pp. 114-129
-
-
Axel, J.1
Sander, I.2
-
7
-
-
70450263665
-
Specification and verification of time requirements with CCSL and Esterel
-
C. M. Kirsch and M. T. Kandemir, Eds. ACM
-
C. André and F. Mallet, "Specification and verification of time requirements with CCSL and Esterel," in LCTES, C. M. Kirsch and M. T. Kandemir, Eds. ACM, 2009, pp. 167-176.
-
(2009)
LCTES
, pp. 167-176
-
-
André, C.1
Mallet, F.2
-
8
-
-
77957603332
-
Verification of clock constraints: CCSL observers in Esterel
-
[Online]. Available
-
C. André, "Verification of clock constraints: CCSL observers in Esterel," INRIA, Research Report 7211, 02 2010. [Online]. Available:http://hal.inria.fr/inria-00458847/en/
-
(2010)
INRIA, Research Report 7211, 02
-
-
André, C.1
-
9
-
-
0005336503
-
Synchronous observers and the verification of reactive systems
-
London, UK: Springer-Verlag
-
N. Halbwachs, F. Lagnier, and P. Raymond, "Synchronous observers and the verification of reactive systems," in AMAST '93: Proceedings of the Third International Conference on Methodology and Software Technology. London, UK: Springer-Verlag, 1994, pp. 83-96.
-
(1994)
AMAST '93: Proceedings of the Third International Conference on Methodology and Software Technology
, pp. 83-96
-
-
Halbwachs, N.1
Lagnier, F.2
Raymond, P.3
-
10
-
-
84947923383
-
Model checking via reachability testing for timed automata
-
B. Steffen, Ed., Springer
-
L. Aceto, A. Burgueño, and K. G. Larsen, "Model checking via reachability testing for timed automata," in TACAS, ser. Lecture Notes in Computer Science, B. Steffen, Ed., vol.1384. Springer, 1998, pp. 263-280.
-
(1998)
TACAS, Ser. Lecture Notes in Computer Science
, vol.1384
, pp. 263-280
-
-
Aceto, L.1
Burgueño, A.2
Larsen, K.G.3
-
11
-
-
11344250348
-
Testing conformance of real-time applications by automatic generation of observers
-
S. Bensalem, M. Bozga, M. Krichen, and S. Tripakis, "Testing conformance of real-time applications by automatic generation of observers," Electronic Notes in Theoretical Computer Science, vol.113, pp. 23-43, 2005.
-
(2005)
Electronic Notes in Theoretical Computer Science
, vol.113
, pp. 23-43
-
-
Bensalem, S.1
Bozga, M.2
Krichen, M.3
Tripakis, S.4
-
12
-
-
77957568083
-
Formal evaluation of quality of service for data acquisition
-
ECSI
-
B. Ben Hedia, F. Jumel, and J.-P. Babau, "Formal evaluation of quality of service for data acquisition," in FDL. ECSI, 2005, pp. 579-589.
-
(2005)
FDL
, pp. 579-589
-
-
Ben Hedia, B.1
Jumel, F.2
Babau, J.-P.3
-
14
-
-
77951578112
-
IPXACT components with abstract time characterization
-
September
-
A. Mehmood Khan, F. Mallet, C. André, and R. de Simone, "IPXACT components with abstract time characterization," in Forum on specification, verification and design languages, FDL 2009, September 2009.
-
(2009)
Forum on Specification, Verification and Design Languages, FDL 2009
-
-
Mehmood Khan, A.1
Mallet, F.2
André, C.3
De Simone, R.4
-
15
-
-
0033334449
-
A methodology for correct-by-construction latency insensitive design
-
J. K. White and E. Sentovich, Eds. IEEE
-
L. P. Carloni, K. L. McMillan, A. Saldanha, and A. L. Sangiovanni-Vincentelli, "A methodology for correct-by-construction latency insensitive design," in ICCAD, J. K. White and E. Sentovich, Eds. IEEE, 1999, pp. 309-315.
-
(1999)
ICCAD
, pp. 309-315
-
-
Carloni, L.P.1
McMillan, K.L.2
Saldanha, A.3
Sangiovanni-Vincentelli, A.L.4
-
17
-
-
47949090405
-
Formal model construction using hdl simulation semantics
-
J. Buck, D. Wang, and Y. Zhu, "Formal model construction using hdl simulation semantics," High-Level Design, Validation, and Test Workshop, IEEE International, vol.0, pp. 115-122, 2007.
-
(2007)
High-Level Design, Validation, and Test Workshop, IEEE International
, pp. 115-122
-
-
Buck, J.1
Wang, D.2
Zhu, Y.3
-
19
-
-
0033465710
-
Modeling concurrent real-time processes using discrete events
-
E. A. Lee, "Modeling concurrent real-time processes using discrete events," Ann. Software Eng., vol.7, pp. 25-45, 1999.
-
(1999)
Ann. Software Eng.
, vol.7
, pp. 25-45
-
-
Lee, E.A.1
|