Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 576 results
Sort by: relevance publication year
Showing results for ISSN matching 1614-5046

A study of software reuse in NASA legacy systems

JOURNAL ARTICLE published 7 September 2007 in Innovations in Systems and Software Engineering

Authors: Andres S. Orrego | Gregory E. Mundy

https://doi.org/10.1007/s11334-007-0027-y Actions

Certifying DFA Bounds for Recognition and Separation

JOURNAL ARTICLE published September 2022 in Innovations in Systems and Software Engineering

Research funded by Deutsche Forschungsgemeinschaft (436811179) | Israel Science Foundation (2357/192357/19)

Authors: Orna Kupferman | Nir Lavee | Salomon Sickert

https://doi.org/10.1007/s11334-022-00446-6 Actions

Automated quantized inference for probabilistic programs with AQUA

JOURNAL ARTICLE published September 2022 in Innovations in Systems and Software Engineering

Research funded by National Science Foundation (CCF-1846354,CCF-1956374) | National Science Foundation (CCF-2008883) | Facebook (PhD Fellowship)

Authors: Zixin Huang | Saikat Dutta | Sasa Misailovic

https://doi.org/10.1007/s11334-021-00433-3 Actions

Editorial

JOURNAL ARTICLE published September 2022 in Innovations in Systems and Software Engineering

Authors: Zhé Hóu | Vijay Ganesh | Jing Sun

https://doi.org/10.1007/s11334-022-00482-2 Actions

A configurable use case modeling metamodel with superimposed variants

JOURNAL ARTICLE published September 2013 in Innovations in Systems and Software Engineering

Authors: Valentino Vranić | L’uboš Zelinka

https://doi.org/10.1007/s11334-013-0219-6 Actions

A model-driven approach for the generation of configurations for highly available software systems

JOURNAL ARTICLE published December 2018 in Innovations in Systems and Software Engineering

Authors: Pejman Salehi | Abdelwahab Hamou-Lhadj | Maria Toeroe | Ferhat Khendek

https://doi.org/10.1007/s11334-018-0320-y Actions

Timing analysis and validation with UML: the case of the embedded MARS bus manager

JOURNAL ARTICLE published October 2008 in Innovations in Systems and Software Engineering

Authors: Iulian Ober | Susanne Graf | Yuri Yushtein | Ileana Ober

https://doi.org/10.1007/s11334-008-0066-z Actions

Enumerating message paths for interaction testing of object-oriented systems

JOURNAL ARTICLE published December 2016 in Innovations in Systems and Software Engineering

Authors: Debasish Kundu | Debasis Samanta

https://doi.org/10.1007/s11334-015-0264-4 Actions

Formal model-driven executable DSLs

JOURNAL ARTICLE published December 2022 in Innovations in Systems and Software Engineering

Authors: Akram Idani

https://doi.org/10.1007/s11334-021-00408-4 Actions

Model checking driven static analysis for the real world: designing and tuning large scale bug detection

JOURNAL ARTICLE published March 2013 in Innovations in Systems and Software Engineering

Authors: Ansgar Fehnker | Ralf Huuck

https://doi.org/10.1007/s11334-012-0192-5 Actions

Self-adaptive business processes: a hybrid approach for the resolution of adaptation needs

JOURNAL ARTICLE published March 2022 in Innovations in Systems and Software Engineering

Authors: Jamila Oukharijane | Mohamed Amine Chaabâne | Imen Ben Said | Eric Andonoff | Rafik Bouaziz

https://doi.org/10.1007/s11334-021-00417-3 Actions

An Event-B model for dynamically managing cloud resources

JOURNAL ARTICLE published March 2022 in Innovations in Systems and Software Engineering

Authors: Aida Lahouij | Lazhar Hamel | Mohamed Graiet

https://doi.org/10.1007/s11334-021-00419-1 Actions

Introduction to special issue: papers from UML&FM’2011

JOURNAL ARTICLE published December 2011 in Innovations in Systems and Software Engineering

Authors: I. Perseil | J. P. Gibson

https://doi.org/10.1007/s11334-011-0173-0 Actions

Bridging the gap between test cases and requirements by abstract testing

JOURNAL ARTICLE published December 2015 in Innovations in Systems and Software Engineering

Authors: Florian Merz | Carsten Sinz | Hendrik Post | Thomas Gorges | Thomas Kropf

https://doi.org/10.1007/s11334-015-0245-7 Actions

Modular exponentiation with inner product to resist higher-order DPA attacks

JOURNAL ARTICLE published March 2020 in Innovations in Systems and Software Engineering

Authors: Hridoy Jyoti Mahanta | Ajoy Kumar Khan | Somnath Mukhopadhyay

https://doi.org/10.1007/s11334-019-00346-2 Actions

Introduction to special issue: papers from UML&FM

JOURNAL ARTICLE published October 2008 in Innovations in Systems and Software Engineering

Authors: Jean-Michel Bruel | Agusti Canals | Sébastien Gérard | Isabelle Perseil

https://doi.org/10.1007/s11334-008-0061-4 Actions

A holistic approach to environmentally sustainable computing

JOURNAL ARTICLE published 6 February 2024 in Innovations in Systems and Software Engineering

Authors: Andrea Pazienza | Giovanni Baselli | Daniele Carlo Vinci | Maria Vittoria Trussoni

https://doi.org/10.1007/s11334-023-00548-9 Actions

Spanning tree-based fast community detection methods in social networks

JOURNAL ARTICLE published September 2015 in Innovations in Systems and Software Engineering

Authors: Partha Basuchowdhuri | Riya Roy | Siddhartha Anand | Diksha Roy Srivastava | Subhashis Majumder | Sanjoy Kumar Saha

https://doi.org/10.1007/s11334-015-0246-6 Actions

Introduction to special issue: papers from UML&FM’2009

JOURNAL ARTICLE published March 2010 in Innovations in Systems and Software Engineering

Authors: Isabelle Perseil | Jean-Michel Bruel | Agusti Canals | Robert de Simone | Sébastien Gérard | Elie Najm

https://doi.org/10.1007/s11334-009-0106-3 Actions

UI-design driven model-based testing

JOURNAL ARTICLE published September 2013 in Innovations in Systems and Software Engineering

Authors: Judy Bowen | Steve Reeves

https://doi.org/10.1007/s11334-013-0199-6 Actions
Feedback: support@crossref.org