Facet browsing currently unavailable
Page 1 of 576 results
Sort by: relevance publication year
Opinion classification at subtopic level from COVID vaccination-related tweets JOURNAL ARTICLE published 9 December 2022 in Innovations in Systems and Software Engineering |
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) |
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) |
Editorial JOURNAL ARTICLE published September 2022 in Innovations in Systems and Software Engineering |
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 |
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 |
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 |
An Event-B model for dynamically managing cloud resources JOURNAL ARTICLE published March 2022 in Innovations in Systems and Software Engineering |
A study of software reuse in NASA legacy systems JOURNAL ARTICLE published 7 September 2007 in Innovations in Systems and Software Engineering |
Software reliability engineering process JOURNAL ARTICLE published 14 November 2006 in Innovations in Systems and Software Engineering |
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) |
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 |
Introduction to special issue: papers from UML&FM’2011 JOURNAL ARTICLE published December 2011 in Innovations in Systems and Software Engineering |
Bridging the gap between test cases and requirements by abstract testing JOURNAL ARTICLE published December 2015 in Innovations in Systems and Software Engineering |
Modular exponentiation with inner product to resist higher-order DPA attacks JOURNAL ARTICLE published March 2020 in Innovations in Systems and Software Engineering |
Introduction to special issue: papers from UML&FM JOURNAL ARTICLE published October 2008 in Innovations in Systems and Software Engineering |
Introduction to special issue: papers from UML&FM’2009 JOURNAL ARTICLE published March 2010 in Innovations in Systems and Software Engineering |
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 |
Software health management: a necessity for safety critical systems JOURNAL ARTICLE published December 2013 in Innovations in Systems and Software Engineering |
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 |