Publications

Export 29 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is F  [Clear All Filters]
Journal Article
[1441] F, F, B L\"owe, E M.  2012.  CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
[1530] Fraca, E, Haddad S.  2015.  Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. Fundamenta Informaticae. 137:1-28.
[1431] Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V.  2013.  Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
application/pdf icon
ress12_dam.pdf
[1531] Fraca, E, Julvez J, Silva M.  2015.  Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. 16
[1297] Mayordomo, E, Lutz JH, Fortnow L.  2012.  Inseparability and Strong Hypotheses for Disjoint NP Pairs. Theory of Computing Systems. 51:229-247.
[1500] Fraca, E, Julvez J, Silva M.  2014.  On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. 12:3-19.
[1425] Mayordomo, E, Ferreira F, Hyland M, L\"owe B.  2012.  Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)
[PFMBC-JCST-13] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.
[PCFB-LAT-13] Pérez, S, Campos J, Facchini H, Bisaro L.  2013.  Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
[FeLuMaRe05] Fenner, SA, Lutz JH, Mayordomo E, Reardon P.  2005.  Weakly useful sequences. Information and Computation. 197:41-54.
0 icon
wus.pdf
[03_TFP_IToSE] Teruel, E, Franceschinis G, Pierro M.  2003.  Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
0 icon
03_TFP_IToSE.pdf
Conference Proceedings
[1496] Fraca, E, Julvez J, Silva M.  2012.  Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th International Workshop on Discrete Event Systems (WODES’12). :21-27.
[1296] Fraca, E, Julvez J, Mahulea C, Silva M.  2011.  On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
[1306] [Anonymous].  2010.  Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. 6158
Conference Paper
[IPTeFrDe99] Teruel, E, Franceschinis G, Pierro M.  1999.  Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
0 icon
99_TFD_PNPM.ps
[1462] Fraca, E, Haddad S.  2013.  Complexity Analysis of Continuous Petri Nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN).
application/pdf icon
ICATPN-2013.pdf
[1251] Franceschelli, M, Egerstedt M, Giua A, Mahulea C.  2009.  Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[1455] Pérez, S, Facchini H, Mercado G, Bisaro L, Campos J.  2013.  EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).
[1302] Mayordomo, E, Lutz JH, Fortnow L.  2010.  Inseparability and Strong Hypotheses for Disjoint NP Pairs. Twenty-Seventh Symposium on Theoretical Aspects of Computer Science (STACS'10).
[1382] Bernardi, S, Francesco F, Marrone S, Merseguer J, Papa C, Vittorini V.  2011.  Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[TE-2] Tricas, F, Ezpeleta J.  1999.  A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources. :1047-1098.
[IPSiRe03b] Silva, M, Recalde L.  2003.  Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
0 icon
001IC.ps
[FeLuMaWUS] Fenner, SA, Lutz JH, Mayordomo E.  1995.  Weakly Useful Sequences. 944:393-404.
0 icon
95_FLM_ICALP.ps
[1529] Fraca, E, Julvez J, Silva M.  2014.  The “bound Reaching Problem” on the Fluidization of Timed Petri Nets. 12th Int. Workshop on Discrete Event Systems.
Book Chapter
[1503] Silva, M, Fraca E, Wang L.  2014.  Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Formal Methods in Manufacturing. :409-452.