Search results for "ICECCS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani	Performance Antipatterns as Logical Predicates.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Ilango Sriram, Dave Cliff	Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Shelly Park, Frank Maurer	A Network Analysis of Stakeholders in Tool Visioning Process for Story Test Driven Development.	ICECCS	2010	DBLP DOI BibTeX RDF
1	T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat 0001	Supporting the Design of Safety Critical Systems Using AADL.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Kuiying Deng, Zhuozheng Li, Tianguang Chu	Severe Punishment for Those Who Were Caught.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Hannes Schwarz, Jürgen Ebert, Jens Lemcke, Tirdad Rahmani, Srdjan Zivkovic	Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Kristian Ellebaek Kjaer, Klaus Marius Hansen	Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web Technologies.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Klaus Lochmann	Engineering Quality Requirements Using Quality Models.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Florian Skopik, Daniel Schall 0001, Schahram Dustdar	Trust-Based Adaptation in Complex Service-Oriented Systems.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Thomas R. Anderson, Michael J. Follows	Representing Plankton Functional Types in Ocean General Circulation Models: Competition, Tradeoffs and Self-Organizing Architecture.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read 0001, Susan Stepney, Jon Timmis, Adam T. Sampson	Reflections on the Simulation of Complex Systems for Science.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Amelia Ritahani Ismail, Jon Timmis	Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Olivier Gilles, Jérôme Hugues	Expressing and Enforcing User-Defined Constraints of AADL Models.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Isabelle Perseil, Laurent Pautet	From MARTE to AADL with a Seamless Process.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Rabeb Mizouni, Daniel Sinnig, Ferhat Khendek	Enriching Use Cases with CTTs.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Manuel Oriol, Sotirios Tassis	Testing .NET Code with YETI.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth 0001	Patterns for Modelling Time and Consistency in Business Information Systems.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Roberto Varona-Gomez, Eugenio Villar	AADS+: AADL Simulation Including the Behavioral Annex.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Thomas Goldschmidt, Steffen Becker 0001, Axel Uhl	Incremental Updates for Textual Modelling of Large Scale Models.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Mickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux	Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Iulian Ober, Iulia Dragomir	OMEGA2: A New Version of the Profile and the Tools.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella	A Tile-Based Approach for Self-Assembling Service Compositions.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Yi Lu Murphey, ZhiHang Chen	A Multi-agent System for Complex Vehicle Fault Diagnostics and Health Monitoring.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska (eds.)	15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010	ICECCS	2010	DBLP BibTeX RDF
1	Russell Lock, Ian Sommerville	Modelling and Analysis of Socio-Technical System of Systems.	ICECCS	2010	DBLP DOI BibTeX RDF
1	Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden	Visual Comparison of Graphical Models.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Christine Gertosio	Computational Trust to Insure the Quality of Assistance Given to Human Actors.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Niklas Blum, Thomas Magedanz, Jan Kleessen, Tiziana Margaria	Enabling eXtreme Model Driven Design of Parlay X-based Communications Services for End-to-End Multiplatform Service Orchestrations.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Dionisio de Niz, Peter H. Feiler	Verification of Replication Architectures in AADL.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Fateh Boutekkouk, Mohamed Benmohammed	UML Modeling and Formal Verification of Control/Data Driven Embedded Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Yuhui Chen, Alexander B. Romanovsky, Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Seyran Mamutov, Olga Tarasyuk	Benchmarking Dependability of a System Biology Application.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Vieri Del Bianco, Luigi Lavazza	Applying the COSMIC Functional Size Measurement Method to Problem Frames.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Kleinner S. F. Oliveira, Karin K. Breitman, Toacy Cavalcante de Oliveira	Ontology Aided Model Comparison.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Udaya Kiran Tupakula, Vijay Varadharajan, Sunil Kumar Vuppala	SBAC: Service Based Access Control.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Ali Nasrat Haidar, Ali E. Abdallah	Abstractions of Web Services.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Wassim El Hajj Chehade, Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, François Terrier	Automating the Generation of Platform Specific Models.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Marius C. Bujorianu, Howard Barringer	An Integrated Specification Logic for Cyber-Physical Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Valérie Issarny, Bernhard Steffen, Bengt Jonsson 0001, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta	CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Bruno Santana da Silva, Simone Diniz Junqueira Barbosa, Julio César Sampaio do Prado Leite	Using Cases in Variability Analysis to Promote the Design of Flexible, Adaptable and Adaptive Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack	The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Peter H. Feiler	Modeling the Implementation of State-Based System Architectures.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Ivano Malavolta, Henry Muccini, Patrizio Pelliccione	Integrating AADL within a Multi-domain Modeling Framework.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu 0004, Dianfu Ma	A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Thomas Magedanz	Keynote: On the Increasing Complexity of Multimedia Service Provision in Next Generation Networks and the Future Internet.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Asta Krupaviciute, Jocelyne Fayn, Paul Rubel, Christine Verdier, Eric McAdams, Chris D. Nugent	Information System Architecture for Wearable Cardiac Sensors Personalization.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen	From Bio-jETI Process Models to Native Code.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Fernando Carvalho 0002, Silvio R. L. Meira	Towards an Embedded Software Component Quality Verification Framework.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, Wing K. Tam	Testing an Open Source Suite for Open Queuing Network Modelling Using Metamorphic Testing Technique.	ICECCS	2009	DBLP DOI BibTeX RDF
1		14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009	ICECCS	2009	DBLP BibTeX RDF
1	Frédéric Mallet, Charles André, Julien DeAntoni	Executing AADL Models with UML/MARTE.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Andrey Sadovykh, Lionel Vigier, Andreas Hoffmann 0001, Jürgen Großmann, Tom Ritter, Eduardo Gomez, Oleg Estekhin	Architecture Driven Modernization in Practice - Study Results.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Francisco Montero Simarro, Elena Navarro 0001	ATRIUM: Software Architecture Driven by Requirements.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford	ASIIST: Application Specific I/O Integration Support Tool for Real-Time Bus Architecture Designs.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Idir Aït-Sadoune, Yamine Aït Ameur	A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Rui Wang 0024, Ming Gu 0001, Xiaoyu Song, Hai Wan	Formal Specification and Code Generation of Programable Logic Controllers.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Jeremy W. Bryans, John S. Fitzgerald, Alexander B. Romanovsky, Andreas Roth 0001	Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Bernhard Steffen	Keynote: Continuous Model Driven Engineering.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Christian Wagner 0005, Tiziana Margaria, Hans-Georg Pagendarm	Analysis and Code Model Extraction for C/C++ Source Code.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Lijun Yu, Robert B. France, Indrakshi Ray, Sudipto Ghosh	A Rigorous Approach to Uncovering Security Policy Violations in UML Designs.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Cristóbal Costa Soria, David Hervas-Muoz, Jennifer Pérez, José A. Carsí	A Reflective Approach for Supporting the Dynamic Evolution of Component Types.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Weishan Zhang, Klaus Marius Hansen	An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-Management Planning in a Pervasive Service Middleware.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Marco Bakera, Sven Jörges, Tiziana Margaria	Test your Strategy: Graphical Construction of Strategies for Connect-Four.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Nelson Duarte Filho, Silvia Silva da Costa Botelho, Jônata Tyska Carvalho, Pedro de Botelho Marcos, Renan de Queiroz Maffei, Rodrigo Ruas Oliveira, Vinicius Alves Hax	An Automated Platform for Immersive and Collaborative Visualization of Industrial Models.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Tomas Tuma, Sean Rooney, Paul Hurley	On the Applicability of Compressive Sampling in Fine Grained Processor Performance Monitoring.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Jonathan Tate, Iain Bate	Energy Efficient Duty Allocation Protocols for Wireless Sensor Networks.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Roberto Varona-Gomez, Eugenio Villar	AADL Simulation and Performance Analysis in SystemC.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Aleksandra Karimaa	Security Aspect of the Complexity of Modern Surveillance Systems - An Experience Report.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Isabelle Perseil, Laurent Pautet	An Emerging Need for a New Software Engineering Method.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Weishan Zhang, Klaus Marius Hansen, João Fernandes 0002	Towards OpenWorld Software Architectures with Semantic Architectural Styles, Components and Connectors.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Angelika Kusel, Wieland Schwinger, Manuel Wimmer, Werner Retschitzegger	Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Anil Kumar Tripathi, Ratneshwer Gupta	Some Observations on a Maturity Model for CBSE.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Christophe Ponsard, Mathieu Delehaye	Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Xiaofeng Cui, Yanchun Sun, Sai Xiao, Hong Mei 0001	Architecture Design for the Large-Scale Software-Intensive Systems: A Decision-Oriented Approach and the Experience.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson	REMES: A Resource Model for Embedded Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Marie-Noëlle Terrasse, Marinette Savonnet, Éric Leclercq, Pierre Naubourg, Valery Lopes, Arnaud da Costa, Thierry Grison	Constraint Management in Engineering of Complex Information Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger	AADL Execution Semantics Transformation for Formal Verification.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Lukasz Juszczyk, Hong Linh Truong 0001, Schahram Dustdar	GENESIS - A Framework for Automatic Generation and Steering of Testbeds of ComplexWeb Services.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh 0001, Jun Sun 0001	A Formal Model of Semantic Web Service Ontology (WSMO) Execution.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Lindsay Groves	Verifying Semistructured Data Normalization Using PVS.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Dominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux	A Study of the AADL Mode Change Protocol.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga	Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Kevin Ryan	Global Software Engineering Research in a Small Country.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Manoel G. Mendonça, José Carlos Maldonado, Maria Cristina Ferreira de Oliveira, Jeffrey C. Carver, Sandra Camargo Pinto Ferraz Fabbri, Forrest Shull, Guilherme Horta Travassos, Erika Nina Höhn, Victor R. Basili	A Framework for Software Engineering Experimental Replications.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Matthew Clayton Hause, Francis Thom	An Integrated MDA Approach with SysML and UML.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Peter H. Feiler	Efficient Embedded Runtime Systems through Port Communication Optimization.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Soheila Bashardoust-Tajali, Jean-Pierre Corriveau	On Extracting Tests from a Testable Model in the Context of Domain Engineering.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda	Contract-Based Approach to Analyze Software Components.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Abdolmajid Mousavi, Behrouz H. Far	Revisiting Safe Realizability of Message Sequence Charts Specifications.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Emil Sekerinski	Verifying Statecharts with State Invariants.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Su-Young Lee 0002, Frédéric Mallet, Robert de Simone	Dealing with AADL End-to-End Flow Latency with UML MARTE.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Stephen Wong, Jing Sun 0002, Ian Warren, Jun Sun 0001	A Scalable Approach to Multi-style Architectural Modeling and Verification.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Guilherme Horta Travassos, Paulo Sérgio Medeiros dos Santos, Paula Gomes Mian, Arilo Claudio Dias Neto, Jorge Calmon de Almeida Biolchini	An Environment to Support Large Scale Experimentation in Software Engineering.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas	Modes in Asynchronous Systems.	ICECCS	2008	DBLP DOI BibTeX RDF
1	José Viterbo Filho, Markus Endler, Jean-Pierre Briot	Ubiquitous Service Regulation Based on Dynamic Rules.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Matthias Brun 0001, Jérôme Delatour, Yvon Trinquet	Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers	Using AADL to Model a Protocol Stack.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Hugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman	Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded Systems.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Amal El Fallah Seghrouchni, Karin K. Breitman, Nicolas Sabouret, Markus Endler, Yasmine Charif, Jean-Pierre Briot	Ambient Intelligence Applications: Introducing the Campus Framework.	ICECCS	2008	DBLP DOI BibTeX RDF
1	Kugan Vivekanandarajah, Santhosh Kumar Pilakkat	Task Mapping in Heterogeneous MPSoCs for System Level Design.	ICECCS	2008	DBLP DOI BibTeX RDF
1		13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland	ICECCS	2008	DBLP BibTeX RDF

Publications at "ICECCS"( http://dblp.L3S.de/Venues/ICECCS )