Quiescent Consistency: Defining and Verifying Relaxed Linearizability
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Handling TSO in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Timed Automata Verification via I with Zones
T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

Managing LTL Properties in Event-B Refinement
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Managing LTL properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
LibreCat: /record/3174

Proof-Carrying Hardware via I
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat: /record/3175

Twenty years of learning with the World Wide Web
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
LibreCat: /record/27166

Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design
F. Winkelnkemper, R. Keil, in: A. Butz, J.  Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
LibreCat: /record/27167

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
LibreCat: /record/20983

Nash Equilibria in Shared Effort Games
G. Polevoy, S. Trajanovski, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 861–868.
LibreCat: /record/17659

Improving Human Interaction in Crowdsensing
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1741–1742.
LibreCat: /record/17660

Request Driven Social Sensing
T.C. King, Q. Liu, G. Polevoy, M. de Weerdt, V. Dignum, M.B. van Riemsdijk, M. Warnier, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1651–1652.
LibreCat: /record/17661

Signaling Competition and Social Welfare
G. Polevoy, R. Smorodinsky, M. Tennenholtz, ACM Trans. Econ. Comput. 2 (2014) 1:1-1:16.
LibreCat: /record/17662
DOI: 10.1145/2560766

Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres
T. Steinle, J. Vrabec, A. Walther, in: H.G. Bock, X.P. Hoang, R. Rannacher, J.P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), Springer International Publishing, 2014, pp. 233–243.
LibreCat: /record/1781
DOI: 10.1007/978-3-319-09063-4_19

On Semeai Detection in Monte-Carlo Go
T. Graf, L. Schaefers, M. Platzner, in: Proc. Conf. on Computers and Games (CG), Springer, Switzerland, 2014, pp. 14–25.
LibreCat: /record/1782
DOI: 10.1007/978-3-319-09165-5_2

Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit
R. Petring, Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit, Universität Paderborn, 2014.
LibreCat: /record/19039

Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems
U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.
LibreCat: /record/20905

The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems
S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U. Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.
LibreCat: /record/20907

A Modelica Coordination Pattern Library for Cyber-Physical Systems
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
LibreCat: /record/20908

The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling
S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M. Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.
LibreCat: /record/20909

Viewpoints and Views in Hardware Platform Modeling for Safe Deployment
U. Pohlmann, M. Meyer, A.P. Dann, C. Brink, in: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.
LibreCat: /record/20910

Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen
L. Luo, Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
LibreCat: /record/18001

Formbildung selbstorganisierender Partikelsysteme
K. Hinnenthal, Formbildung Selbstorganisierender Partikelsysteme, 2014.
LibreCat: /record/18002

Incorporating feedback from application layer into routing and wavelength assignment algorithms
P. Wette, H. Karl, in: 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE, 2014.
LibreCat: /record/1801
DOI: 10.1109/infcomw.2013.6970733

SKIP*: A Self-Stabilizing Skip Graph
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, J. ACM (2014) 36:1--36:26.
LibreCat: /record/1858
DOI: 10.1145/2629695

Brief announcement: amoebot - a new model for programmable matter
Z. Derakhshandeh, S. Dolev, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, ACM, 2014, pp. 220--222.
LibreCat: /record/1863
DOI: 10.1145/2612669.2612712

Feature models supporting trade-off decisions in early mechatronic systems design
A. Kühn, C. Bremer, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.
LibreCat: /record/22903

Der Spitzencluster it's OWL auf dem Weg zur Industrie 4.0
J. Gausemeier, R. Dumitrescu, J. Jasperneite, A. Kühn, H. Trsek, ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb (2014) 336–346.
LibreCat: /record/22904

Terrain Classification for Track-driven Agricultural Robots
K.A. Mahadhir, S.C. Tan, C. Low, R. Dumitrescu, A.T.M. Amin, A. Jaffar, Procedia Technology Vol. 15 (2014) 776–783.
LibreCat: /record/22905

Specification Technique CONSENS for the Description of Self-optimizing Systems
R. Dorociak, R. Dumitrescu, J. Gausemeier, P. Iwanek, in: J. Gausemeier, F.-J. Rammig, W. Schäfer (Eds.), Design Methodology for Intelligent Technichal Systems, Springer, Berlin, 2014.
LibreCat: /record/22906

Strategy controlling for innovation clusters - the example of "it's OWL"
A. Kühn, D. Kliewe, R. Dumitrescu, J. Gausemeier, in: ISPIM Conference 2014, 2014.
LibreCat: /record/22907

Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering
R. Dumitrescu, C. Fechtelpeter, A. Kühn, in: M. Maurer, S.-O. Schulze (Eds.), Tag des Systems Engineering, Bremen, Carl Hanser Verlag, München, 2014.
LibreCat: /record/22908

