Publicacions

Llista de publicacions extreta de DBLP(Digital Bibliography & Library Project), lloc web de referència pel que fa a les publicacions més rellevants de la nostra àrea de recerca.

2013

A Kalman filter approach for exploiting bluetooth traffic data when estimating time-dependent OD matrices
Robustness and computational efficiency of a Kalman Filter estimator of time-dependent origin-destination matrices: exploiting ICT traffic measurements from information and communications technologies
Making real-time fleet management decisions under time dependent conditions in urban freight distribution
LITHE: An Agile Methodology for Human-Centric Model-Based Systems Engineering
A dynamic estimation of passenger OD matrices based on space-state models
Enhanced Benders Decomposition applied to a model of network topology design and frequency setting for rapid transit systems
A path-based congested transit assignment algorithm, a simplified dynamic model and its application to the Bus-Bridging problem
Robust infrastructure design in rapid transit rail system
An Approach to Multiclass Mesoscopic Simulation Based on Individual Vehicles for Dynamic Network Loading
, , , , , :
Capacity Analysis of IEEE 802.11ah WLANs for M2M Communications. MACOM : 139-155
, , :
Prototyping Distributed Collision-Free MAC Protocols for WLANs in Real Hardware. MACOM : 82-87
, :
Open Access Semantic Aware Business Intelligence. eBISS : 121-149
, , :
Former Students' Views on the Usefulness of Conceptual Modeling Education. ER Workshops : 237-246
, , , :
A Simulation Study Regarding Different Aircraft Boarding Strategies. MS : 145-152
, , :
Enforcement of Conceptual Schema Quality Issues in Current Integrated Development Environments. CAiSE : 626-640
, , , :
Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams. SDL Forum : 258-274
, , :
Former Students' Perception of Improvement Potential of Conceptual Modeling in Practice. ER : 395-402
, , :
Reasoning on UML Data-Centric Business Process Models. ICSOC : 437-445
, , :
Network and Service Management for Cloud Computing and Data Centers: A Report on CNSM 2012. J. Network Syst. Manage. 21(4): 707-712 ()
, , , , , :
Performance analysis of CSMA/CA protocols with multi-packet transmission. Computer Networks 57(14): 2675-2688 ()
, , :
A complete set of guidelines for naming UML conceptual schema elements. Data Knowl. Eng. 88: 60-74 ()
, , , , :
Automated reasoning on UML conceptual schemas with derived information and queries. Information & Software Technology 55(9): 1529-1550 ()
, , , , :
A declarative approach to distributed computing: Specification, execution and analysis. TPLP 13(4-5): 815-830 ()
, , , , :
A Kalman Filter Approach for Exploiting Bluetooth Traffic Data When Estimating Time-Dependent OD Matrices. J. Intellig. Transport. Systems 17(2): 123-141 ()
, , , , :
Future evolution of CSMA protocols for the IEEE 802.11 standard. ICC Workshops : 1274-1279
, , , , :
A professional view on ebanking authentication: Challenges and recommendations. IAS : 43-48
, , , , :
An approach to multiclass mesoscopic simulation based on individual vehicles for dynamic network loading. ITSC : 1382-1389
, , , , :
A Similarity Measure for Comparing XACML Policies. IEEE Trans. Knowl. Data Eng. 25(9): 1946-1959 ()
, , :
LITHE: An Agile Methodology for Human-Centric Model-Based Systems Engineering. IEEE Trans. Systems, Man, and Cybernetics: Systems 43(3): 504-521 ()
, , , :
On the improvement of receiver-initiated MAC protocols for WSNs by applying scheduling. WOWMOM : 1-3
, , , :
Simulation and optimization for an experimental environment to wildfire resource management and planning: Firefight project modelling and architecture. Winter Simulation Conference : 1950-1960
, , , :
Formalizing geographical models using specification and description language: The wildfire example. Winter Simulation Conference : 1961-1972
, , :
Modeling anesthesia and pavilion surgical units in a Chilean hospital with Specification and Description Language. Simulation 89(8): 1020-1035 ()
, , , , :
Performance analysis of IEEE 802.11ac wireless backhaul networks in saturated conditions. EURASIP J. Wireless Comm. and Networking 2013: 226 ()
:
A Variational Inequality Reformulation of a Congested Transit Assignment Model by Cominetti, Correa, Cepeda, and Florian. Transportation Science 47(2): 231-246 ()
, , , :
Validation of schema mappings with nested queries. Comput. Sci. Inf. Syst. 10(1): 79-104 ()
, , :
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). Dagstuhl Reports 3(5): 43-77 ()

2012

, , , , :
On the Distributed Construction of a Collision-Free Schedule in Multi-Hop Packet Radio Networks. CoRR abs/1206.4531 ()
, , , , , , , :
Bottom-up Broadband Initiatives in the Commons for Europe Project. CoRR abs/1207.1031 ()
, , , , :
Queueing Analysis in Multiuser Multi-Packet Transmission Systems Using Spatial Multiplexing. CoRR abs/1207.3506 ()
, , , , , :
Modeling a CSMA/CA MAC Protocol with Multi-packet Transmission/Reception in Non-saturated Conditions. CoRR abs/1207.3508 ()
, , , , :
Modelling a Decentralized Constraint Satisfaction Solver for Collision-Free Channel Access. CoRR abs/1210.3598 ()
, , , :
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics
:
Enhancing SDLPS with co-simulation. Winter Simulation Conference : 384:1-384:2
, :
Verification and Validation of UML Conceptual Schemas with OCL Constraints. ACM Trans. Softw. Eng. Methodol. 21(2): 13:1-13:41 ()
, , , , , :
Risk-based security decisions under uncertainty. CODASPY : 157-168
, , :
Practical risk aggregation in RBAC models. SACMAT : 117-118
, , , :
ORE: an iterative approach to the design and evolution of multi-dimensional schemas. DOLAP : 1-8

Pàgines