Filters: First Letter Of Last Name is F [Clear All Filters]
 Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).. 2011.
[IPTeFrDe99] Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.. 1999.
[03_TFP_IToSE] Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.. 2003.
 Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.. 2009.
 On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.. 2011.
 Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th Int. Workshop on Discrete Event Systems.. 2012.
 Inseparability and Strong Hypotheses for Disjoint NP Pairs. Theory of Computing Systems. 51:229-247.. 2012.
 Inseparability and Strong Hypotheses for Disjoint NP Pairs. Twenty-Seventh Symposium on Theoretical Aspects of Computer Science (STACS'10).. 2010.
 Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach. Reliability Engineering and System Safety.. Submitted.
 Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6). 2012.
 EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).. 2013.
[PFMBC-JCST-13] Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.. 2013.
 CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3). 2012.