Publications

Publication list extracted from DBLP (Digital Bibliography & Library Project), reference website for publications of our area of research.

2013

An approach to multiclass mesoscopic simulation based on individual vehicles for dynamic network loading
, , :
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
, , , , :
Towards Standardized Integration of Images in the Cloud of Linked Data. OTM Workshops : 388-397
, , :
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 ()
, , , , :
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
, , , :
Standards-Based Architectures for Content Management. IEEE MultiMedia 20(4): 62-72 ()
, , , , , , , :
JPEG's JPSearch Standard: Harmonizing Image Management and Search. IEEE MultiMedia 20(4): 38-48 ()
, , , , :
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 ()
, :
Supporting the Genealogical Document Transcription Process. IJSODIT 3(4): 1-18 ()
, , :
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). Dagstuhl Reports 3(5): 43-77 ()

2012

, , , , :
On the Performance of Packet Aggregation in IEEE 802.11ac MU-MIMO WLANs. CoRR abs/1204.0643 ()
, , , , :
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
, , , :
ORE: an iterative approach to the design and evolution of multi-dimensional schemas. DOLAP : 1-8
, , , :
Integrating ETL Processes from Information Requirements. DaWaK : 65-80
, , , :
Requirement-Driven Creation and Deployment of Multidimensional and ETL Designs. ER Workshops : 391-395
, :
Ontology driven search of compound IDs. Knowl. Inf. Syst. 32(1): 191-216 ()

Pages