501 – 750 of 1716
- show: 250
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2014
-
Mark
Challenges and Practices in Aligning Requirements with Verification and Validation: A Case Study of Six Companies
(
- Contribution to journal › Article
-
Mark
Shortest Two Disjoint Paths in Polynomial Time
2014) Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014 8572. p.211-222(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Approximation Algorithms for the Geometric Firefighter and Budget Fence Problems.
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficiently Correcting Matrix Products
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Instruction Selection and Scheduling for DSP Kernels
(
- Contribution to journal › Article
-
Mark
Exponential Time Complexity of the Permanent and the Tutte Polynomial
(
- Contribution to journal › Article
-
Mark
Simple Iterative Heuristics for Correlation Clustering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Layered Reconstruction for Defocus and Motion Blur
(
- Contribution to journal › Article
-
Mark
Recovering from a Decade: A Systematic Mapping of Information Retrieval Approaches to Software Traceability
(
- Contribution to journal › Article
-
Mark
Early Identification of Bottlenecks in System of Systems Software Development
(
- Contribution to journal › Article
-
Mark
Mapping streaming applications on multiprocessors with time-division-multiplexed network-on-chip
(
- Contribution to journal › Article
-
Mark
Solving LPN Using Covering Codes
2014) 20th Annual International Conference on the Theory and Application of Cryptology and Information Security (Asiacrypt) 8873. p.1-20(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Listing Triangles
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Are test cases needed? Replicated comparison between exploratory and test-case-based software testing
(
- Contribution to journal › Article
-
Mark
On infrastructure for facilitation of inner source in small development teams
2014) The 15th International Conference of Product Focused Software Development and Process Improvement (Profes) 8892. p.149-163(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Teaching programming to young learners using Scala and Kojo
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tackle 'em bugs! Managing the issue overflow in large-scale software engineering
(
- Contribution to journal › Published meeting abstract
-
Mark
Survey on Safety Evidence Change Impact Analysis in Practice: Detailed Description and Analysis
2014)(
- Book/Report › Report
-
Mark
Execution trace graph analysis of dataflow programs: Bounded buffer scheduling and deadlock recovery using model predictive control
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
eavesROP: Listening for ROP Payloads in Data Streams
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Increasing Robotic Machining Accuracy Using Offline Compensation Based on Joint-Motion Simulation
2014) ISR/Robotik 2014; 41st International Symposium on Robotics(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the Delicate Balance between RE and Testing: Experiences from a Large Company
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Counting Thin Subgraphs via Packings Faster Than Meet-in-the-Middle Time
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Collaboration in the Absence of Communication
2014) 23rd IEEE International Conference on Enabling Technologies, Infrastructure for Collaborative Enterprises (WETICE) p.294-299(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automata, Languages, and Programming
- Book/Report › Conference proceeding (editor)
-
Mark
Turnus: An open-source design space exploration framework for dynamic stream programs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Inner Source Project Management
2014) p.343-369(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Realizing Efficient Execution of Dataflow Actors on Manycores
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Changes, Evolution and Bugs - Recommendation Systems for Issue Management
2014) p.477-509(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
On Rapid Releases and Software Testing: A Case Study and a Semi-Systematic Literature Review
(
- Contribution to journal › Article
-
Mark
Get the Cogs in Synch – Time Horizon Aspects of Industry–Academia Collaboration
2014) International Workshop on Long-term Industrial Collaboration on Software Engineering (WISE2014)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Media Abstraction Framework for the Pervasive Middleware PalCom
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
REFRACTIVE: An Open Source Tool to Extract Knowledge from Syntactic and Semantic Relations
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dataflow machines
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proximity-based reminders using Bluetooth
2014) 12th IEEE International Conference on Pervasive Computing and Communication (PERCOM) p.151-153(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
PalCom Meets the End-User: Enabling Interaction with PalCom-based Systems
2014)(
- Thesis › Licentiate thesis
-
Mark
Dataflow programs analysis and optimization using model predictive control techniques: An example of bounded buffer scheduling
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Measuring Per-Frame Energy Consumption of Real-Time Graphics Applications
(
- Contribution to journal › Article
-
Mark
Blurring the Line : From Multicore Devices to the Internet of Things
2014) MCC 2014: Seventh Swedish Workshop on Multi-Core Computing(
- Contribution to conference › Paper, not in proceeding
-
Mark
KOSHIK: A large-scale distributed computing framework for NLP
2014) 3rd International Conference on Pattern Recognition Applications an Methods (ICPRAM 2014) p.464-470(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Combining Text Semantics and Image Geometry to Improve Scene Interpretation
2014) 3rd International Conference on Pattern Recognition Applications an Methods (ICPRAM 2014) p.479-486(
- Chapter in Book/Report/Conference proceeding › Chapter in report
-
Mark
Using semantic role labeling to predict answer types
2014) the 7th International Workshop on Exploiting Semantic Annotations in Information Retrieval, ESAIR ’14 p.29-31(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Syntactic Features in Answer Reranking
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visual Entity Linking: A Preliminary Study
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Coarse grain clock gating of streaming applications in programmable logic implementations
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The 4+1 View Model of Industri–Academia Collaboration
2014) International Workshop on Long-term Industrial Collaboration on Software Engineering (WISE2014)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Embrace your issues: compassing the software engineering landscape using bug reports
2014) ASE '14 the 29th ACM/IEEE international conference on Automated software engineering p.891-894(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Language processing with Perl and Prolog
2014) In Cognitive Technologies(
- Book/Report › Book
-
Mark
Alignment Practices Affect Distances in Software Development: A Theory and a Model
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Revisiting the Challenges in Aligning RE and V&V: Experiences from the Public Sector
(
- Contribution to conference › Paper, not in proceeding
-
Mark
Mapping and Scheduling of Dataflow Graphs - A Systematic Map
2014) 48th Asilomar Conference on Signals, Systems and Computers, 2014(
- Contribution to conference › Paper, not in proceeding
-
Mark
Hazard Analysis of Collision Avoidance System using STPA
2014) International Conference on Information Systems for Crisis Response and Management (ISCRAM 2014)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Characterizing communication behavior of dataflow programs using trace analysis
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Replicated Study on Duplicate Detection: Using Apache Lucene to Search Among Android Defects
2014) 8th International Symposium on Empirical Software Engineering and Measurement(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Composition of digital images for perceptibility thereof
2014) US8665286(
- Patent › Patent
-
Mark
Finding Relevant Research Solutions for Practical Problems - the SERP Taxonomy Architecture
2014) International Workshop on Long-term Industrial Collaboration on Software Engineering (WISE 2014)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Passage retrieval in a question answering system.
2014) The Fifth Swedish Language Technology Conference (SLTC 2014)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Supporting Regression Test Scoping with Visual Analytics
2014) IEEE International Conference on Software Testing, Verification, and Validation, 2014 p.283-292(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
RiskUse - Guidelines, version 1.0
2014)(
- Book/Report › Report
-
Mark
Describing constraint-based assembly tasks in unstructured natural language
2014) 19th IFAC World Congress, 2014(
- Contribution to conference › Paper, not in proceeding
-
Mark
Proxy server
2014) US8838677(
- Patent › Patent
-
Mark
An On-Demand WebRTC and IoT Device Tunneling Service for Hospitals
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An experimental evaluation of test driven development vs. test-last development with industry professionals
2014) EASE '14 Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Named entity disambiguation in a question answering system.
2014) The Fifth Swedish Language Technology Conference (SLTC 2014)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Coarse Pixel Shading
2014) High Performance Graphics, 2014(
- Contribution to conference › Paper, not in proceeding
-
Mark
Using distant supervision to build a proposition bank
2014) The Fifth Swedish Language Technology Conference (SLTC 2014)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Keyed logic BIST for Trojan detection in SoC
2014) 2014 16th International Symposium on System-on-Chip, SoC 2014 In 2014 International Symposium on System-on-Chip, SoC 2014(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Second-order constraints in dynamic invariant inference
2014) Software Engineering 2014 In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P227. p.93-94(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Schedulability analysis of Ethernet AVB switches
2014) 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2014(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Long Proofs of (Seemingly) Simple Formulas
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.121-137(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A (biased) proof complexity survey for SAT practitioners
2014) 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 In Lecture Notes in Computer Science 8561. p.1-6(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From small space to small width in resolution
2014) 31st International Symposium on Theoretical Aspects of Computer Science, STACS 2014 In Leibniz International Proceedings in Informatics, LIPIcs 25. p.300-311(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Narrow proofs may be maximally long
2014) 29th Annual IEEE Conference on Computational Complexity, CCC 2014 In Proceedings of the Annual IEEE Conference on Computational Complexity p.286-297(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
Optimal cuts and partitions in tree metrics in polynomial time
(
- Contribution to journal › Article
-
Mark
Methods to explore design space for MPEG RVC codec specifications
(
- Contribution to journal › Article
-
Mark
Extensible intraprocedural flow analysis at the abstract syntax tree level
(
- Contribution to journal › Article
-
Mark
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On Rapid Releases and Software Testing
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Industrial Robot Skills
2013) Doctoral Consortium at The 12th Scandinavian Conference on Artificial Intelligence (SCAI) 257. p.295-298(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Probably Optimal Graph Motifs
2013) 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013), LIPIcs 20. p.20-31(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Roundtable: What's Next in Software Analytics
(
- Contribution to journal › Article
-
Mark
Test Overlay in an Emerging Software Product Line – An Industrial Case Study
(
- Contribution to journal › Article
-
Mark
Engineering Open Innovation – a Framework for Fostering Open Innovation
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proximates - A Social Context Engine
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Synthesis and optimization of high-level stream programs
2013) The 2013 Electronic System Level Synthesis Conference(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the Reliability of Mapping Studies in Software Engineering
(
- Contribution to journal › Article
-
Mark
An investigation of how quality requirements are specified in industrial practice
(
- Contribution to journal › Article
-
Mark
Integrated Requirements Engineering – Understanding and Bridging Gaps in Software Development
2013)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Introducing Usability Testing in the Risk Management Process in Software Development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Counting and Detecting Small Subgraphs via Equations
(
- Contribution to journal › Article
-
Mark
Analyzing an automotive testing process with evidence-based software engineering
(
- Contribution to journal › Article
-
Mark
The Parity of Directed Hamiltonian Cycles
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Service Level Agreements in Municipal IT Dependability Management
2013) RCIS 2013(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time
(
- Contribution to journal › Article
-
Mark
A(4): Asynchronous Adaptive Anti-Aliasing using Shared Memory
(
- Contribution to journal › Article
-
Mark
Actor Classification using Actor Machines
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Dynamic Stackless Binary Tree Traversal
(
- Contribution to journal › Article
-
Mark
Trends in the quality of human-intensive software engineering experiments – A quasi-experiment.
(
- Contribution to journal › Article
-
Mark
Counting Closed Trails
(
- Contribution to journal › Letter
-
Mark
Obsolete software requirements
(
- Contribution to journal › Article
-
Mark
More testers - The effect of crowd size and time restriction in software testing
(
- Contribution to journal › Article
-
Mark
Advancing Software Development Efficiency in an Open Source Software Context
2013)(
- Thesis › Licentiate thesis
-
Mark
Knowledge-Based Industrial Robotics
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Second Replicated Quantitative Analysis of Fault Distributions in Complex Software Systems
(
- Contribution to journal › Article
-
Mark
Efficient Adaptive and Dynamic Mesh Refinement Based on a Non-recursive Strategy
(
- Contribution to journal › Article
-
Mark
Towards more efficient infection and fire fighting
(
- Contribution to journal › Article
-
Mark
Efficient broadcasting in radio networks with long-range interference
(
- Contribution to journal › Article
-
Mark
Analyzing Networks of Issue Reports
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Detecting and Counting Small Pattern Graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Stochastic Depth Buffer Compression using Generalized Plane Encoding
(
- Contribution to journal › Article
-
Mark
Circular Higher-order Reference Attribute Grammars
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Unique subgraphs are not easier to find
(
- Contribution to journal › Article
-
Mark
Challenges in Flexible Safety-Critical Software Development -- An Industrial Qualitative Survey
2013) Product-Focused Software Process Improvement. 14th International Conference, PROFES 2013 7983. p.283-297(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Risk Identification on the Interface Between Business Case and Requirements
2013) International Workshop on Requirements Engineering: Foundation for Software Quality, 2013 7830. p.253-268(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hardware Support for CSP on a Java Chip-Multiprocessor
(
- Contribution to journal › Article
-
Mark
Software Language Engineering: 5th International Conference, SLE 2012, Revised Selected Papers
- Book/Report › Conference proceeding (editor)
-
Mark
Natural language programming of industrial robots
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Extending the JastAdd Extensible Java Compiler to Java 7
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Refactoring Techniques for Visual Editing of Hybrid Languages
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design Space Exploration for Streaming Applications on Multiprocessors with Guaranteed Service NoC
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Mapping Streaming Applications on Multiprocessor with Statically Configured NoC
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Instruction Selection and Scheduling for DSP Kernels on Custom Architectures
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MPEG Reconfigurable Video Coding
2013) p.281-314(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
TURNUS: a Design Exploration Framework for Dataflow System Design
2013) IEEE International Symposium on Circuits and Systems (ISCAS), 2013(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Enabling Traceability Reuse for Impact Analyses: A Feasibility Study in a Safety Context
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automatic Single-View Character Model Reconstruction
2013) p.5-14(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
reqT.org – Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool
2013) International Workshop on Requirements Engineering: Foundation for Software Quality, 2013 7830. p.112-118(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Implementing Semantic Feedback in a Diagram Editor
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Octree Light Propagation Volumes
2013) SIGRAD, 2013(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Model-Based Framework for Flexible Safety-Critical Software Development - A Design Study
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Buffer Optimization Based on Critical Path Analysis of a Dataflow Program Design
2013) IEEE International Symposium on Circuits and Systems (ISCAS), 2013(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Supporting Decisions on Regression test Scoping in a Software Product Line Context - from Evidence to Practice
2013)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Design space exploration and implementation of RVC-CAL applications using the TURNUS framework
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Representing Guard Dependencies in Dataflow Execution Traces
2013) Fifth International Conference on Computational Intelligence, Communication Systems, and Networks (CICSyN) p.291-295(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Distances between Requirements Engineering and Later Software Development Activities: A Systematic Map
2013) International Workshop on Requirements Engineering: Foundation for Software Quality, 2013 7830. p.292-307(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Theory and Analysis of Higher-Order Motion Blur Rasterization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On force control for assembly and deburring of castings
(
- Contribution to journal › Article
-
Mark
Turnus: A unified dataflow design space exploration framework for heterogeneous parallel systems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Helping Hand: Industrial Robotics, Knowledge and User-Oriented Services
2013) AI-based Robotics Workshop, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems(
- Contribution to conference › Paper, not in proceeding
-
Mark
Mining semantics for culturomics: towards a knowledge-based approach
2013) International workshop on Mining unstructured big data using natural language processing, MNLP '13 p.3-10(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
IR in Software Traceability: From a Bird's Eye View
2013) 7th International Symposium on Empirical Software Engineering and Measurement(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Case Study on Risk Analysis for Critical Systems with Reliability Block Diagrams
2013) 10th International IT Systems for Crisis Response and Management (ISCRAM) Conference p.693-702(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
High-level Synthesis of Dataflow Programs for Signal Processing Systems
2013) 8th International Symposium on Image and Signal Processing and Analysis (ISPA 2013)(
- Contribution to conference › Paper, not in proceeding
-
Mark
Method and apparatus for processing an event notification in a concurrent processing system
2013) US 8,572,432(
- Patent › Patent
-
Mark
Variations on the Evidence-Based Timeline Retrospective Method A Comparison of Two Cases
2013) 39th Euromicro Conference Series on Software Engineering and Advanced Applications 2013. p.37-44(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
JaCoP - Java Constraint Programming Solver
2013) CP Solvers: Modeling, Applications, Integration, and Standardization, co-located with the 19th International Conference on Principles and Practice of Constraint Programming(
- Contribution to conference › Abstract
-
Mark
A System for High-Level Task Specification Using Complex Sensor-Based Skills
2013) Robotics: Science and Systems (RSS) 2013 Workshop on Programming with Constraints(
- Contribution to conference › Abstract
-
Mark
Design Space Exploration of High-Level Stream Programs on Parallel Architectures
2013) 8th International Symposium on Image and Signal Processing and Analysis (ISPA 2013)(
- Contribution to conference › Paper, not in proceeding
-
Mark
On Distributed Knowledge Bases for Small-Batch Assembly
2013) Cloud Robotics Workshop, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems(
- Contribution to conference › Paper, not in proceeding
-
Mark
A comparison of Facebook friendship and physical proximity
(
- Contribution to conference › Abstract
-
Mark
Some Like It Hot - Automating an Electric Kettle Using Palcom
2013) p.63-66(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Role of Configuration Management in Outsourcing and Distributed Software Development
2013) The Central & Eastern European Software Engineering Conference in Russia(
- Contribution to conference › Paper, not in proceeding
-
Mark
Systems Design Space Exploration by Serial Dataflow Program Executions
2013) 47th Annual Asilomar Conference on Signals, Systems, and Computers, 2003(
- Contribution to conference › Paper, not in proceeding
-
Mark
Confounding Factors When Conducting Industrial Replications in Requirements Engineering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Strukturerad gruppläsning inför omtentamen
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automatic queue sizing for dataflow applications
2013) US 8,595,391(
- Patent › Patent
-
Mark
A Scala Embedded DSL for Combinatorial Optimization in Software Requirements Engineering
(
- Contribution to conference › Paper, not in proceeding
-
Mark
Multi-Clock-Domain Optimization for Reconfigurable Architectures in High-Level Dataflow Applications
2013) 47th Annual Asilomar Conference on Signals, Systems, and Computers, 2003(
- Contribution to conference › Paper, not in proceeding
-
Mark
Method and apparatus for supporting run-time reconfiguration in a programmable logic integrated circuit
2013) U.S. Patent 8,402,409(
- Patent › Patent
-
Mark
Asynchronous communication network and methods of enabling the asynchronous communication of data in an integrated circuit
2013) U.S. Patent 8,402,164(
- Patent › Patent
-
Mark
SEDGE : Symbolic example data generation for dataflow programs
2013) 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 p.235-245(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Second-order constraints in dynamic invariant inference
2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 p.103-113(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Partitioning and Optimization of High-Level Stream Applications for Multi-Clock-Domain Architectures
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards an understanding of polynomial calculus : New separations and lower bounds (extended abstract)
2013) 40th International Colloquium on Automata, Languages, and Programming, ICALP 2013 In Lecture Notes in Computer Science 7965(PART 1). p.437-448(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pebble games, proof complexity, and time-space trade-offs
(
- Contribution to journal › Article
-
Mark
Some trade-off results for polynomial calculus
2013) 45th Annual ACM Symposium on Theory of Computing, STOC 2013 In Proceedings of the Annual ACM Symposium on Theory of Computing p.813-822(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2012
-
Mark
Are You Biting Off More Than You Can Chew? A Case Study on Causes and Effects of Overscoping in Large-Scale Software Engineering
(
- Contribution to journal › Article
-
Mark
Incremental Evaluation of Reference Attribute Grammars using Dynamic Dependency Tracking
2012) In LU-CS-TR:2012-249(
- Book/Report › Report
-
Mark
The Palcom Device Web Bridge
2012) In Technical report, LU-CS-TR:2012-251(
- Book/Report › Report
-
Mark
Three Empirical Studies on the Agreement of Reviewers about the Quality of Software Engineer ing Experiments
(
- Contribution to journal › Article
-
Mark
High-Level Architecture Modeling and Exploration for Streaming Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Entity extraction: From unstructured text to DBpedia RDF triples
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hyperlocal event extraction of future events
2012) Workshop on Detection, Representation, and Exploitation of Events in the Semantic Web (DeRiVE 2012) 902. p.11-21(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hyperplane Culling for Stochastic Rasterization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The complexity of inferring a minimally resolved phylogenetic supertree
(
- Contribution to journal › Article
-
Mark
Performance per What?
(
- Contribution to journal › Article
-
Mark
Toward Efficient Execution of Dataflow Actors
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How many individuals to use in a QA task with fixed total effort? - Defect detection as a function of time
2012) 6th International Symposium on Empirical Software Engineering and Measurement (ESEM) p.311-314(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
High-Quality Curve Rendering using Line Sampled Visibility
(
- Contribution to journal › Article
-
Mark
What Do We Know about Scientific Software Development's Agile Practices?
(
- Contribution to journal › Article
-
Mark
A Case Study on Software Risk Analysis in Medical Device Development
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visualizing, Analyzing and Managing the Scope of Software Releases in Large-Scale Requirements Engineering
(
- Thesis › Doctoral thesis (compilation)
-
Mark
Runtime Voltage/Frequency Scaling for Energy-Aware Streaming Applications
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Setting quality targets for coming releases with QUPER - an industrial case study
(
- Contribution to journal › Article
-
Mark
Integrating Requirements Engineering with Software Development - A Research Abstract
2012) International Working Conference Requirements Engineering: Foundation for Software Quality, 2012(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Separation of concerns on the orchestration of operations in flexible manufacturing
(
- Contribution to journal › Article
-
Mark
Quality requirements in industrial practice - an extended interview study at eleven companies
(
- Contribution to journal › Article
-
Mark
OSS Integration Issues and Community Support: An Integrator Perspective
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Partitioning and Mapping Dynamic Dataflow Programs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Regression Testing in Software Product Line Engineering
(
- Contribution to journal › Article
-
Mark
Texture Caches
(
- Contribution to journal › Debate/Note/Editorial
-
Mark
Linear-time 3-approximation algorithm for the r-star covering problem
(
- Contribution to journal › Article
-
Mark
Supporting Visual Editors using Reference Attributed Grammars
2012) Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012 935. p.15-21(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How can Open Source Software Development Help Requirements Management Gain the Potential of Open Innovation: An Exploratory Study
2012) 6th ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) p.271-279(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Replication of an experiment on linguistic tool support for consolidation of requirements from multiple sources
(
- Contribution to journal › Article
-
Mark
Exact and approximation algorithms for geometric and capacitated set cover problems
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Per-Vertex Defocus Blur for Stochastic Rasterization
(
- Contribution to journal › Article
-
Mark
Natural and Flexible Error Recovery for Generated Modular Language Environments
(
- Contribution to journal › Article
-
Mark
Constraint Programming Approach to Reconfigurable Processor Extension Generation and Application Compilation
(
- Contribution to journal › Article
-
Mark
A Combinatorial Algorithm for All-Pairs Shortest Paths in Directed Vertex-Weighted Graphs with Applications to Disc Graphs
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Modeling the Effects of Project Management Strategies on Long-Term Product Knowledge
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Drawing Planar Graphs on Points Inside a Polygon
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scheduling, binding and routing system for a run-time reconfigurable operator based multimedia architecture
(
- Contribution to journal › Article
-
Mark
Efficient Depth of Field Rasterization Using a Tile Test Based on Half-Space Culling
(
- Contribution to journal › Article
-
Mark
The Traveling Salesman Problem in Bounded Degree Graphs
(
- Contribution to journal › Article
-
Mark
Evaluation of a Maturity Model for IT Dependability in Emergency Management
2012) In International Journal of Information Systems for Crisis Response and Management 4(1). p.47-63(
- Contribution to journal › Article
-
Mark
Handling of layout-sensitive semantics in a visual control language
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Risk Analysis for Critical Systems with Reliability Block Diagrams
2012) 9th International Conference on Information Systems for Crisis Response and Management(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Benefits and Limitations of Automated Software Testing Systematic Literature Review and Practitioner Survey
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Constructing large proposition databases
2012) The eighth international conference on Language Resources and Evaluation (LREC 2012) p.3836-3839(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Testing Highly Complex System of Systems: An Industrial Case Study
2012) 6th International Symposium on Empirical Software Engineering and Measurement (ESEM) p.211-220(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Knowledge for Intelligent Industrial Robots
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Structural Vectorization of Raster Images
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Indirect Effects in Evidential Assessment: A Case Study on Regression Test Technology Adoption
2012) The 2nd International Workshop on Evidential Assessment of Software Technologies (EAST 2012)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shortest cycle through specified elements
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Syntactic Dependencies to Solve Coreferences
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Explicit Cache Management for Volume Ray-Casting on Parallel Architectures
2012)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards scalable information modeling of requirements architectures
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Java bytecode to hardware made easy with Bluespec System Verilog
2012) JTRES '12 10th International Workshop on Java Technologies for Real-time and Embedded Systems p.80-87(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design and Novel Uses of Higher-Dimensional Rasterization
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evaluation of Traceability Recovery in Context: A Taxonomy for Information Retrieval Tools
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Findability through Traceability - A Realistic Application of Candidate Trace Links?
2012) The 7th International Conference on Evaluation of Novel Approaches to Software Engineering p.173-181(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Robust and Flexible Mapping for Real-Time Distributed Applications During the Early Design Phases
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Industrial comparability of student artifacts in traceability recovery research - An exploratory survey
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A review of methods for evaluation of maturity models for process improvement
(
- Contribution to journal › Article
-
Mark
Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Hierarchical Variance Reduction Techniques for Monte Carlo Rendering
2012)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Advancing trace recovery evaluation: Applied information retrieval in a software engineering context
2012)(
- Thesis › Licentiate thesis
-
Mark
Comparison of static analysis tools for finding concurrency bugs
2012) 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW), p.129-133(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Visualizing Sentiment Analysis on a User Forum
2012) The eighth international conference on Language Resources and Evaluation (LREC 2012) p.3573-3579(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
It Takes Two to Tango – An Experience Report on Industry–Academia Collaboration
2012) Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2012 p.872-877(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Power Efficiency for Software Algorithms running on Graphics Processors
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Controlling Lost Opportunity Costs in Agile Development – the Basic Lost Opportunity Estimation Model for Requirements Scoping
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Evidence-Based Timelines for Project Retrospectives-A Method for Assessing Requirements Engineering in Context
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Case Study Research in Software Engineering – Guidelines and Examples
2012)(
- Book/Report › Book
-
Mark
Exploring Processor and Memory Architectures for Multimedia
2012)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Evidence-Based Timelines for Agile Project Retrospectives – A Method Proposal
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software Product Line Testing – A 3D Regression Testing Problem
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fast zeta transforms for point lattices
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A comparison of two metacompilation approaches to implementing a complex domain-specific language
2012) 2012 Symposium On Applied Computing(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Experimentation in Software Engineering
2012)(
- Book/Report › Book
-
Mark
An Approximation Algorithm for Directed Shallow Steiner Trees
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Who tested my software? Testing as an organizationally cross-cutting Activity
(
- Contribution to journal › Article
-
Mark
Configuration Management Support for Distributed Software Development
2012) The Second International Software Technology Exchange Workshop(
- Contribution to conference › Paper, not in proceeding
-
Mark
The Fourth Swedish Language Technology Conference Lund, Proceedings of the Conference
(2012)
- Book/Report › Conference proceeding (editor)
-
Mark
Transferring Characteristic Proportions to Modify the Artistic Style of Cartoons
2012) Computer Graphics International, 2012(
- Contribution to conference › Paper, not in proceeding
-
Mark
Identification of Entities in Swedish
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Ontology matching: from PropBank to DBpedia
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Statistical Identification of Pleonastic Pronouns
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Compressed Depth Cache
(
- Contribution to journal › Article