Publications

Export 323 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Last Name is M  [Clear All Filters]
2010
[1281] Wang, L, Mahulea C, Julvez J, Silva M.  2010.  Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1320] Blanco, R, de Miguel G, Requeno JI, Colom JM.  2010.  Temporal Logics for Phylogenetic Analysis via Model Checking. Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10). :152-157.
[1406] Holanda, HJA, Merseguer J, Cordeiro G, Serra AB.  2010.  Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.
[1282] Cabasino, MP, Seatzu C, Mahulea C, Silva M.  2010.  Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
[1313] López-Grao, JP, Colom JM.  2010.  The Resource Allocation Problem In Software Applications: A Petri Net Perspective. International Workshop on Petri Nets and Software Engineering PNSE'10,. :7-21.
[1276] Gómez-Martínez, E, Merseguer J.  2010.  Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
[1278] Kloetzer, M, Mahulea C, Belta C, Silva M.  2010.  An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[1283] Julvez, J, Mahulea C.  2010.  SimHPN: a MATLAB toolbox for continuous Petri nets. 10th International Workshop on Discrete Event Systems.
[1255] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.
[1275] Rovetto, C, Cano E, Colom JM.  2010.  Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. :125-140.
[1284] Heiner, M, Mahulea C, Silva M.  2010.  On the Importance of the Deadlock Trap Property for Monotonic Liveness. Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010.
[1258] Mahulea, C, Recalde L, Silva M.  2010.  Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
[PMMG-VIDAS10] Perez-Palacin, D, Merseguer J, Mirandola R, Grassi V.  2010.  QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.
[PM-PASM09] Perez-Palacin, D, Merseguer J.  2010.  Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets. ENTCS. 261:181-201.
[PMB-ICPE10] Perez-Palacin, D, Merseguer J, Bernardi S.  2010.  Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
[RMB_SERENE10] Rodríguez, RJ, Merseguer J, Bernardi S.  2010.  Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
[RM_ISARCS10] Rodríguez, RJ, Merseguer J.  2010.  Integrating Fault-Tolerant Techniques into the Design of Critical Systems. 1st International Symposium on Architecting Critical Systems. 6150:33--51.
[1279] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2010.  Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
[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).
[1303] Mayordomo, E, Blanco R, Montes E, Mayo R, Alberto A.  2010.  Scalable Phylogenetics through Input Preprocessing.
[1306] [Anonymous].  2010.  Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010. 6158
[1308] Gavaldà, R, López-Valdés M, Mayordomo E, Vinodchandran NV.  2010.  Resource-bounded Dimension in Computational Learning Theory. arXiv.
2009
[BBCM-09] Berardinelli, L, Bernardi S, Cortellessa V, Merseguer J.  2009.  UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
[1254] Seatzu, C, Cabasino MP, Mahulea C, Silva M.  2009.  New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
[1253] Apaydin-Ozkan, H, Julvez J, Mahulea C, Silva M.  2009.  An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).