Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier |
A Design by Contract Approach to Verify Access Control Policies. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Smith 0001, Jeffrey W. Sanders, Kirsten Winter |
Reasoning About Adaptivity of Agents and Multi-agent Systems. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Perseil, Marc Pouzet, Karin K. Breitman |
Message from Program Co-chairs. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ali Naderi, Sayyed Majid Mazinani, Amin Zadeh Shirazi, Masood Setoodefar, Mahya Faghihnia |
Adaptive Majority-Based Re-routing for Differentiated Reliability in Wireless Sensor Networks. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Guy Katz, Assaf Marron, Gera Weiss |
Non-intrusive Repair of Reactive Programs. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yan Liu 0012, Xian Zhang 0007, Jin Song Dong, Yang Liu 0003, Jun Sun 0001, Jit Biswas, Mounir Mokhtari |
Formal Analysis of Pervasive Computing Systems. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Ponomareva, Anisoara Calinescu |
Extending and Evaluating Agent-Based Models of Algorithmic Trading Strategies. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem |
P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dharanipragada Janakiram, Hemang Mehta, S. J. Balaji |
Dhara: A Service Abstraction-Based OS Kernel Design Model. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sanaz Yeganefard, Michael J. Butler |
Control Systems: Phenomena and Structuring Functional Requirement Documents. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jianqi Shi, Jifeng He 0001, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang |
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gulnara Abitova, Vladimir Nikulin, Victor A. Skormin, Mamirbek Beisenbi, Aliya Ainagulova |
Control System with High Robust Stability Characteristics Based on Catastrophe Function. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet |
Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Winkler, Wasif Gilani, Alex Guitman, Alan Marshall 0001 |
Models and Methodology for Automated Business Continuity Analysis. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Ganesh Pai, Josef Pohl |
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nelly Bencomo, Kristopher Welsh, Pete Sawyer, Jon Whittle 0001 |
Self-Explanation in Adaptive Systems. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hashem Ali Ghazzawi, Iain Bate, Leandro Soares Indrusiak |
A Control Theoretic Approach for Workflow Management. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Istvan Nagy 0001, Loek G. Cleophas, Mark van den Brand, Luc Engelen, Liviu Raulea, Ernest Xavier Lobo Mithun |
VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Agnès Peraldi-Frati, Arda Goknil, Julien DeAntoni, Johan Nordlander |
A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Angel Sánchez, Marisa López-Vallejo, Carlos Angel Iglesias, Carlos A. López-Barrio |
Improving Hardware Reuse through XML-based Interface Encapsulation. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sayyed Majid Mazinani, Ali Naderi, Masood Setoodefar, Amin Zadeh Shirazi |
An Energy-Efficient Real-Time Routing Protocol for Differentiated Data in Wireless Sensor Networks. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Tiwari 0001, Santosh Singh Rathore, Sudhanshu Gupta 0001, Gogate Vaibhav Vinayak, Atul Gupta |
Analysis of Use Case Requirements Using SFTA and SFMEA Techniques. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Raffaela Mirandola, Catia Trubiani |
A Deep Investigation for QoS-based Feedback at Design Time and Runtime. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0008, Jing Sun 0002, Jin Song Dong, Yang Liu 0003, Jun Sun 0001 |
Translating PDDL into CSP# - The PAT Approach. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Yu, Robert B. France, Indrakshi Ray, Wuliang Sun |
Systematic Scenario-Based Analysis of UML Design Class Models. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Linbin Yu, Yu Lei 0001, Raghu Kacker, D. Richard Kuhn, James Lawrence |
Efficient Algorithms for T-way Test Sequence Generation. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Perseil, Karin K. Breitman, Marc Pouzet (eds.) |
17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012 |
ICECCS |
2012 |
DBLP BibTeX RDF |
|
1 | Fabio Roda |
An Experimental Study on Collaborative Filtering for Requirements Engineering. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Iulia Dragomir, Iulian Ober, David Lesens |
A Case Study in Formal System Engineering with SysML. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Almorsy, John C. Grundy, Amani S. Ibrahim |
SMURF: Supporting Multi-tenancy Using Re-aspects Framework. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo 0005, Huibiao Zhu, Xin Ye |
xBIL - A Hardware Resource Oriented Binary Intermediate Language. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zhibin Yang, Kai Hu 0004, 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 | 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 | 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 | 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 | Isabelle Perseil, Karin K. 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 | Julien Bertrane |
Temporal Abstract Domains. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Lo 0001, Shahar Maoz |
Towards Succinctness in Mining Scenario-Based Specifications. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kun Wei, Jim Woodcock 0001, Alan Burns 0001 |
Timed Circus: Timed CSP with the Miracle. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wassim 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 | Luciano Baresi, Matteo Miraz |
A Component-Oriented Metamodel for the Modernization of Software Applications. |
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 | 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 | Sven Jörges, Bernhard Steffen |
Leveraging Service-Orientation for Combining Code Generation Frameworks. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexey V. Khoroshilov, Igor Koverninskiy, Alexander K. Petrenko, Alexander Ugnenko |
Integrating AADL-Based Tool Chain into Existing Industrial Processes. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | |
Preface. |
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 | 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 | Ling Yin, Frédéric Mallet, Jing Liu 0012 |
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Ashad Kabir, Jun Han 0004, Alan W. Colman |
Modeling and Coordinating Social Interactions in Pervasive Environments. |
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 | Osmar Marchi dos Santos, Jim Woodcock 0001, 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 | Jonathan Tate, Iain Bate |
LIPS: A Protocol Suite for Homeostatic Sensornet Management. |
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 | Mathieu Acher, Philippe Collet, Philippe Lahire, Sabine Moisan, Jean-Paul Rigault |
Modeling Variability from Requirements to Runtime. |
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 | 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 | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
Towards a MDE Transformation Workflow for Dependability Analysis. |
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 | 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 | 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 | 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 | Florian Skopik, Daniel Schall 0001, Schahram Dustdar |
Computational Social Network Management in Crowdsourcing Environments. |
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 | Adam Betts, Amine Marref |
WCET Analysis of Component-Based Systems Using Timing Traces. |
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 | Morayo Adedjouma, Hubert Dubois, François Terrier |
Requirements Exchange: From Specification Documents to Models. |
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 | Russell Lock |
Modelling and Analysing Standard Use within System of Systems. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yongxin Zhao, Yanhong Huang, Jifeng He 0001, Si Liu 0001 |
Formal Model of Interrupt Program from a Probabilistic Perspective. |
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 | Michael Thonhauser, Christian Kreiner, Andrea Leitner |
A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems. |
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 | 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 | Vidhi Thapa, Eunjee Song, Hanil Kim |
An Approach to Verifying Security and Timing Properties in UML Models. |
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 | 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 | Christopher Power, Helen Petrie |
An Experience Report in Requirements Elicitation for Accessible E-Learning 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 | Shinji Kikuchi, Satoshi Tsuchiya |
Configuration Procedure Synthesis for Complex Systems Using Model Finder. |
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 | Xin An, Jun Pang 0001 |
Model Checking Round-Based Distributed Algorithms. |
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 | Thomas Stibor, Anastasio Salazar-Bañuelos |
On Immunological Memory as a Function of a Recursive Proliferation Process. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tim Hoverd, Adam T. Sampson |
A Transactional Architecture for Simulation. |
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 | 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 | Pablo Peñil, Hector Posadas, Eugenio Villar |
Formal Modeling for UML/MARTE Concurrency Resources. |
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 | Ivonne Erfurth, Kathrin Kirchner |
Requirements Elicitation with Adapted CUTA Cards: First Experiences with Business Process Analysis. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yue Lu 0005, 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 | Minh H. Tran, Alan W. Colman, Jun Han 0004 |
Service-Based Development of Context-Aware Automotive Telematics Systems. |
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 | Jonathan Tate, Iain Bate |
Maintaining Stable Node Populations in Long-Lifetime Sensornets. |
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 | Rasmus Adler, Daniel Schneider 0001, Mario Trapp |
Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems. |
ICECCS |
2010 |
DBLP DOI 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 | 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 | Matthew Hause, Andrew Stuart, David Richards, Jon Holt |
Testing Safety Critical Systems with SysML/UML. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|