Opinion classification at subtopic level from COVID vaccination-related tweets

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

Authors: Mrinmoy Sadhukhan | Pramita Bhattacherjee | Tamal Mondal | Sudakshina Dasgupta | Indrajit Bhattacharya

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

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

Editorial

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

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

Innovations in systems and software engineering guest editorial: special issue on software and systems reuse

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

Authors: Lamia Labed Jilani | Sihem Ben Sassi

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

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

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

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

Software reliability engineering process

JOURNAL ARTICLE published 14 November 2006 in Innovations in Systems and Software Engineering

Authors: Norman Schneidewind

Eventual consensus in Synod: verification using a failure-aware actor model

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

Research funded by National Science Foundation (CNS-1816307) | Air Force Office of Scientific Research (FA9550-19-1-0054)

Authors: Saswata Paul | Gul Agha | Stacy Patterson | Carlos Varela

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems

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

Authors: André L. N. Muniz | Aline M. S. Andrade | George Lima

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

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

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

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

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

On the use of textual feature extraction techniques to support the automated detection of refactoring documentation

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

Authors: Licelot Marmolejos | Eman Abdullah AlOmar | Mohamed Wiem Mkaouer | Christian Newman | Ali Ouni

Software health management: a necessity for safety critical systems

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

Authors: Ashok N. Srivastava | Johann Schumann

High-speed processing in wired-and-wireless integrated autonomous decentralized system and its application to IC card ticket system

JOURNAL ARTICLE published 12 February 2007 in Innovations in Systems and Software Engineering

Authors: Akio Shiibashi | Naoki Mizoguchi | Kinji Mori