-
1
-
-
84861507919
-
Pattern-based composition and analysis of virtually synchronized real-time distributed systems
-
IEEE
-
A. Al-Nayeem, L. Sha, D. D. Cofer & S. M. Miller (2012): Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. In: Proc. ICCPS'12, IEEE, pp. 65-74, doi:10.1109/ICCPS.2012.15.
-
(2012)
Proc. ICCPS'12
, pp. 65-74
-
-
Al-Nayeem, A.1
Sha, L.2
Cofer, D.D.3
Miller, S.M.4
-
4
-
-
85062001440
-
Formal patterns for multi-rate distributed real-time systems
-
LNCS, Springer. To appear
-
K. Bae, J. Meseguer & P. C. Ölveczky (2012): Formal Patterns for Multi-Rate Distributed Real-Time Systems. In: Proc. FACS'12, LNCS, Springer. To appear.
-
(2012)
Proc. FACS'12
-
-
Bae, K.1
Meseguer, J.2
Ölveczky, P.C.3
-
5
-
-
80455140612
-
Synchronous AADL and its formal analysis in real-time maude
-
LNCS Springer
-
K. Bae, P. C. Ölveczky, A. Al-Nayeem & J. Meseguer (2011): Synchronous AADL and its Formal Analysis in Real-Time Maude. In: Proc. ICFEM'11, LNCS 6991, Springer, pp. 651-667, doi:10.1007/978-3-642-24559-6 43.
-
(2011)
Proc. ICFEM'11
, vol.6991
, pp. 651-667
-
-
Bae, K.1
Ölveczky, P.C.2
Al-Nayeem, A.3
Meseguer, J.4
-
6
-
-
38049179424
-
All about maude - A high-performance logical framework
-
Springer
-
M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer & C. Talcott (2007): All About Maude - A High-Performance Logical Framework. LNCS 4350, Springer, doi:10.1007/978-3-540-71999-1.
-
(2007)
LNCS
, vol.4350
-
-
Clavel, M.1
Durán, F.2
Eker, S.3
Lincoln, P.4
Martí-Oliet, N.5
Meseguer, J.6
Talcott, C.7
-
8
-
-
84868330125
-
Timed CTL model checking in real-time maude
-
LNCS Springer
-
D. Lepri, E. Ábrahám & P.C. Olveczky (2012): Timed CTL Model Checking in Real-Time Maude. In: Proc. WRLA'12, LNCS 7571, Springer, pp. 182-200, doi:10.1007/978-3-642-34005-5 10.
-
(2012)
Proc. WRLA'12
, vol.7571
, pp. 182-200
-
-
Lepri, D.1
Ábrahám, E.2
Olveczky, P.C.3
-
9
-
-
78649543257
-
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
-
LNCS Springer
-
J. Meseguer & P. C. Ölveczky (2010): Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. In: Proc. ICFEM'10, LNCS 6447, Springer, pp. 303-320, doi:10.1007/978-3-642-16901-4 21.
-
(2010)
Proc. ICFEM'10
, vol.6447
, pp. 303-320
-
-
Meseguer, J.1
Ölveczky, P.C.2
-
10
-
-
84863989473
-
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
-
J. Meseguer & P. C. Ölveczky (2012): Formalization and correctness of the PALS architectural pattern for distributed real-time systems. Theor. Comp. Sci. 451, pp. 1-37, doi:10.1016/j.tcs.2012.05.040.
-
(2012)
Theor. Comp. Sci.
, vol.451
, pp. 1-37
-
-
Meseguer, J.1
Ölveczky, P.C.2
-
11
-
-
77951063154
-
Implementing logical synchrony in integrated modular avionics
-
S. P. Miller, D. D. Cofer, L. Sha, J. Meseguer & A. Al-Nayeem (2009): Implementing Logical Synchrony in Integrated Modular Avionics. In: Proc. DASC'09, IEEE, doi:10.1109/DASC.2009.5347579.
-
(2009)
Proc. DASC'09, IEEE
-
-
Miller, S.P.1
Cofer, D.D.2
Sha, L.3
Meseguer, J.4
Al-Nayeem, A.5
-
12
-
-
34047233385
-
Semantics and pragmatics of real-time maude
-
P. C. Ölveczky & J. Meseguer (2007): Semantics and Pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation 20(1-2), pp. 161-196, doi:10.1007/s10990-007-9001-5.
-
(2007)
Higher-Order and Symbolic Computation
, vol.20
, Issue.1-2
, pp. 161-196
-
-
Ölveczky, P.C.1
Meseguer, J.2
-
13
-
-
84255178708
-
TTA and PALS: Formally verified design patterns for distributed cyber-physical systems
-
W. Steiner & J. Rushby (2011): TTA and PALS: Formally verified design patterns for distributed cyber-physical systems. In: Proc. DASC'11, IEEE, doi:10.1109/DASC.2011.6096120.
-
(2011)
Proc. DASC'11, IEEE
-
-
Steiner, W.1
Rushby, J.2
|