-
1
-
-
77955231252
-
-
Alur, R., Dill, D. L.: Automata for modeling real-time systems. In: 17th ICALP (1990).
-
-
-
-
2
-
-
84958037228
-
-
Bengtsson, J., Larsen, K. G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL: a tool-suite for automatic verification of real-time systems. In: Hybrid Systems III: LNCS, 1066 (1996).
-
-
-
-
3
-
-
77955229610
-
-
Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool KRONOS. In: Hybrid Systems III, 1066. Springer (1995).
-
-
-
-
4
-
-
0017001923
-
Recoverability of communication protocols
-
Merlin P., Farber D.: Recoverability of communication protocols. IEEE Trans. Commun. 24(9), 1036-1043 (1976).
-
(1976)
IEEE Trans. Commun.
, vol.24
, Issue.9
, pp. 1036-1043
-
-
Merlin, P.1
Farber, D.2
-
5
-
-
0026120365
-
Modeling and verification of time dependent systems using time petri nets
-
Berthomieu B., Diaz M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. Softw. Eng. 17(3), 259-273 (1991).
-
(1991)
IEEE Trans. Softw. Eng.
, vol.17
, Issue.3
, pp. 259-273
-
-
Berthomieu, B.1
Diaz, M.2
-
6
-
-
0035418270
-
Static analysis and dynamic steering of time dependent systems using Time Petri Nets
-
Vicario E.: Static analysis and dynamic steering of time dependent systems using Time Petri Nets. IEEE Trans. Softw. Eng. 27(1), 728-748 (2001).
-
(2001)
IEEE Trans. Softw. Eng.
, vol.27
, Issue.1
, pp. 728-748
-
-
Vicario, E.1
-
7
-
-
1842426438
-
Timed state space analysis of real time preemptive systems
-
Bucci G., Fedeli A., Sassoli L., Vicario E.: Timed state space analysis of real time preemptive systems. IEEE Trans. Softw. Eng. 30(2), 97-111 (2004).
-
(2004)
IEEE Trans. Softw. Eng.
, vol.30
, Issue.2
, pp. 97-111
-
-
Bucci, G.1
Fedeli, A.2
Sassoli, L.3
Vicario, E.4
-
8
-
-
0033337591
-
-
Altisen, K., Gossler, G., Pnueli, A., Sifakis, J., Tripakis, S., Yovine, S.: A framework for scheduler synthesis. In: RTSS '99: Proceedings of the 20th IEEE Real-Time Systems Symposium, Washington, DC, USA, 154 pp. IEEE Computer Society (1999).
-
-
-
-
9
-
-
0035713255
-
-
Bertin, V., Closse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S.: Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded systems. In: CDC '01: Proceedings of the 40th IEEE Conference on Decision and Control (2001).
-
-
-
-
10
-
-
84884680126
-
-
Kloukinas, C., Yovine, S.: Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems. In: In ECRTS 03: Euromicro Conference on Real-Time Systems, pp. 287-294. IEEE Computer Society Press (2003).
-
-
-
-
11
-
-
77955229209
-
-
Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: a tool for schedulability analysis and code generation of real-time systems. In: Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (2003).
-
-
-
-
12
-
-
26444519099
-
-
Gardey, G., Lime, D., Magnin, M., Roux, O.: Roméo: a tool for analyzing time petri nets. In: 17th International Conference on Computer Aided Verification (CAVć605). Lecture Notes in Computer Science (2005).
-
-
-
-
13
-
-
3142637435
-
The tool TINA-construction of abstract state spaces for petri nets and time petri nets
-
Berthomieu B., Ribet P. O., Vernadat F.: The tool TINA-construction of abstract state spaces for petri nets and time petri nets. Int. J. Prod. Res. 42(14), 2741-2756 (2004).
-
(2004)
Int. J. Prod. Res.
, vol.42
, Issue.14
, pp. 2741-2756
-
-
Berthomieu, B.1
Ribet, P.O.2
Vernadat, F.3
-
14
-
-
35048862279
-
-
Behrmann, G., David, A., Larsen, K. G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. LNCS, vol. 3185, pp. 200-236. Springer-Verlag (2004).
-
-
-
-
15
-
-
84871800342
-
Times-a tool for modelling and implementation of embedded systems
-
Amnell T., Fersman E., Mokrushin L., Pettersson P., Yi W.: Times-a tool for modelling and implementation of embedded systems. LNCS 2280, 460-464 (2002).
-
(2002)
LNCS
, vol.2280
, pp. 460-464
-
-
Amnell, T.1
Fersman, E.2
Mokrushin, L.3
Pettersson, P.4
Yi, W.5
-
16
-
-
70349363806
-
-
Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Modeling flexible real time systems with preemptive Time Petri Nets. In: Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS03) (2003).
-
-
-
-
17
-
-
73449145954
-
Using stochastic state classes in quantitative evaluation of dense-time reactive systems
-
Vicario E., Sassoli L., Carnevali L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. Softw. Eng. 35(5), 703-719 (2009).
-
(2009)
IEEE Trans. Softw. Eng.
, vol.35
, Issue.5
, pp. 703-719
-
-
Vicario, E.1
Sassoli, L.2
Carnevali, L.3
-
18
-
-
67349135044
-
State-density functions over DBM domains in the analysis of non-Markovian models
-
Carnevali L., Grassi L., Vicario E.: State-density functions over DBM domains in the analysis of non-Markovian models. IEEE Trans. Softw. Eng. 35(2), 178-194 (2009).
-
(2009)
IEEE Trans. Softw. Eng.
, vol.35
, Issue.2
, pp. 178-194
-
-
Carnevali, L.1
Grassi, L.2
Vicario, E.3
-
19
-
-
74049118063
-
-
Horváth, A., Vicario, E.: Aggregated stochastic state classes in quantitative evaluation of non-markovian Stochastic Petri Nets. In: Proceedings of the 6th Int. Conf. on Quant. Evaluation of Sys. (QEST '09) (2009).
-
-
-
-
20
-
-
47949114942
-
-
Sassoli, L., Vicario, E.: Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. In: Proc. of the 4th Int. Conf. on the Quant. Evaluation of Sys. (QEST) (2007).
-
-
-
-
21
-
-
33847268836
-
-
Bucci, G., Piovosi, R., Sassoli, L., Vicario, E.: Introducing probability within state class analysis of dense time dependent systems. In: Proc. of the 2nd Int. Conf. on Quant. Evaluation of Sys. (QEST '05) (2005).
-
-
-
-
22
-
-
77955228671
-
-
Carnevali, L., Ridi, L., Vicario, E.: Partial stochastic characterization of timed runs over DBM domains. In: Proc. of the 9th International Workshop on Performability Modeling of Computer and Communication Systems (2009).
-
-
-
-
23
-
-
84885223483
-
-
Cassez, F., Larsen, K. G.: The Impressive Power of Stopwatches. LNCS, vol. 1877 (August, 2000).
-
-
-
-
24
-
-
35048882595
-
-
Roux, O. H., Lime, D.: Time petri nets with inhibitor hyperarcs: formal semantics and state-space computation. In: 25th Int. Conf. on Theory and Application of Petri nets, vol. 3099, pp. 371-390 (2004).
-
-
-
-
25
-
-
45849117635
-
-
Carnevali, L., Grassi, L., Vicario, E.: A tailored V-Model exploiting the theory of preemptive Time Petri Nets. In: Ada-Europe '08: Proc. of the Ada-Europe Int. Conf. on Reliable Software Technologies, pp. 87-100. Springer-Verlag, Berlin (2008).
-
-
-
-
26
-
-
47849119075
-
-
Carnevali, L., Sassoli, L., Vicario, E.: Sensitization of symbolic runs in real-time testing using the ORIS tool. In: Proc. of the IEEE Conf. on Emerging Technologies and Factory Automation (ETFA) (2007).
-
-
-
-
27
-
-
35348873349
-
-
Carnevali, L., Sassoli, L., Vicario, E.: Casting preemptive Time Petri Nets in the development life cycle of real-time software. In: Proc. of the Euromicro Conference on Real-Time Systems (2007).
-
-
-
-
28
-
-
33947160120
-
Correctness verification and performance analysis of real time systems using stochastic preemptive Time Petri Nets
-
Bucci G., Sassoli L., Vicario E.: Correctness verification and performance analysis of real time systems using stochastic preemptive Time Petri Nets. IEEE Trans. Softw. Eng. 31(11), 913-927 (2005).
-
(2005)
IEEE Trans. Softw. Eng.
, vol.31
, Issue.11
, pp. 913-927
-
-
Bucci, G.1
Sassoli, L.2
Vicario, E.3
-
29
-
-
0347770689
-
Engineering the usability of a visual formalism for real-time temporal logic
-
Vicario E.: Engineering the usability of a visual formalism for real-time temporal logic. J. Vis. Lang. Comput. 12(6), 573-599 (2001).
-
(2001)
J. Vis. Lang. Comput.
, vol.12
, Issue.6
, pp. 573-599
-
-
Vicario, E.1
-
30
-
-
84957542280
-
-
Lusini, M., Vicario, E.: Design and evaluation of a visual formalism for real time logics. In: ACoS '98/VISUAL '98, AIN '97: Selected Papers on Services and Visualization: Towards User-Friendly Design, pp. 158-173. Springer-Verlag, London (1998).
-
-
-
-
31
-
-
70350689970
-
-
Carnevali, L., D'Amico, D., Ridi, L., Vicario, E.: Automatic code generation from real-time systems specifications. In: Proceedings of the IEEE/IFIP International Symposium on Rapid System Prototyping (RSP) (2009).
-
-
-
-
32
-
-
77955230838
-
-
Dept. of Aerospace Eng. of the Polytechnic of Milan: RTAI: Real Time Application Interface for Linux
-
Dept. of Aerospace Eng. of the Polytechnic of Milan: RTAI: Real Time Application Interface for Linux. https://www. rtai. org.
-
-
-
-
33
-
-
0025488794
-
Priority inheritance protocols: An approach to real-time synchronization
-
Sha L., Rajkumar R., Lehoczky J. P.: Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans. Comput. 39(9), 1175-1185 (1990).
-
(1990)
IEEE Trans. Comput.
, vol.39
, Issue.9
, pp. 1175-1185
-
-
Sha, L.1
Rajkumar, R.2
Lehoczky, J.P.3
-
34
-
-
0020904451
-
-
Berthomieu, B., Menasche, M.: An enumerative approach for analyzing time Petri nets. In Mason, R. E. A. (ed.) Information Processing: Proceedings of the IFIP Congress 1983, vol. 9, pp. 41-46. Elsevier (1983).
-
-
-
-
35
-
-
77955231532
-
-
Dill, D.: Timing assumptions and verification of finite-state concurrent systems. In: Proceedings of Workshop on Computer Aided Verification Methods for Finite State Systems (1989).
-
-
-
-
36
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
Clarke E. M., Emerson E. A., Sistla A. P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244-263 (1986).
-
(1986)
ACM Trans. Program. Lang. Syst.
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
37
-
-
0027542040
-
An action-based framework for verifying logical and behavioural properties of concurrent systems
-
De Nicola R., Fantechi A., Gnesi S., Ristori G.: An action-based framework for verifying logical and behavioural properties of concurrent systems. Comput. Netw. ISDN Syst. 25(7), 761-778 (1993).
-
(1993)
Comput. Netw. ISDN Syst.
, vol.25
, Issue.7
, pp. 761-778
-
-
de Nicola, R.1
Fantechi, A.2
Gnesi, S.3
Ristori, G.4
-
38
-
-
51549096502
-
-
Alur, R., Henzinger, T. A.: Logics and models of real-time: a survey. In: Real Time: Theory in Practice, vol. 600, pp. 74-106. Springer-Verlag (1991).
-
-
-
-
39
-
-
43949126892
-
Priority inheritance protocols: The worst case execution-time problem: Overview of methods and survey of tools
-
Wilhelm R., Engblom J., Ermedahl A., Holsti N., Thesing S., Whalley D., Bernat G., Ferdinand C., Heckmann R., Mitra T., Mueller F., Puaut I., Puschner P., Statshulat J., Stenstroem P.: Priority inheritance protocols: the worst case execution-time problem: overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3), 1-53 (2008).
-
(2008)
ACM Trans. Embed. Comput. Syst.
, vol.7
, Issue.3
, pp. 1-53
-
-
Wilhelm, R.1
Engblom, J.2
Ermedahl, A.3
Holsti, N.4
Thesing, S.5
Whalley, D.6
Bernat, G.7
Ferdinand, C.8
Heckmann, R.9
Mitra, T.10
Mueller, F.11
Puaut, I.12
Puschner, P.13
Statshulat, J.14
Stenstroem, P.15
-
40
-
-
0003707239
-
-
Toronto: University of Toronto Press
-
Lorentz G.: Bernstein Polynomials. University of Toronto Press, Toronto (1953).
-
(1953)
Bernstein Polynomials
-
-
Lorentz, G.1
-
41
-
-
0026406596
-
Multivariate Bernstein polynomials and convexity
-
Sauer T.: Multivariate Bernstein polynomials and convexity. Comput. Aided Geom. Des. 8(6), 465-478 (1991).
-
(1991)
Comput. Aided Geom. Des.
, vol.8
, Issue.6
, pp. 465-478
-
-
Sauer, T.1
-
42
-
-
77955229208
-
-
Wolfram Research: Mathemathica 5. 2
-
Wolfram Research: Mathemathica 5. 2. www. wolfram. com.
-
-
-
-
43
-
-
77949880829
-
-
Carnevali, L., Ridi, L., Vicario, E.: Stochastic fault trees for cross-layer power management of wsn monitoring systems. In: Proceedings of the IEEE Conference on Emerging Technologies and Factory Automation (ETFA) (2009).
-
-
-
-
44
-
-
56649083721
-
-
Bucci, G., Carnevali, L., Vicario, E.: A tool supporting evaluation of non-markovian fault trees. In: Proceedings of the 5th Int. Conf. on Quant. Evaluation of Sys. (QEST '05) (2008).
-
-
-
|