.:. Browse > Document list .:.

134 documents ordered by : Date Title first author name document type Submit date

1 - 2

SeDiM: A Middleware Framework for Interoperable Service Discovery in Heterogeneous Networks Flores C., Grace P., Blair G. ACM Transactions on Autonomous and Adaptive 6, 1 (2012) 6:1-6:8 [hal-00659777 - version 1]

A Compositional Specification Theory for Component Behaviours Chen T., Chilton C., Jonsson B., Kwiatkowska M. [hal-00665599 - version 1]

Emergent Middleware: Tackling the Interoperability Problem Blair G., Grace P. Internet Computing, IEEE 16, 1 (2012) 78 - 82 [hal-00659768 - version 1]

Emergent Middleware Grace P., Blair G., Issarny V. ERCIM News 2012, 88 (2012) 27-28 [hal-00659762 - version 1]

Automated Synthesis of CONNECTors to support Software Evolution Bennaceur A., Inverardi P., Issarny V., Spalazzese R. ERCIM News (2012) [hal-00662058 - version 1]

Gate automata-driven run-time enforcement Matteucci I., Costa G. Computers & Mathematics with Applications (2012) [hal-00661568 - version 1]

Advances in Probabilistic Model Checking Kwiatkowska M., Parker D. Dans Proc. 2011 Marktoberdorf Summer School: Tools for Analysis and Verification of Software Safety and Security, IOS Press (Ed.) (2012) [hal-00664777 - version 1]

Reusing System States by Active Learning Algorithms Bauer O., Neubauer J., Steffen B., Howar F. In Eternal Systems 255 (2011) 61-78 [hal-00664310 - version 1]

Inferring Canonical Register Automata Howar F., Steffen B., Jonsson B., Cassel S. Dans Verification, Model Checking, and Abstract Interpretation, Springer Berlin / Heidelberg (Ed.) (2012) 251-266 [hal-00664277 - version 1]

A Semiring-based Framework for the Deduction/Abduction Reasoning in Access Control with Weighted Credentials Bistarelli S., Martinelli F., Santini F. Computer and mathematics with applications (2012) [hal-00662587 - version 1]

Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring A. B., A. C., M. M., B. S. ERCIM News 2012, 88 (2012) [hal-00661027 - version 1]

Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity Bromberg Y.-D., Grace P., Réveillère L., Blair G. Dans 12thth IFIP/ACM/USENIX International Middleware Conference (2011) [hal-00643601 - version 1]

AmbiStream: A Middleware for Multimedia Streaming on Heterogeneous Mobile Devices Andriescu E. M., Speicys Cardoso R., Issarny V. In ACM/IFIP/USENIX 12th International Middleware Conference 7049 (2011) [hal-00639633 - version 1]

Towards Requirements Aware Systems: Run-time Resolution of Design-time Assumptions Bencomo N., Welsh K., Sawyer P. Dans ASE'11 - 26th IEEE/ACM International Conference On Automated Software Engineering (2011) [inria-00623780 - version 1]

Instant and Incremental QVT Transformation for Runtime Models Song H., Huang G., Chauvel F., Zhang W., Sun Y., Shao W., Mei H. Dans MODELS 2011 (2011) [hal-00646844 - version 1]

Risk-based Auto-Delegation for Probabilistic Availability Krautsevic L., Martinelli F., Morisset C., Artsiom Y. Dans 4th International Workshop on Autonomous and Spontateous Security (SETOP) (2011) [inria-00616450 - version 1]

Run-time Resolution of Uncertainty Bencomo N. Dans International Requirements Engineering Conference,, RE 2011 (2011) [inria-00623785 - version 1]

Trust-Driven Policy Enforcement through Gate Automata Costa G., Matteucci I. Dans Fifth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (2011) [hal-00661572 - version 1]

Simulation Based Analysis Of Middleware Service Impact On System Reliability: Experiment On Java Application Server Huang G., Wang W., Liu T., Mei H. Journal of Systems and Software 84, 7 (2011) 1160-1170 [hal-00644654 - version 1]

Proximity-Based Trust Inference for Mobile Social Networking Seyedi A., Saadi R., Issarny V. Dans IFIPTM 2011 - 5th IFIP WG 11.11 International Conference on Trust Management 358 (2011) 253-264 [inria-00617630 - version 1]

Composing Trust Models towards Interoperable Trust Management Saadi R., Rahaman, M. A., Issarny V., Toninelli A. Dans 5th IFIP WG 11.11 International Conference on Trust Management 358 (2011) 51-66 [inria-00617629 - version 1]

