A Market Based Approach for Resolving Resource Constrained Task Allocation Problems in a Software Development Process

MaxSAT-Based MCS Enumeration

Mddsvsim: An integrated traffic simulation platform for autonomous vehicle~research

Measuring Quality: A Cornerstone of Theory in Software Engineering

Medi SPICE and the Development of a Process Reference Model for Inclusion in IEC 62304

Medical Device Software Traceability

Leverage of Extended Information to Enhance the Performance of JEE Systems

The Logic of UTP2

Lower Bounds and Upper Bounds for MaxSAT

Management and Control of Energy Usage and Price using Participatory Sensing Data