Methodology for the identification of solution patterns within mechatronic systems
M. Rabe, H. Anacker, R. Dumitrescu, in: Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt, 2014.
LibreCat: /record/22909

Collaboration in Model-Based Systems Engineering based on Application Scenarios
C. Tschirner, L. Kaiser, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 2014.
LibreCat: /record/22910

Optimized process sequences for prototyping of molded interconnect devices
C. Jürgenhake, C. Fechtelpeter, R. Dumitrescu, D. Heidsiek, Advanced Materials Research Vol.1038 (2014) 19–27.
LibreCat: /record/22911

Method for the Identification and Comparison of Alternative Process Chains Focusing on Economics Efficiency Analysis during the Conceptual Design of Mechatronic Integrated Devices
T. Schierbaum, J. Gausemeier, R. Dumitrescu, Advanced Materials Research Vol.1038 (2014) 3–9.
LibreCat: /record/22912

A Summer Blender Camp: Modeling, Rendering, and Animation for High School Students
M. Bailey, C. Law, IEEE Computer Graphics and Applications 34 (2014) 65–67.
LibreCat: /record/21741
DOI: 10.1109/MCG.2014.4

Student Projects Involving Novel Interaction with Large Displays
P. Dias, T. Sousa, J. Parracho, I. Cardoso, A. Monteiro, B.S. Santos, IEEE Computer Graphics and Applications 34 (2014) 80–86.
LibreCat: /record/21742
DOI: 10.1109/MCG.2014.35

Beyond Minecraft: Facilitating Computational Thinking through Modeling and Programming in 3D
A. Repenning, D. C. Webb, C. Brand, F. Gluck, R. Grover, S. Miller, H. Nickerson, M. Song, IEEE Computer Graphics and Applications 34 (2014) 68–71.
LibreCat: /record/21743
DOI: 10.1109/MCG.2014.46

Incorporating Modern OpenGL into Computer Graphics Education
G. Reina, T. Müller, T. Ertl, IEEE Computer Graphics and Applications 34 (2014) 16–21.
LibreCat: /record/21744
DOI: 10.1109/MCG.2014.69

Creative Educational Use of Virtual Reality: Working with Second Life
M. Cao, Y. Li, Z. Pan, J. Csete, S. Sun, J. Li, Y. Liu, Computer Graphics and Applications, IEEE 34 (2014) 83–87.
LibreCat: /record/21745
DOI: 10.1109/MCG.2014.87

Graphical Qualities of Educational Technology: Using Drag-and-Drop and Text-Based Programs for Introductory Computer Science
B. DiSalvo, IEEE Computer Graphics and Applications 34 (2014) 12–15.
LibreCat: /record/21746
DOI: 10.1109/MCG.2014.112

Variational Approach to Molecular Kinetics
F. Nüske, B.G. Keller, G. Pérez-Hernández, A.S.J.S. Mey, F. Noé, Journal of Chemical Theory and Computation (2014) 1739–1752.
LibreCat: /record/21936
DOI: 10.1021/ct4009156

Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market
C. Weskamp , T. John , D. Kundisch , A. Teetz, M. Rose, eds., Towards a Simulation-Based Approach for Evaluating Business Models for the Electric Vehicle Market, Brussels, 2014.
LibreCat: /record/7761

Linguistic Consistency of Goal Models
F. Pittke, B. Nagel, G. Engels, J. Mendling, in: Proceedings of the 19th International EMMSAD Conference, Springer, 2014.
LibreCat: /record/8064

Breathing Life into Situational Software Engineering Methods
M. Fazal-Baqaie, C. Gerth, G. Engels, in: In Proceedings of the 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014), Springer, 2014, pp. 281–284.
LibreCat: /record/8065

Agile Entwicklung mit On- und Offshore-Partnern – Methodenverbesserung in der Praxis
M. Fazal-Baqaie, S. Sauer, T. Heuft, in: Proceedings of Projektmanagement Und Vorgehensmodelle 2014, GI, Köllen Druck+Verlag GmbH, Bonn, 2014, pp. 59–69.
LibreCat: /record/8066

Configuration of Specification Language and Matching for Services in On-The-Fly Computing
S. Arifulina, M. Christin Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, Configuration of Specification Language and Matching for Services in On-The-Fly Computing, Heinz Nixdorf Institute, University of Paderborn, 2014.
LibreCat: /record/8224

Model-Based User Interface Development for Adaptive Self-Service Systems
E. Yigitbas, H.G. Fischer, S. Sauer, in: Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience - Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I, 2014, pp. 206–213.
LibreCat: /record/5749
DOI: 10.1007/978-3-319-07668-3‑21

Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems
E. Yigitbas, H.G. Fischer, T. Kern, V. Paelke, in: Human-Centered Software Engineering - 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings, 2014, pp. 267–274.
LibreCat: /record/5750
DOI: 10.1007/978-3-662-44811-3‑18