Using style to understand descriptions of software architecture, ACM SIGSOFT Software Engineering Notes, vol.18, issue.5, pp.9-20, 1993. ,
DOI : 10.1145/167049.167055
Formalizing style to understand descriptions of software architecture, ACM Transactions on Software Engineering and Methodology, vol.4, issue.4, pp.319-364, 1995. ,
DOI : 10.1145/226241.226244
Actors : a Model of Concurrent Computation in Distributed Systems, 1986. ,
Arch- Java : connecting software architecture to implementation ,
DOI : 10.1109/icse.2002.1007967
URL : http://archjava.fluid.cs.cmu.edu/papers/icse02.pdf
Architectural Reasoning in ArchJava, Proceedings of the 16th European Conference on Object-Oriented Programming, pp.334-367, 2002. ,
DOI : 10.1007/3-540-47993-7_15
Assessment of a framework for comparing software architecture analysis methods, EASE'07 : Proceedings of the 11th International Conference on Evaluation and Assessment in Software Engineering . Citeseer, 2007. ,
A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997. ,
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067
The N-Version Approach to Fault-Tolerant Software, IEEE Transactions on Software Engineering, vol.11, issue.12, pp.1491-1501, 1985. ,
DOI : 10.1109/TSE.1985.231893
Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004. ,
DOI : 10.1109/TDSC.2004.2
Software Architecture in Practice, 2003. ,
A tutorial on UPPAAL. Formal methods for the design of real-time systems, pp.33-35, 2004. ,
Programming pearls, Communications of the ACM, vol.29, issue.8, pp.711-721, 1986. ,
DOI : 10.1145/6424.315691
Towards a precise definition of the OMG/MDA framework, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.273-2001 ,
DOI : 10.1109/ASE.2001.989813
DiaSim : a simulator for pervasive computing applications. Software : Practice and Experience, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00715745
DiaSim : A Parameterized Simulator for Pervasive Computing Applications, Mobiquitous'09 : Proceedings of the 6th International Conference on Mobile and Ubiquitous Systems : Computing, Networking and Services, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00403421
Modeling reconfigurable mechatronic systems with mechatronic UML, Proceedings of Model-Driven Architecture : Foundations and Applications, pp.155-169, 2004. ,
The fujaba real-time tool suite, Proceedings of the 27th international conference on Software engineering , ICSE '05, pp.670-671, 2005. ,
DOI : 10.1145/1062455.1062601
EJFlow, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.72-83, 2008. ,
DOI : 10.1145/1353482.1353492
Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification, 2011. ,
A generative programming approach to developing pervasive computing systems, GPCE'09 : Proceedings of the 8th International Conference on Generative Programming and Component Engineering, pp.137-146, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00405819
Leveraging software architectures to guide and verify the development of Sense ,
URL : https://hal.archives-ouvertes.fr/inria-00537789
Toward a Tool-Based Development Methodology for Pervasive Computing Applications, IEEE Transactions on Software Engineering, vol.38, issue.6, pp.1445-1463, 2012. ,
DOI : 10.1109/TSE.2011.107
Towards fault tolerant pervasive computing, IEEE Technology and Society Magazine, vol.24, issue.1, pp.38-44, 2005. ,
DOI : 10.1109/MTAS.2005.1407746
URL : http://choices.cs.uiuc.edu/~chetan/papers/tfpc.pdf
"The Golden Age of Software Architecture" Revisited, IEEE Software, vol.26, issue.4, pp.70-72, 2009. ,
DOI : 10.1109/MS.2009.83
Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI, IEEE Internet Computing, vol.6, issue.2, pp.86-93, 2002. ,
DOI : 10.1109/4236.991449
A fault-tolerant software architecture for component-based systems. Architecting dependable systems, pp.129-149, 2003. ,
The EFTOS voting farm : a software tool for fault masking in message passing parallel environments, Proceedings of the 24th Euromicro Conference, pp.379-386, 1998. ,
Ambient-oriented programming in AmbientTalk, Proceedings of the 20th European Conference on Object-Oriented Programming, pp.230-254, 2006. ,
Bristlecone: A Language for Robust Software Systems, Proceedings of the 22nd European Conference on Object-Oriented Programming, pp.490-515, 2008. ,
DOI : 10.1007/978-3-540-70592-5_21
Software considerations in airborne systems and equipment certification, 1992. ,
Reusable and Extensible Fault Tolerance for RESTful Applications, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications, pp.737-744, 2012. ,
DOI : 10.1109/TrustCom.2012.244
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.5442
An experimental study of a design-driven, tool-based development approach, 2012 First International Workshop on User Evaluation for Software Engineering Researchers (USER), 2012. ,
DOI : 10.1109/USER.2012.6226581
URL : https://hal.archives-ouvertes.fr/hal-00715759
Design-driven development of dependable applications : A case study in avionics, PECCS'13 : Proceeding of the International Conference on Pervasive and Embedded Computing and Communication Systems, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00794329
The many faces of publish/subscribe, ACM Computer Survey, vol.35, issue.2, pp.114-131, 2003. ,
Portland pattern repository, 1995. ,
Friends: A flexible architecture for implementing fault tolerant and secure distributed applications, EDCC'96 : Proceedings of the 2nd European Dependable Computing Conference on Dependable Computing, pp.3-20, 1996. ,
DOI : 10.1007/3-540-61772-8_27
Applying empirical software engineering to software architecture: challenges and lessons learned, Empirical Software Engineering, vol.31, issue.5, pp.250-276, 2010. ,
DOI : 10.1007/s10664-009-9121-0
The Architecture Analysis & Design Language (AADL) : An introduction, 2006. ,
Architectural styles and the design of network-based software architectures, 2000. ,
Specification of exception flow in software architectures, Journal of Systems and Software, vol.79, issue.10, pp.1397-1418, 2006. ,
DOI : 10.1016/j.jss.2006.02.060
A survey of linguistic structures for application-level fault tolerance, ACM Computer Survey, vol.406, issue.2, pp.1-6, 2008. ,
A comparative study of exception handling mechanisms for building dependable object-oriented software, Journal of Systems and Software, vol.59, issue.2, pp.197-222, 2001. ,
DOI : 10.1016/S0164-1212(01)00062-0
Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985. ,
DOI : 10.1145/2363.2433
Software FMEA techniques, Proceedings of the Reliability and Maintainability Symposium, pp.118-123, 2000. ,
Exception handling: issues and a proposed notation, Communications of the ACM, vol.18, issue.12, pp.683-696, 1975. ,
DOI : 10.1145/361227.361230
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.7791
MDA, Model Driven Architecture, 2000. ,
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994. ,
DOI : 10.1109/LICS.1992.185551
URL : http://doi.org/10.1006/inco.1994.1045
AspectS - Aspect-Oriented Programming with Squeak, Objects, Components, Architectures, Services, and Applications for a Networked World, pp.216-232, 2003. ,
DOI : 10.1007/3-540-36557-5_17
Components for software fault tolerance and rejuvenation, AT&T Technical Journal, vol.75, issue.2, pp.29-37, 1996. ,
DOI : 10.15325/ATTTJ.1996.6771126
From the prototype to the final embedded system using the Ocarina AADL tool suite, ACM Transactions on Embedded Computing Systems, vol.7, pp.42-43, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01175916
Software architecture and dependability. Formal Methods for Software Architectures, pp.259-285, 2003. ,
DOI : 10.1007/978-3-540-39800-4_11
URL : https://hal.archives-ouvertes.fr/inria-00414798
Towards securing pervasive computing systems by design : a language approach, These, Université Sciences et Technologies -Bordeaux I, 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00719170
An aspectoriented approach to securing distributed systems, ICPS'09 : Proceedings of the 2009 international conference on Pervasive services, pp.21-30, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00455398
Architecturing Conflict Handling of Pervasive Computing Resources ,
DOI : 10.1038/scientificamerican0991-94
URL : https://hal.archives-ouvertes.fr/inria-00581604
Aspect-oriented programming, Proceedings of the 11th European Conference on Object-Oriented Programming, pp.220-242, 1997. ,
Implementing a reflective fault-tolerant CORBA system, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000, pp.154-163, 2000. ,
DOI : 10.1109/RELDI.2000.885403
A metaobject protocol for faulttolerant CORBA applications, SRDS'98 : Proceedings of the 17th Symposium on Reliable Distributed Systems, pp.127-134, 1998. ,
Dependable computing : Concepts, limits, challenges, Proceedings of the 25th International Symposium on Fault-Tolerant Computing -Special Issue, pp.42-54, 1995. ,
DOI : 10.1109/cmpsac.2004.1342838
A study on exception detection and handling using aspect-oriented programming, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, pp.418-427, 2000. ,
DOI : 10.1109/ICSE.2000.870432
Software reliability and dependability, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.175-188, 2000. ,
DOI : 10.1145/336512.336551
SecureUML : A UML-based modeling language for model-driven security. «UML» : The Unified Modeling Language, pp.426-441, 2002. ,
An event-based architecture definition language, IEEE Transactions on Software Engineering, vol.21, issue.9, pp.717-734, 1995. ,
Concepts and experiments in computational reflection, OOPSLA '87 : Proceedings of the 2nd Conference on Object-Oriented Programming Systems, Languages and Applications, pp.147-155, 1987. ,
Dynamic structure in software architectures, SIGSOFT'96 : Proceedings of the 4th ACM SIG- SOFT Symposium on Foundations of Software Engineering, pp.3-14, 1996. ,
A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing, OOPSLA'10 : Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications, pp.47-61, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00486930
Devil : an IDL for hardware programming, OSDI'00 : Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, pp.2-2, 2000. ,
Specifying the mode logic of a flight guidance system in CoRE and SCR. Dans FMSP'98 : Proceedings of the second workshop on Formal methods in software practice, pp.44-53, 1998. ,
Ambient-Oriented Exception Handling, Advanced Topics in Exception Handling Techniques, pp.141-160, 2006. ,
DOI : 10.1007/11818502_8
The FlightGear Flight Simulator, Proceedings of the USENIX Annual Technical Conference, 2004. ,
Portability, extensibility and robustness in iROS, PerCom'03 : Proceedings of the First International Conference on Pervasive Computing and Communications, p.11, 2003. ,
System structure for software fault tolerance, ACM SIGPLAN Notices, vol.10, issue.6, pp.437-449, 1975. ,
DOI : 10.1145/390016.808467
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.578
The evolution of the recovery block concept, Software Fault Tolerance, pp.1-22, 1994. ,
One.world: Experiences with a Pervasive Computing Architecture, IEEE Pervasive Computing, vol.03, issue.03, pp.22-30, 2004. ,
DOI : 10.1109/MPRV.2004.1321024
URL : https://hal.archives-ouvertes.fr/in2p3-00002551
Conception et mise en oeuvre d'une plate-forme pour la sûreté de fonctionnement des Services Web, 2006. ,
A basic model of typed components, Proceedings of the 14th European Conference on Object-Oriented Programming, pp.108-128, 2000. ,
A component-based middleware platform for reconfigurable service-oriented architectures. Software : Practice and Experience, pp.559-583, 2012. ,
DOI : 10.1002/spe.1077
URL : https://hal.archives-ouvertes.fr/inria-00567442
Beyond objects, ACM SIGSOFT Software Engineering Notes, vol.20, issue.1, pp.27-38, 1995. ,
DOI : 10.1145/225907.225911
Software Architecture : Perspectives on an Emerging Discipline, 1996. ,
ContextUML : A UML-based modeling language for model-driven development of context-aware Web Services, ICMB'05 : Proceedings of the International Conference on Mobile Business, pp.206-212, 2005. ,
Software Engineering (6). Pearson Studium, 2001. ,
Mixin'up components, Proceedings of the 24th International Conference on Software Engineering, pp.198-207, 2002. ,
Model-Driven Software Development : Technology, Engineering, Management, 2006. ,
From Design for Adaptation to Component-Based Resilient Computing, 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing, pp.1-10 ,
DOI : 10.1109/PRDC.2012.12
URL : https://hal.archives-ouvertes.fr/hal-00747469
A component- and message-based architectural style for GUI software, Proceedings of the 17th international conference on Software engineering , ICSE '95, pp.295-304, 1995. ,
DOI : 10.1145/225014.225042
Software architecture, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009. ,
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077
Archface, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.75-84, 2010. ,
DOI : 10.1145/1806799.1806815
An overview of the Architecture Analysis & Design Language (AADL) error model annex, 2005. ,
Assessing architectural evolution: a case study, Empirical Software Engineering, vol.106, issue.6, pp.623-666, 2011. ,
DOI : 10.1007/s10664-011-9164-x
Time and Space Partitioning in Spacecraft Avionics, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology, pp.13-20, 2009. ,
DOI : 10.1109/SMC-IT.2009.11
Generating Distributed High Integrity Applications from Their Architectural Description, Ada-Europe'07 : Proceedings of the 12th International Conference on Reliable Software Technologies, pp.155-167, 2007. ,
DOI : 10.1007/978-3-540-73230-3_12
Enhancing architectureimplementation conformance with change management and support for behavioral mapping, ICSE'12 : Proceedings of the 34th International Conference on Software Engineering, pp.628-638 ,