Starlink: runtime interoperability between heterogeneous middleware protocols Bromberg D., Grace P., Réveillère L. Dans The 31st International Conference on Distributed Computing Systems (ICDCS 2011) (2011) [inria-00594307 - version 1]

The Role of Ontologies in Enabling Dynamic Interoperability Nundloll V., Grace P., Blair G. Dans 11th IFIP International Conference on Distributed Applications and Interoperable Systems (2011) [inria-00594301 - version 1]

Towards Architecture-Level Middleware-Enabled Exception Handling of Component-based Systems Huang G., Wu Y. Dans The 14th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2011) (2011) [hal-00646839 - version 1]

Intermediate CONNECT Architecture Bennaceur A., S. Blair G., Chauvel F., Georgantas N., Grace P., Issarny V., Nundloll V., Paolucci M., Saadi R., Sykes D. (2011) [inria-00584911 - version 1]

Further development of learning techniques Bertolino A., Calabro A., Cassel S., Chen Y.-F., Howar F., Jonsson B., Merten M., Sabetta A., Steffen B. (2011) [inria-00584926 - version 1]

Design of Approaches for Dependability and Initial Prototypes Bertolino A., Calabro A., Chiaradonna S., Costa G., Di Giandomenico F., Di Marco A., Fusani M., Grandoni F., Issarny V., Kwiatkowska M. et al (2011) [inria-00584920 - version 1]

Compositional Algebra of CONNECTors Autili M., Bertolino A., Chilton C., Di Marco A., Di Giandomenico F., Inverardi P., Jonsson B., Kwiatkowska M., Martinucci M., Qu H. et al (2011) [inria-00584915 - version 1]

Experiment scenarios, prototypes and report - Iteration 1 Paolucci M., Souville B., Saadi R., S. Blair G., Grace P., Huynh T., Châtel P. (2011) [inria-00584923 - version 1]

Reasoning about and Harmonizing the Interaction Behavior of Networked Systems at Application- and Middleware- Layer Bennaceur A., Chauvel F., Inverardi P., Issarny V., Matteucci I., Martinelli F., Spalazzese R., Tivoli M. (2011) [inria-00584917 - version 1]

Incremental Quantitative Verification for Markov Decision Processes Kwiatkowska M., Parker D., Qu H. Dans IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-PDS'11) (2011) 359--370 [hal-00647057 - version 1]

Partial order reduction for model checking Markov decision processes under unconditional fairness Hansen H., Kwiatkowska M., Qu H. Dans 8th International Conference on Quantitative Evaluation of SysTems (QEST'11) (2011) 203-212 [hal-00647059 - version 1]

Learning-based Compositional Verification for Synchronous Probabilistic Systems Feng L., Han T., Kwiatkowska M., Parker D. Dans 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11) 6996 (2011) 511--521 [hal-00647061 - version 1]

Dynamic QoS Management and Optimisation in Service-Based Systems Calinescu R., Grunske L., Kwiatkowska M., Mirandola R., Tamburrelli G. IEEE Transactions on Software Engineering 37, 3 (2011) 387-409 [hal-00663216 - version 1]

Preserving Security Properties under Refinement Martinelli F., Matteucci I. Dans ICSE (2011) [hal-00661621 - version 1]

Negotiation on mobile devices using Weighted RTML Credentials Bistarelli S., Martinelli F., Roperti F., Santini F. Dans ItAIS 2011 (2011) [hal-00660182 - version 1]

Dependability and Performance Assessment of Dynamic CONNECTed Systems Bertolino A., Calabro A., Di Giandomenico F., Nostro N. Dans 11th International School SFM 2011 LNCS 6659 (2011) pp. 350-392 [hal-00649205 - version 1]

