Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|