The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/serene

Publication years (Num. hits)
2008 (18) 2010-2011 (28) 2012-2013 (29) 2014-2015 (25) 2016-2017 (24)
Publication types (Num. hits)
inproceedings(115) proceedings(9)
Venues (Conferences, Journals, ...)
SERENE(124)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 124 publication records. Showing 124 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Henry Muccini, Mahyar Tourchi Moghaddam A Cyber-Physical Space Operational Approach for Crowd Evacuation Handling. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yulai Zhou, Patrizio Pelliccione, Johan Haraldsson, Mafjiul Islam Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo AB. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miroslaw Malek Predictive Analytics: A Shortcut to Dependable Computing. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Irum Rauf, Elena Troubitsyna Towards a Model-Driven Security Assurance of Open Source Components. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Petter Sainio Berntsson, Lars Strandén, Fredrik Warg Evaluation of Open Source Operating Systems for Safety-Critical Applications. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander, Todd Carpenter 100 Years of Software - Adapting Cyber-Physical Systems to the Changing World. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcin Kubacki, Janusz Sosnowski Holistic Processing and Exploring Event Logs. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Swaib Dragule, Bart Meyers, Patrizio Pelliccione A Generated Property Specification Language for Resilient Multirobot Missions. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Rajeev Joshi Modeling and Monitoring of Hierarchical State Machines in Scala. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rem Gensh, Ashur Rafiev, Fei Xia, Alexander B. Romanovsky, Alex Yakovlev Modelling for Systems with Holistic Fault Tolerance. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luke J. W. Martin, Alexander B. Romanovsky Stochastic Activity Networks for the Verification of Knowledge Bases. Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander B. Romanovsky, Elena Troubitsyna (eds.) Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings Search on Bibsonomy SERENE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dimitri Racordon, Didier Buchs Verifying Multi-core Schedulability with Data Decision Diagrams. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons Learned. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John C. Mace, Charles Morisset, Aad P. A. van Moorsel WRAD: Tool Support for Workflow Resiliency Analysis and Design. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ivica Crnkovic, Elena Troubitsyna (eds.) Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rui Wang 0042, Jérémie Guiochet, Gilles Motet A Framework for Assessing Safety Argumentation Confidence. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christine Jakobs, Peter Tröger, Matthias Werner 0001 Configurable Fault Trees. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kostantinos Koukouvis, Roberto Alcañiz Cubero, Patrizio Pelliccione A/B Testing in E-commerce Sales Processes. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Ebo Adjepon-Yamoah cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based Architectures. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luke J. W. Martin, Alexander B. Romanovsky A Formal Approach to Designing Reliable Advisory Systems. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Piergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione Formal Verification of the On-the-Fly Vehicle Platooning Protocol. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Subhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems. Search on Bibsonomy SERENE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guthemberg Silvestre, Carla Sauvanaud, Mohamed Kaâniche, Karama Kanoun Tejo: A Supervised Anomaly Detection Scheme for NewSQL Databases. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli Biological Immunity and Software Resilience: Two Faces of the Same Coin? Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John C. Mace, Charles Morisset, Aad P. A. van Moorsel Resiliency Variance in Workflows with Choice. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Basile, Silvano Chiaradonna, Felicita Di Giandomenico, Stefania Gnesi, Franco Mazzanti Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tamás Tóth, András Vörös 0001, István Majzik A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Harald Sporer, Georg Macher, Andrea Höller, Christian Kreiner Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rem Gensh, Alexander B. Romanovsky, Alex Yakovlev Engineering Cross-Layer Fault Tolerance in Many-Core Systems. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrea Höller, Tobias Rauter, Johannes Iber, Christian Kreiner Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs Considering Execution Environment Resilience: A White-Box Approach. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Szilárd Bozóki, Gábor Koronka, András Pataricza Risk Assessment Based Cloudification. Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alessandro Fantechi, Patrizio Pelliccione (eds.) Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings Search on Bibsonomy SERENE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arda Ahmet Ünsal, Görkem Sazara, Baris Aktemur, Hasan Sözer Adaptive Domain-Specific Service Monitoring. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Cristiana Areias, Nuno Antunes, João Carlos Cunha On Applying FMEA to SOAs: A Proposal and Open Challenges. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione The Role of Parts in the System Behaviour. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Richard Lipka, Marek Paska, Tomas Potuzak Simulation Testing and Model Checking: A Case Study Comparing these Approaches. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ivano Malavolta, Henry Muccini, V. Smrithi Rekha Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Vincenzo De Florio, Hong Sun, Chris Blondia Community Resilience Engineering: Reflections and Preliminary Contributions. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama Verification and Validation of a Pressure Control Unit for Hydraulic Systems. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David P. Y. Lawrence, Didier Buchs, Armin Wellig Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maxime Turenne, Ali Kanso, Abdelouahed Gherbi, Ronan Barrett Automatic Generation of Description Files for Highly Available Services. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Roberto Palacin, Alexander B. Romanovsky Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Linas Laibinis, Dmitry M. Klionskiy, Elena Troubitsyna, Anatoly Dorokhov, Johan Lilius, Mikhail Kupriyanov Modelling Resilience of Data Processing Capabilities of CPS. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gábor Urbanics, László Gönczy, Balázs Urbán, János Hartwig, Imre Kocsis Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems. Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1István Majzik, Marco Vieira (eds.) Software Engineering for Resilient Systems - 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings Search on Bibsonomy SERENE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy Empirical Assessment of Resilience. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dmitry A. Maevsky A New Approach to Software Reliability. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mikhail J. Moiseev Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mark Woodard, Sahra Sedigh Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robin E. Bloomfield, Kateryna Netkachova, Robert J. Stroud Security-Informed Safety: If It's Not Secure, It's Not Safe. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis A Case Study in Refinement-Based Modelling of a Resilient Control System. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yasir Imtiaz Khan Optimizing Verification of Structurally Evolving Algebraic Petri Nets. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Janusz Górski, Katarzyna Lukasiewicz Towards Agile Development of Critical Software. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Autili, Amleto Di Salle, Massimo Tivoli Synthesis of Resilient Choreographies. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Ilya Lopatkin, Alexander B. Romanovsky The SafeCap Project on Railway Safety Verification and Capacity Simulation. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vincenzo De Florio Preliminary Contributions Towards Auto-resilience. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko (eds.) Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Di Ruscio, Patrizio Pelliccione Supporting the Evolution of Free and Open Source Software Distributions. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis Formal Development and Quantitative Assessment of a Resilient Multi-robotic System. Search on Bibsonomy SERENE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries Monitoring Service Choreographies from Multiple Sources. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Koray Gülcü, Hasan Sözer, Baris Aktemur FAS: Introducing a Service for Avoiding Faults in Composite Services. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paris Avgeriou (eds.) Software Engineering for Resilient Systems - 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Brahim Hamid, Jacob Geisel, Adel Ziani, David González Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuliya Prokhorova, Elena Troubitsyna Linking Modelling in Event-B with Safety Cases. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessio Ferrari, Massimiliano Leone Itria, Silvano Chiaradonna, Giorgio Oronzo Spagnolo Model-Based Evaluation of the Availability of a CBTC System. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yasir Imtiaz Khan, Matteo Risoldi Language Enrichment for Resilient MDE. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione Assume-Guarantee Testing of Evolving Software Product Line Architectures. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Anatoliy Gorbenko, Alexander B. Romanovsky, Vyacheslav S. Kharchenko, Olga Tarasyuk Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis A Case Study in Formal Development of a Fault Tolerant Multi-robotic System. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yannis Lilis, Anthony Savidis Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming. Search on Bibsonomy SERENE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ivica Crnkovic Predictability and Evolution in Resilient Systems. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy Architecting Resilient Computing Systems: Overall Approach and Open Issues. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Miles McQueen, Annarita Giani 'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System State. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elena Troubitsyna (eds.) Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anthony Savidis Supporting Cross-Language Exception Handling When Extending Applications with Embedded Languages. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo Self-organising Pervasive Ecosystems: A Crowd Evacuation Example. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Paolo Masci, Nicola Nostro, Felicita Di Giandomenico On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ivano Malavolta, Henry Muccini, V. Smrithi Rekha Supporting Architectural Design Decisions Evolution through Model Driven Engineering. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sadaf Mustafiz, Jörg Kienzle Idealized Fault-Tolerant Components in Requirements Engineering. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexander B. Romanovsky Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta Towards a Model-Driven Infrastructure for Runtime Monitoring. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter T. Popov Preliminary Interdependency Analysis (PIA): Method and Tool Support. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis Quantitative Verification of System Safety in Event-B. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Didier Buchs, Steve Hostettler, Alexis Marechal Experience-Based Model Refinement. Search on Bibsonomy SERENE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann Towards a model-driven method for reliable applications: from ideal to realistic transmission semantics. Search on Bibsonomy SERENE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Antonia Bertolino, Antinisca Di Marco, Fabio Martinelli, Valérie Issarny, Rachid Saadi Dependability in dynamic, evolving and heterogeneous systems: the connect approach. Search on Bibsonomy SERENE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce Design support and tooling for dependable embedded control software. Search on Bibsonomy SERENE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis Augmenting formal development of control systems with quantitative reliability assessment. Search on Bibsonomy SERENE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessio Ferrari, Mario Papini, Alessandro Fantechi, Daniele Grasso An industrial application of formal model based development: the Metrô Rio ATP case. Search on Bibsonomy SERENE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon A UML-based method for risk analysis of human-robot interactions. Search on Bibsonomy SERENE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 124 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license