Automated Verification Techniques for Probabilistic Systems Forejt V., Kwiatkowska M., Norman G., Parker D. Dans Formal Methods for Eternal Networked Software Systems (SFM'11), Springer (Ed.) (2011) 53--113 [hal-00648037 - version 1]

PRISM 4.0: Verification of Probabilistic Real-time Systems Kwiatkowska M., Norman G., Parker D. Dans 23rd International Conference on Computer Aided Verification (CAV'11) 6806 (2011) 585--591 [hal-00648035 - version 1]

Next Generation LearnLib Merten M., Steffen B., Howar F., Margaria T. In 17th International Conference on Tools and algorithms for the construction and analysis of systems, TACAS 2011 (2011) [hal-00647749 - version 1]

Introduction to Active Automata Learning from a Practical Perspective Steffen B., Howar F., Merten M. In Formal Methods for Eternal Networked Software Systems, SFM 2011 6659 (2011) 256-296 [hal-00647729 - version 1]

A Succinct Canonical Register Automaton Model Cassel S., Howar F., Jonsson B., Merten M., Steffen B. In 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011 6996 (2011) 366-380 [hal-00647724 - version 1]

Automata Learning with Automated Alphabet Abstraction Refinement Howar F., Steffen B., Merten M. In Twelfth International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011 (2011) [hal-00647711 - version 1]

Dependability and Performance Assessment of Dynamic CONNECTed Systems Bertolino A., Calabrò A., Di Giandomenico F., Nostro N. Dans Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011, Springer (Ed.) (2011) [hal-00647701 - version 1]

Learning of Automata Models Extended with Data Jonsson B. Dans SFM-11 (2011) [hal-00647576 - version 1]

Advanced Ramsey-based Büchi Automata Inclusion Testing Abdulla P. A., Chen Y.-F., Clemente L., Holík L., Hong C.-D., Mayr R., Vojnar T. Dans CONCUR (2011) [hal-00647523 - version 1]

On enabling dependability assurance in heterogeneous networks through automated model-based analysis Masci P., Nostro N., Di Giandomenico F. Dans 3rd International Workshop on Software Engineering for Resilient Systems (2011) [hal-00647365 - version 1]

GLIMPSE: A Generic and Flexible Monitoring Infrastructure Bertolino A., Calabrò A., Lonetti F., Sabetta A. In 13th European Workshop on Dependable Computing (EWDC) (2011) [hal-00647355 - version 1]

Towards a Model-Driven Infrastructure for Runtime Monitoring Bertolino A., Calabrò A., Lonetti F., Di Marco A., Sabetta A. Dans 3rd International Workshop on Software Engineering for Resilient Systems (2011) [hal-00647363 - version 1]

Yet Another Meta-Model to specify Non-Functional Properties Di Marco A., Pompilio C., Bertolino A., Calabrò A., Lonetti F., Sabetta A. Dans International Workshop on Quality Assurance for Service-Based Applications (QASBA 2011) (2011) [hal-00647360 - version 1]

TOWARDS ENSURING ETERNAL CONNECTABILITY Bertolino A. Dans 6th International Conference on Software and Data Technologies (ICSOFT 2011) (2011) [hal-00647358 - version 1]

Automated Learning of Probabilistic Assumptions for Compositional Reasoning Feng L., Kwiatkowska M., Parker D. Dans 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11) 6603 (2011) 2--17 [hal-00647067 - version 1]

Quantitative Multi-Objective Verification for Probabilistic Systems Forejt V., Kwiatkowska M., Norman G., Parker D., Qu H. Dans 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11) 6605 (2011) 112--127 [hal-00647055 - version 1]

Security and Trust Costa G., Martinelli F., Issarny V., Saadi R., Matteucci I. In SFM'11 - 11 th International School on Formal Methods for the Design of Computer, Communication and Software (2011) 393-416 [hal-00646860 - version 1]

The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems Blair G., Bennaceur A., Georgantas N., Grace P., Issarny V., Nundloll V., Paolucci M. In Middleware 2011 - 12th International Middleware Conference (2011) [inria-00629059 - version 1]

Interoperability in Complex Distributed Systems Blair G., Paolucci M., Grace P., Georgantas N. Dans 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, Springer (Ed.) (2011) [inria-00629057 - version 1]

Inferring Affordances Using Learning Techniques Bennaceur A., Richard J., Alessandro M., Romina S., Sykes D., Saadi R., Issarny V. Dans International Workshop on Eternal Systems (EternalS'11) (2011) [inria-00591264 - version 1]

The CONNECT Architecture Grace P., Georgantas N., Bennaceur A., Blair G., Chauvel F., Issarny V., Paolucci M., Saadi R., Souville B., Sykes D. In 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, Springer (Ed.) (2011) 27-52 [inria-00586638 - version 1]

Middleware-layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability Issarny V., Bennaceur A., Bromberg Y.-D. In 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, Springer (Ed.) (2011) 217-255 [inria-00586630 - version 1]

Towards Automated Dependability Analysis of Dynamically Connected Systems Masci P., Martinucci M., Di Giandomenico F. Dans International Symposium on Autonomous Decentralized Systems (ISADS) 2011 (2011) [inria-00573410 - version 1]

Automated Refinement of Dependability Analysis through Monitoring in Dynamically Connected Systems Bertolino A., Calabro A., Di Giandomenico F., Martinucci M., Masci P. Dans International Symposium on Autonomous Decentralized Systems (ISADS) 2011 (2011) [inria-00573405 - version 1]

Modular Plans for Secure Service Composition Costa G., Degano P., Martinelli F. In Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2010) 41-58 [inria-00536652 - version 1]

