| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jonathan Tate, Iain Bate |
LIPS: A Protocol Suite for Homeostatic Sensornet Management.  |
ICECCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu |
Formal Model of Interrupt Program from a Probabilistic Perspective. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen |
Tailoring Process Synthesis to Domain Characteristics. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amine Marref, Adam Betts |
Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lo, Shahar Maoz |
Towards Succinctness in Mining Scenario-Based Specifications. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Minhaz F. Zibran, Ripon K. Saha, Muhammad Asaduzzaman, Chanchal K. Roy |
Analyzing and Forecasting Near-Miss Clones in Evolving Software: An Empirical Study. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard |
An Efficient Modeling and Execution Framework for Complex Systems Development. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Acher, Philippe Collet, Philippe Lahire, Sabine Moisan, Jean-Paul Rigault |
Modeling Variability from Requirements to Runtime. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige |
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Skopik, Daniel Schall, Schahram Dustdar |
Computational Social Network Management in Crowdsourcing Environments. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adil Anwar, Taoufiq Dkaki, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar |
A Formal Approach to Model Composition Applied to VUML. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Rubini, Frank Singhoff, Jérôme Hugues |
Modeling and Verification of Memory Architectures with AADL and REAL. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Lasnier, Laurent Pautet, Jérôme Hugues, Lutz Wrage |
An Implementation of the Behavior Annex in the AADL-Toolset Osate2. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Bertrane |
Temporal Abstract Domains. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé |
Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Yin, Frédéric Mallet, Jing Liu |
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Karin Breitman, Roy Sterritt (eds.) |
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011 |
ICECCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin |
Two Formal Semantics of a Subset of the AADL. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tewfik Ziadi, Marcos Aurélio Almeida da Silva, Lom Messan Hillah, Mikal Ziane |
A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moris Behnam, Thomas Nolte, Reinder J. Bril |
Tighter Schedulability Analysis of Synchronization Protocols Based on Overrun without Payback for Hierarchical Scheduling Frameworks. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell Lock |
Modelling and Analysing Standard Use within System of Systems. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lunjin Lu, Dae-Kyoo Kim |
Required Behavior of Sequence Diagrams: Semantics and Refinement. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arbi Ghazarian, Mehdi Sagheb-Tehrani, Arin Ghazarian |
A Software Requirements Specification Framework for Objective Pattern Recognition: A Set-Theoretic Classification Approach. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey V. Khoroshilov, Igor Koverninskiy, Alexandre Petrenko, Alexander Ugnenko |
Integrating AADL-Based Tool Chain into Existing Industrial Processes. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson |
ABV - A Verifier for the Architecture Analysis and Design Language (AADL). |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Ashad Kabir, Jun Han, Alan W. Colman |
Modeling and Coordinating Social Interactions in Pervasive Environments. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Ikonen, Elena Pirinen, Fabian Fagerholm, Petri Kettunen, Pekka Abrahamsson |
On the Impact of Kanban on Software Project Work: An Empirical Case Study Investigation. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naeem Muhammad, Nelis Boucké, Yolande Berbers |
Parallelism Viewpoint: A Viewpoint to Model Parallelism in Parallelism-Intensive Software Systems. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Betts, Amine Marref |
WCET Analysis of Component-Based Systems Using Timing Traces. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | W. El Hajj Chehade, Ansgar Radermacher, François Terrier, Bran Selic, Sébastien Gérard |
A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun Wei, Jim Woodcock, Alan Burns |
Timed Circus: Timed CSP with the Miracle. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
Towards a MDE Transformation Workflow for Dependability Analysis. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abderrahman Matoussi, Frédéric Gervais, Régine Laleau |
A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Morayo Adedjouma, Hubert Dubois, François Terrier |
Requirements Exchange: From Specification Documents to Models. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Matteo Miraz |
A Component-Oriented Metamodel for the Modernization of Software Applications. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Myron Hecht, Alexander Lam, Chris Vogl |
A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Jörges, Bernhard Steffen |
Leveraging Service-Orientation for Combining Code Generation Frameworks. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Heidar Pirzadeh, Abdelwahab Hamou-Lhadj |
A Novel Approach Based on Gestalt Psychology for Abstracting the Content of Large Execution Traces for Program Comprehension. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Preface. |
ICECCS |
2011 |
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 | Tim Hoverd, Adam T. Sampson |
A Transactional Architecture for Simulation. |
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 | Fahad Javed, Naveed Arshad, Fredrik Wallin, Iana Vassileva, Erik Dahlquist |
Engineering Optimization Models at Runtime for Dynamically Adaptive Systems. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz |
An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thonhauser, Christian Kreiner, Andrea Leitner |
A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Teodor Ghetiu, Fiona A. C. Polack, James L. Bown |
In Search of Sound 'in silico' Research - Validating a Complex System Simulation. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Peñil, Hector Posadas, Eugenio Villar |
Formal Modeling for UML/MARTE Concurrency Resources. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubert Dubois, Marie-Agnès Peraldi-Frati, Fadoi Lakhal |
A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack |
Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li |
McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. |
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 | Ivonne Erfurth, Kathrin Kirchner |
Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process Analysis. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi |
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. |
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 | Woongki Baek, Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun |
Implementing and Evaluating a Model Checker for Transactional Memory Systems. |
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 | Jorge Fox, Siobhán Clarke |
An Analysis of Formal Languages for Dynamic Adaptation. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hause, Andrew Stuart, David Richards, Jon Holt |
Testing Safety Critical Systems with SysML/UML. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Tate, Iain Bate |
Maintaining Stable Node Populations in Long-Lifetime Sensornets. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Goldschmidt, Steffen Becker, Axel Uhl |
Incremental Updates for Textual Modelling of Large Scale Models. |
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 | Manuel Oriol, Sotirios Tassis |
Testing .NET Code with YETI. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrique Kremers, Pablo Viejo, Oscar Barambones, José González de Durana |
A Complex Systems Modelling Approach for Decentralised Simulation of Electrical Microgrids. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Simon Zayas, Anne Monceaux, Yamine Aït Ameur |
Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Power, Helen Petrie |
An Experience Report in Requirements Elicitation for Accessible E-Learning Systems. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani |
Performance Antipatterns as Logical Predicates. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson |
Reflections on the Simulation of Complex Systems for Science. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Lochmann |
Engineering Quality Requirements Using Quality Models. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth |
Patterns for Modelling Time and Consistency in Business Information Systems. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin An, Jun Pang |
Model Checking Round-Based Distributed Algorithms. |
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 | Iulian Ober, Iulia Dragomir |
OMEGA2: A New Version of the Profile and the Tools. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat |
Supporting the Design of Safety Critical Systems Using AADL. |
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 | 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 | Russell Lock, Ian Sommerville |
Modelling and Analysis of Socio-Technical System of Systems. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinya Umeno, Nancy A. Lynch |
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. |
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 | Ewoud Werkman, Bas van Schoonhoven, Marc de Jonge, Edwin Matthijssen |
Development of Autonomic Management Solutions for the Military Application Domain. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Dan |
QVT Based Model Transformation from Sequence Diagram to CSP. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shinji Kikuchi, Satoshi Tsuchiya |
Configuration Procedure Synthesis for Complex Systems Using Model Finder. |
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 | Vidhi Thapa, Eunjee Song, Hanil Kim |
An Approach to Verifying Security and Timing Properties in UML Models. |
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 | Florian Skopik, Daniel Schall, Schahram Dustdar |
Trust-Based Adaptation in Complex Service-Oriented Systems. |
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 | Kristian Ellebaek Kjaer, Klaus Marius Hansen |
Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web Technologies. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Minh H. Tran, Alan W. Colman, Jun Han |
Service-Based Development of Context-Aware Automotive Telematics Systems. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Stibor, Anastasio Salazar-Bañuelos |
On Immunological Memory as a Function of a Recursive Proliferation Process. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström |
Statistical-Based Response-Time Analysis of Systems with Execution Dependencies between Tasks. |
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 | Rasmus Adler, Daniel Schneider, Mario Trapp |
Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems. |
ICECCS |
2010 |
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 | 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 | Udaya Kiran Tupakula, Vijay Varadharajan, Sunil Kumar Vuppala |
SBAC: Service Based Access Control. |
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 | Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson |
REMES: A Resource Model for Embedded Systems. |
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 | 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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")