Security-by-Contract-with-Trust for Mobile Devices Costa G., Lazouski A., Martinelli F., Matteucci I., Issarny V., Saadi R., Dragoni N., Massacci F. Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications (JoWUA) 1, 4 (2010) 75-91 [inria-00549662 - version 1]

Compositional Verification of Probabilistic Systems using Learning Feng L., Kwiatkowska M., Parker D. In 7th International Conference on Quantitative Evaluation of Systems (QEST'10) (2010) pages 133-142 [inria-00531203 - version 1]

A framework for automatic generation of security controller Martinelli F., Matteucci I. SOFTWARE TESTING, VERIFICATION AND RELIABILITY (2010) [inria-00536752 - version 1]

Enforcing private policy via security-by-Contract Costa G., Matteucci I. [inria-00458882 - version 1]

Experiment Scenarios Paolucci M., Souville B., Blair G., Grace P., Huynh T., Tuloup G., Vincent H., Léger A., Pathak A., Georgantas N. et al (2010) [inria-00465227 - version 1]

Conceptual Models for Assessment & Assurance of Dependability, Security and Privacy in the Eternal CONNECTed World Bertolino A., Chiaradonna S., Costa G., Di Giandomenico F., Di Marco A., Grace P., Issarny V., Kwiatkowska M., Martinelli F., Masci P. et al (2010) [inria-00465221 - version 1]

Establishing basis for learning algorithms Aarts F., Blom J., Bohlin T., Chen Y.-F., Howar F., Jonsson B., Merten M., Nagel R., Sabetta A., Soleimanifard S. et al (2010) [inria-00464671 - version 1]

Modeling of application- and middleware-layer interaction protocols Bennaceur A., Bertolino A., Grace P., Inverardi P., Issarny V., Tivoli M. (2010) [inria-00464661 - version 1]

Capturing functional and non-functional connector Autili M., Chilton C., Di Giandomenico F., Inverardi P., Jonsson B., Kwiatkowska M., Matteucci I., Qu H., Sabetta A., Tivoli M. (2010) [inria-00464654 - version 1]

Initial CONNECT Architecture Bertolino A., Blair G., Chauvel F., Flores Cortes C., Georgantas N., Grace P., Howar F., Huyn T., Jonsson B., Paolucci M. et al (2010) [inria-00464644 - version 1]

From ZULU to RERS - Lessons Learned in the ZULU Challenge Howar F., Steffen B., Merten M. In 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2010 (2010) 687--704 [hal-00647740 - version 1]

On Handling Data in Automata Learning - Considerations from the CONNECT Perspective Howar F., Jonsson B., Merten M., Steffen B., Cassel S. Dans 4th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2010 (2010) 221-235 [hal-00647734 - version 1]

Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach Song H., Huang G., Chauvel F., Xiong Y., Hu Z., Sun Y., Mei H. Journal of Systems and Software (2010) - [inria-00560783 - version 1]

Applying MDE Tools at Runtime: Experiments upon Runtime Models Song H., Huang G., Chauvel F., Sun Y. Dans Proceedings of the 5th International Workshop on Models at Run Time (2010) [inria-00560785 - version 1]

Towards Accuracy of Role-Based Access Control Configurations in Component-based Systems Sun L., Huang G. Journal of Systems Architecture (2010) [inria-00560784 - version 1]

Enforcing Private Policy via Security-by-Contract Costa G., Matteucci I. UPGRADE (European Journal for the Informatics Professional) (2010) 1 [inria-00536716 - version 1]

Synthesizing adapters for conversational web-services from their WSDL interface Cavallaro L., Di Nitto E., Pelliccione P., Pradella M., Tivoli M. Dans In ICSE 2010 SEAMS: Workshop on Software Engineering for Adaptive and Self-Managing Systems (2010) 104-113 [inria-00512413 - version 1]

Mediating Connector Patterns for Components Interoperability Spalazzese R., Inverardi P. In In Proceedings of the European Conference on Software Architecture (ECSA)2010 (2010) 335-343 [inria-00512435 - version 1]

A Theory of Mediators for Eternal Connectors Inverardi P., Issarny V., Spalazzese R. In ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2010) 236-250 [inria-00512443 - version 1]

Towards an architecture for runtime interoperability Bennaceur A., Blair G., Chauvel F., Georgantas N., Grace P., Howar F., Inverardi P., Issarny V., Paolucci M., Pathak A. et al Dans ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2010) 206-220 [inria-00512446 - version 1]

On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring Bertolino A., Inverardi P., Issarny V., Sabetta A., Spalazzese R. Dans ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2010) 251-262 [inria-00512449 - version 1]

Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach Bertolino A., Di Giandomenico F., Di Marco A., Issarny V., Martinelli F., Masci P., Matteucci I., Saadi R., Sabetta A. Dans 2nd International Workshop on Software Engineering for Resilient Systems (SERENE 2010) (2010) [inria-00512426 - version 1]

Run time models in adaptive service infrastructure Autili M., Inverardi P., Tivoli M. In Runtime Models for Self-managing Systems and Applications, Springer (Ed.) (2010) [inria-00512432 - version 1]

Towards a Connector Algebra Autili M., Chilton C., Inverardi P., Kwiatkowska M., Tivoli M. In In Proceedings of the 4th International Symposium on Leveraging Applications (ISoLA 2010) of Formal Methods, Verification and Validation (2010) [inria-00512431 - version 1]

Learning from the Cell Life-cycle: a Self-Adaptive Paradigm Di Marco A., Francesco G., Paola I., Ippoliti R. In Proc. of the 4th European Conference on Software Architecture (ECSA2010) (2010) [inria-00512415 - version 1]

Revisiting the Middleware Paradigm: On-the-fly Interoperability in Highly Complex Distributed Systems Bennaceur A., Blair G., Georgantas N., Grace P., Inverardi P., Issarny V., Pathak A., Saadi R., Spalazzese R. (2010) [inria-00512440 - version 1]

On-the-fly Interoperability through Automated Mediator Synthesis and Monitoring? Bertolino A., Inverardi P., Issarny V., Sabetta A., Spalazzese R. Dans ISoLA 2010 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2010) [inria-00536763 - version 1]

Formal approach to security metrics. What does “more secure” mean for you?∗ Krautsevich L., Martinelli F., Yautsiukhin A. In 2010 IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (2010) [inria-00536758 - version 1]

Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems Di Marco A., Bertolino A., Di Giandomenico F., Masci P., Sabetta A. In WODA 2010 Eighth International Workshop on Dynamic Analysis (2010) [inria-00536748 - version 1]

Model-based dynamic QoS-driven service composition Di Marco A., Sabetta A. In QUASOSS @ MODELS 2010 2nd International Workshop on the Quality of Service-Oriented Software Systems (2010) [inria-00536735 - version 1]

Extending Security-by-Contract with Quantitative Trust on Mobile Devices Costa G., Dragoni N., Lazouski A., Martinelli F., Massacci F., Matteucci I. In 4th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS 2010) (2010) [inria-00536705 - version 1]

A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction Bistarelli S., Martinelli F., Santini F. In International Conference on Autonomic and Trusted Computing (ATC 2010) (2010) [inria-00536688 - version 1]

Parallel Model Checking for Temporal Epistemic Logic Kwiatkowska M., Lomuscio A., Qu H. Dans European Conference on Artificial Intelligence (2010) [inria-00536670 - version 1]

Components Interoperability through Mediating Connector Patterns Romina S., Inverardi P. In In Proceedings WCSI 2010 - Workshop on Component and Service Interoperability, EPTCS (2010) [inria-00512436 - version 1]

Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems Di Marco A., Bertolino A., Di Giandomenico F., Masci P., Sabetta A. In Eighth International Workshop On Dynamic Analysis (WODA 2010) (2010) [inria-00512428 - version 1]

Service Encapsulation for Middleware Management Interfaces Chen X., Liu X., Zhang X., Liu Z., Huang G. Dans Proceedings of the 5th IEEE International Symposium on Service Oriented System Engineering (SOSE 2010) (2010) 272-279 [inria-00513292 - version 1]

Inferring Meta-Models for Runtime System Data from the Clients of Management APIs Song H., Huang G., Xiong Y. F., Chauvel F., Sun Y., Mei H. Dans Proceedings of the 13th International conference on Model-driven Engineering Languages and Systems (MODELS 2010) 6395 (2010) [inria-00513246 - version 1]

Using QoS Contracts to Drive Architecture-Centic Self-Adaptation Chauvel F., Song H., Ping X., Huang G., Mei H. Dans Proceedings of the 6th Intl. Conference on Quality of Software Architecture (QoSA 2010) 6093 (2010) 102--118 [inria-00513189 - version 1]