2017
453.
Nassal,
Alexander;
Tichy,
Matthias
Ein Framework zur Erstellung von Planspielen zur Softwaretechnik
15. Workshop für Software Engineering im Unterricht der Hochschulen, Hannover, 22-23. Februar 2017
February 2017
Ein Framework zur Erstellung von Planspielen zur Softwaretechnik
15. Workshop für Software Engineering im Unterricht der Hochschulen, Hannover, 22-23. Februar 2017
February 2017
File: | http://ceur-ws.org/Vol-1790/paper06.pdf |
452.
Liebel,
Grischa;
Anjorin,
Anthony;
Knauss,
Eric;
Lorber,
Florian;
Tichy,
Matthias
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal,
February 2017
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Porto, Portugal,
February 2017
DOI: | 10.5220/0006205604270434 |
File: | https://www.researchgate.net/publication/314522017_Modelling_Behavioural_Requirements_and_Alignment_with_Verification_in_the_Embedded_Industry |
451.
Schröter,
Reimar;
Krieter,
Sebastian;
Thüm,
Thomas;
Benduhn,
Fabian;
Saake,
Gunter
Compositional Analyses of Highly-Configurable Systems With Feature-Model Interfaces
Proc. Software Engineering (SE), Page 129-130
Publisher: Gesellschaft für Informatik
February 2017
Compositional Analyses of Highly-Configurable Systems With Feature-Model Interfaces
Proc. Software Engineering (SE), Page 129-130
Publisher: Gesellschaft für Informatik
February 2017
ISBN: | 978-3-88579-661-9 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-SE-Schroeter.pdf |
450.
Schultheiß,
Alexander;
Käding,
Christoph;
Freytag,
Alexander;
Denzler,
Joachim
Finding the Unknown: Novelty Detection with Extreme Value Signatures of Deep Neural Activations
Proc. German Conf. on Pattern Recognition (GCPR), Page 226-238
Publisher: Springer, Cham, Switzerland
2017
Finding the Unknown: Novelty Detection with Extreme Value Signatures of Deep Neural Activations
Proc. German Conf. on Pattern Recognition (GCPR), Page 226-238
Publisher: Springer, Cham, Switzerland
2017
DOI: | 10.1007/978-3-319-66709-6_19 |
449.
Meinicke,
Jens;
Thüm,
Thomas;
Schröter,
Reimar;
Benduhn,
Fabian;
Leich,
Thomas;
Saake,
Gunter
Mastering Software Variability With FeatureIDE
Publisher: Springer, Berlin, Heidelberg
2017
Mastering Software Variability With FeatureIDE
Publisher: Springer, Berlin, Heidelberg
2017
DOI: | 10.1007/978-3-319-61443-4 |
ISBN: | 978-3-319-61442-7 |
448.
Lity,
Sascha;
Al-Hajjaji,
Mustafa;
Thüm,
Thomas;
Schaefer,
Ina
Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-line Analysis
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 60-67
Publisher: ACM, New York, NY, USA
January 2017
Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-line Analysis
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 60-67
Publisher: ACM, New York, NY, USA
January 2017
DOI: | 10.1145/3023956.3023961 |
ISBN: | 978-1-4503-4811-9 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2017/2017-VaMoS-Lity.pdf |
447.
Proceedings of the 21st International Systems and Software Product Line Conference (SPLC) - Volume B
In Maurice ter Beek and Walter Cazzola and Oscar Diaz and Marcello La Rosa and Roberto Lopez-Herrejon and Thomas Thüm and Javier Troya and Antonio Ruiz-Cortes and David Benavides, Editor
Publisher: ACM, New York, NY, USA
2017
DOI: | 10.1145/3109729 |
ISBN: | 978-1-4503-5119-5 |
2016
446.
Kögel,
Stefan;
Tichy,
Matthias;
Groner,
Raffaela
Automatic Change Recommendation of Models and Meta Models Based on Change Histories
ME 2016 – Models and Evolution Workshop Proceedings (MODELS 2016), Saint-Malo, France
October 2016
Automatic Change Recommendation of Models and Meta Models Based on Change Histories
ME 2016 – Models and Evolution Workshop Proceedings (MODELS 2016), Saint-Malo, France
October 2016
File: | http://ceur-ws.org/Vol-1706/paper3.pdf |
445.
Kowal,
Matthias;
Ananieva,
Sofia;
Thüm,
Thomas
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 132-143
Publisher: ACM, New York, NY, USA
October 2016
Explaining Anomalies in Feature Models
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 132-143
Publisher: ACM, New York, NY, USA
October 2016
DOI: | 10.1145/2993236.2993248 |
ISBN: | 978-1-4503-4446-3 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Kowal.pdf |
444.
Ananieva,
Sofia;
Kowal,
Matthias;
Thüm,
Thomas;
Schaefer,
Ina
Implicit Constraints in Partial Feature Models
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 18-27
Publisher: ACM, New York, NY, USA
October 2016
Implicit Constraints in Partial Feature Models
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 18-27
Publisher: ACM, New York, NY, USA
October 2016
DOI: | 10.1145/3001867.3001870 |
ISBN: | 978-1-4503-4647-4 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-FOSD-Ananieva.pdf |
443.
Al-Hajjaji,
Mustafa;
Krieter,
Sebastian;
Thüm,
Thomas;
Lochau,
Malte;
Saake,
Gunter
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 144-155
Publisher: ACM, New York, NY, USA
October 2016
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 144-155
Publisher: ACM, New York, NY, USA
October 2016
DOI: | 10.1145/2993236.2993253 |
ISBN: | 978-1-4503-4446-3 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Al-Hajjaji.pdf |
442.
Liebel,
Grischa;
Tichy,
Matthias;
Knauss,
Eric;
Ljungkrantz,
Oscar;
Stieglbauer,
Gerald
Organisation and communication problems in automotive requirements engineering
Requirements Engineering
October 2016
Organisation and communication problems in automotive requirements engineering
Requirements Engineering
October 2016
DOI: | 10.1007/s00766-016-0261-7 |
File: | http://link.springer.com/content/pdf/10.1007%2Fs00766-016-0261-7.pdf |
441.
Holthusen,
Sönke;
Nieke,
Michael;
Thüm,
Thomas;
Schaefer,
Ina
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Page 839-855
Publisher: Springer, Berlin, Heidelberg
October 2016
Proof-Carrying Apps: Contract-Based Deployment-Time Verification
Proc. Int'l Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Page 839-855
Publisher: Springer, Berlin, Heidelberg
October 2016
DOI: | 10.1007/978-3-319-47166-2_58 |
ISBN: | 978-3-319-47166-2 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ISoLA-Holthusen.pdf |
440.
Thüm,
Thomas
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen
Ausgezeichnete Informatikdissertationen 2015, Page 299-308
Publisher: Gesellschaft für Informatik, Bonn, Germany
October 2016
Spezifikation und Verifikation von Produktlinien mit Feature-orientierten Verträgen
Ausgezeichnete Informatikdissertationen 2015, Page 299-308
Publisher: Gesellschaft für Informatik, Bonn, Germany
October 2016
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GI-Thuem.pdf |
439.
Al-Hajjaji,
Mustafa;
Meinicke,
Jens;
Krieter,
Sebastian;
Schröter,
Reimar;
Thüm,
Thomas;
Leich,
Thomas;
Saake,
Gunter
Tool Demo: Testing Configurable Systems With FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 173-177
Publisher: ACM, New York, NY, USA
October 2016
Tool Demo: Testing Configurable Systems With FeatureIDE
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE), Page 173-177
Publisher: ACM, New York, NY, USA
October 2016
DOI: | 10.1145/2993236.2993254 |
ISBN: | 978-1-4503-4446-3 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-GPCE-Al-Hajjaji-Demo.pdf |
438.
Sharaf,
Nada;
Abdennadher,
Slim;
Frühwirth,
Thom;
Gall,
Daniel
Animating Cognitive Models and Architectures: A Rule-based Approach
The 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany
Global Conference on Artificial Intelligence
Berlin
September 2016
Animating Cognitive Models and Architectures: A Rule-based Approach
The 2nd Global Conference on Artificial Intelligence (GCAI 2016), Berlin, Germany
Global Conference on Artificial Intelligence
Berlin
September 2016
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/CGAI_submit.pdf |
437.
Thüm,
Thomas;
Leich,
Thomas;
Krieter,
Sebastian
Clean Your Variable Code With FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 308-308
Publisher: ACM, New York, NY, USA
September 2016
Clean Your Variable Code With FeatureIDE
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 308-308
Publisher: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2934466.2956655 |
ISBN: | 978-1-4503-4050-2 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Thuem-Tutorial.pdf |
436.
Krieter,
Sebastian;
Schröter,
Reimar;
Thüm,
Thomas;
Fenske,
Wolfram;
Saake,
Gunter
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 60-64
Publisher: ACM, New York, NY, USA
September 2016
Comparing Algorithms for Efficient Feature-Model Slicing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 60-64
Publisher: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2934466.2934477 |
ISBN: | 978-1-4503-4050-2 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Krieter.pdf |
435.
Meinicke,
Jens;
Wong,
Chu-Pan;
Kästner,
Christian;
Thüm,
Thomas;
Saake,
Gunter
On Essential Configuration Complexity: Measuring Interactions in Highly-Configurable Systems
Proc. Int'l Conf. on Automated Software Engineering (ASE), Page 483-494
Publisher: ACM, New York, NY, USA
September 2016
On Essential Configuration Complexity: Measuring Interactions in Highly-Configurable Systems
Proc. Int'l Conf. on Automated Software Engineering (ASE), Page 483-494
Publisher: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2970276.2970322 |
ISBN: | 978-1-4503-3845-5 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ASE-Meinicke.pdf |
434.
Thüm,
Thomas;
Ribeiro,
Marcio;
Schröter,
Reimar;
Siegmund,
Janet;
Dalton,
Francisco
Product-Line Maintenance With Emergent Contract Interfaces
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 134-143
Publisher: ACM, New York, NY, USA
September 2016
Product-Line Maintenance With Emergent Contract Interfaces
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 134-143
Publisher: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2934466.2934471 |
ISBN: | 978-1-4503-4050-2 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Thuem.pdf |
433.
Pfofe,
Tristan;
Thüm,
Thomas;
Schulze,
Sandro;
Fenske,
Wolfram;
Schaefer,
Ina
Synchronizing Software Variants With VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 329-332
Publisher: ACM, New York, NY, USA
September 2016
Synchronizing Software Variants With VariantSync
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 329-332
Publisher: ACM, New York, NY, USA
September 2016
DOI: | 10.1145/2934466.2962726 |
ISBN: | 978-1-4503-4050-2 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-SPLC-Pfofe.pdf |
432.
Kowal,
Matthias;
Ananieva,
Sofia;
Thüm,
Thomas
Explaining Anomalies in Feature Models (Technical Report)
Germany
Technical Report 2016-01
August 2016
Explaining Anomalies in Feature Models (Technical Report)
Germany
Technical Report 2016-01
August 2016
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-TR-Kowal.pdf |
431.
Sharaf,
Nada;
Abdennadher,
Slim;
Frühwirth,
Thom
A Rule Based Approach to teach Mathematics using Animation
RuleML 2016 Challenge of the 10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016.
July 2016
A Rule Based Approach to teach Mathematics using Animation
RuleML 2016 Challenge of the 10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016.
July 2016
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/math-chr-ruleml-2016.pdf |
430.
Sharaf,
Nada;
Abdennadher,
Slim;
Frühwirth,
Thom
A Rule-based Approach for Animating Java Algorithms
20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016.
July 2016
A Rule-based Approach for Animating Java Algorithms
20th International Conference Information Visualisation (iV2016), Lisbon, Portugal, July 2016.
July 2016
DOI: | 10.1109/IV.2016.55 |
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/nada-iv2016-final.pdf |
429.
Breckel,
Alexander;
Tichy,
Matthias
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
July 2016
Live Programming with Code Portals
Workshop on Live Programming Systems (LIVE'16), Rome, Italy
July 2016
File: | http://conf.researchr.org/getImage/live-2016/orig/LIVE_2016_paper_5.pdf |
428.
Gall,
Daniel;
Frühwirth,
Thom
Translation of Cognitive Models from ACT-R to Constraint Handling Rules
10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016
July 2016
Translation of Cognitive Models from ACT-R to Constraint Handling Rules
10th International Web Rule Symposium (RuleML 2016), New York, USA, July 2016
July 2016
DOI: | 10.1007/978-3-319-42019-6_15 |
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/gall-ruleml2016-final.pdf |
427.
Frühwirth,
Thom
Why Can't You Behave? Non-Termination Analysis of Direct Recursive Rules with Constraints
10th International Web Rule Symposium (RuleML 2016), New York, USA, July
July 2016
Why Can't You Behave? Non-Termination Analysis of Direct Recursive Rules with Constraints
10th International Web Rule Symposium (RuleML 2016), New York, USA, July
July 2016
DOI: | 10.1007/978-3-319-42019-6_14 |
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/thom-ruleml-2016-full.pdf |
426.
Pereira,
Juliana Alves;
Matuszyk,
Pawel;
Krieter,
Sebastian;
Spiliopoulou,
Myra;
Saake,
Gunter
A Feature-Based Personalized Recommender System for Product-Line Configuration
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Publisher: ACM, New York, NY, USA
June 2016
A Feature-Based Personalized Recommender System for Product-Line Configuration
Proc. Int'l Conf. on Generative Programming: Concepts and Experiences (GPCE)
Publisher: ACM, New York, NY, USA
June 2016
DOI: | 10.1145/2993236.2993249 |
425.
Lity,
Sascha;
Morbach,
Thomas;
Thüm,
Thomas;
Schaefer,
Ina
Applying Incremental Model Slicing to Product-Line Regression Testing
Proc. Int'l Conf. on Software Reuse (ICSR), Page 3-19
Publisher: Springer, Berlin, Heidelberg
June 2016
Applying Incremental Model Slicing to Product-Line Regression Testing
Proc. Int'l Conf. on Software Reuse (ICSR), Page 3-19
Publisher: Springer, Berlin, Heidelberg
June 2016
DOI: | 10.1007/978-3-319-35122-3_1 |
ISBN: | 978-3-319-35122-3 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSR-Lity.pdf |
424.
Kögel,
Stefan;
Cüppers,
Joscha;
Tichy,
Matthias
ClickyEvaluation: A Step‐by‐Step Evaluator for Functional Programming Expressions
2nd European Conference of Software Engineering Education (ECSEE), 30 June and 1 July 2016, Seeon Monastery, Germany
June 2016
ClickyEvaluation: A Step‐by‐Step Evaluator for Functional Programming Expressions
2nd European Conference of Software Engineering Education (ECSEE), 30 June and 1 July 2016, Seeon Monastery, Germany
June 2016
423.
Pereira,
Juliana Alves;
Krieter,
Sebastian;
Meinicke,
Jens;
Schröter,
Reimar;
Saake,
Gunter;
Leich,
Thomas
FeatureIDE: Scalable Product Configuration of Variable Systems
Proc. Int'l Conf. on Software Reuse (ICSR), Page 397-401
Publisher: Springer, Berlin, Heidelberg
June 2016
FeatureIDE: Scalable Product Configuration of Variable Systems
Proc. Int'l Conf. on Software Reuse (ICSR), Page 397-401
Publisher: Springer, Berlin, Heidelberg
June 2016
422.
Breckel,
Alexander;
Tichy,
Matthias
Embedding Programming Context into Source Code
Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
Embedding Programming Context into Source Code
Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
DOI: | 10.1109/ICPC.2016.7503732 |
421.
Breckel,
Alexander;
Tichy,
Matthias
Inline: Now You’re Coding with Portals
Tool Demonstration, Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
Inline: Now You’re Coding with Portals
Tool Demonstration, Proceedings of the 24th IEEE International Conference on Program Comprehension (ICPC'16, co-located with ICSE'16), Austin, Texas, USA
May 2016
DOI: | 10.1109/ICPC.2016.7503743 |
420.
Schink,
Hagen;
Siegmund,
Janet;
Schröter,
Reimar;
Thüm,
Thomas;
Saake,
Gunter
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
May 2016
ISSN: 0720-8928
A Study on Tool Support for Refactoring in Database Applications
Softwaretechnik-Trends
May 2016
ISSN: 0720-8928
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-WSRE-Schink.pdf |
419.
Stegmaier,
Michael;
Dausend,
Marcel;
Raschke,
Alexander;
Tichy,
Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
DOI: | 10.1007/978-3-319-33600-8_2 |
File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf |
418.
Schröter,
Reimar;
Krieter,
Sebastian;
Thüm,
Thomas;
Benduhn,
Fabian;
Saake,
Gunter
Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems
Proc. Int'l Conf. on Software Engineering (ICSE), Page 667-678
Publisher: ACM, New York, NY, USA
May 2016
Feature-Model Interfaces: The Highway to Compositional Analyses of Highly-Configurable Systems
Proc. Int'l Conf. on Software Engineering (ICSE), Page 667-678
Publisher: ACM, New York, NY, USA
May 2016
DOI: | 10.1145/2884781.2884823 |
ISBN: | 978-1-4503-3900-1 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSE-Schroeter.pdf |
417.
Meinicke,
Jens;
Thüm,
Thomas;
Schröter,
Reimar;
Krieter,
Sebastian;
Benduhn,
Fabian;
Saake,
Gunter;
Leich,
Thomas
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Page 629-632
Publisher: ACM, New York, NY, USA
May 2016
FeatureIDE: Taming the Preprocessor Wilderness
Proc. Int'l Conf. on Software Engineering (ICSE), Page 629-632
Publisher: ACM, New York, NY, USA
May 2016
DOI: | 10.1145/2889160.2889175 |
ISBN: | 978-1-4503-4205-6 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-ICSE-Meinicke.pdf |
416.
Nassal,
Alexander;
Tichy,
Matthias
Modeling Human Behavior for Software Engineering Simulation Games
Proceedings of the Fifth International Workshop on Games and Software Engineering (GAS2016 @ICSE), Austin, Texas, U.S.A.
May 2016
Modeling Human Behavior for Software Engineering Simulation Games
Proceedings of the Fifth International Workshop on Games and Software Engineering (GAS2016 @ICSE), Austin, Texas, U.S.A.
May 2016
DOI: | 10.1145/2896958.2896961 |
415.
Dausend,
Marcel;
Raschke,
Alexander
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming
May 2016
Towards a comprehensive extension of abstract state machines for aspect-oriented specification
Science of Computer Programming
May 2016
DOI: | 10.1016/j.scico.2016.04.007 |
414.
Arcaini,
Paolo;
Bonfanti,
Silvia;
Dausend,
Marcel;
Gargantini,
Angelo;
Mashkoor,
Atif;
Raschke,
Alexander;
Riccobene,
Elvinia;
Scandurra,
Patrizia;
Stegmaier,
Michael
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
DOI: | 10.1007/978-3-319-33600-8_14 |
File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf |
413.
Krieter,
Sebastian;
Schröter,
Reimar;
Thüm,
Thomas;
Saake,
Gunter
An Efficient Algorithm for Feature-Model Slicing
Germany
Technical Report FIN-001-2016
April 2016
An Efficient Algorithm for Feature-Model Slicing
Germany
Technical Report FIN-001-2016
April 2016
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-TR-Krieter.pdf |
412.
Proceedings of the 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE@ETAPS)
In Julia Rubin and Thomas Thüm, Editor
Publisher: Open Publishing Association, Waterloo, Australia
April 2016
DOI: | 10.4204/EPTCS.206 |
411.
Getir,
Sinem;
Grunske,
Lars;
Tichy,
Matthias
ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results
Modellbasierte Entwicklung Eingebetteter Systeme (MBEES2016), March 30 - April 1, Dagstuhl, Germany
March 2016
ENSURE: Ensurance of Software Evolution by Run-time Certification - Description of Selected Project Results
Modellbasierte Entwicklung Eingebetteter Systeme (MBEES2016), March 30 - April 1, Dagstuhl, Germany
March 2016
410.
Weck,
Tobias;
Tichy,
Matthias
Visualizing Data-Flows in Functional Programs
Proc. of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), March 14-18, Osaka, Japan
March 2016
Visualizing Data-Flows in Functional Programs
Proc. of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), March 14-18, Osaka, Japan
March 2016
DOI: | 10.1109/SANER.2016.82 |
409.
Durisic,
Darko;
Staron,
Miroslaw;
Tichy,
Matthias;
Hansson,
Jörgen
Addressing the Need for Strict Meta-Modeling in Practice - A Case Study of AUTOSAR
In Slimane Hammoudi and Luis Ferreira Pires, Editor, Proc. of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), February 19 - 21, Rome, Italy
In Slimane Hammoudi and Luis Ferreira Pires, Editor
February 2016
Addressing the Need for Strict Meta-Modeling in Practice - A Case Study of AUTOSAR
In Slimane Hammoudi and Luis Ferreira Pires, Editor, Proc. of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), February 19 - 21, Rome, Italy
In Slimane Hammoudi and Luis Ferreira Pires, Editor
February 2016
DOI: | 10.5220/0005745303170322 |
408.
Vogel-Heuser,
Birgit;
Fay,
Alexander;
Schaefer,
Ina;
Tichy,
Matthias
Evolution of Software in Automated Production Systems: Challenges and Research Directions
Tagungsband der Software Engineering-Konferenz (SE), February 23-26, Wien, Austria
February 2016
Evolution of Software in Automated Production Systems: Challenges and Research Directions
Tagungsband der Software Engineering-Konferenz (SE), February 23-26, Wien, Austria
February 2016
DOI: | 10.1016/j.jss.2015.08.026 |
407.
Liebel,
Grischa;
Marko,
Nadja;
Tichy,
Matthias;
Leitner,
Andrea;
Hansson,
Jörgen
Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice
Journal of Software and Systems Modeling
2016
Publisher: Springer
Model-Based Engineering in the Embedded Systems Domain - An Industrial Survey on the State-of-Practice
Journal of Software and Systems Modeling
2016
Publisher: Springer
DOI: | 10.1007/s10270-016-0523-3 |
406.
Al-Hajjaji,
Mustafa;
Benduhn,
Fabian;
Thüm,
Thomas;
Leich,
Thomas;
Saake,
Gunter
Mutation Operators for Preprocessor-Based Variability
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 81-88
Publisher: ACM, New York, NY, USA
January 2016
Mutation Operators for Preprocessor-Based Variability
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 81-88
Publisher: ACM, New York, NY, USA
January 2016
DOI: | 10.1145/2866614.2866626 |
ISBN: | 978-1-4503-4019-9 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-VaMoS-Al-Hajjaji.pdf |
405.
Rhein,
Alexander;
Thüm,
Thomas;
Schaefer,
Ina;
Liebig,
Jörg;
Apel,
Sven
Variability Encoding: From Compile-Time to Load-Time Variability
J. Logic and Algebraic Methods in Programming (JLAMP) :125-145
January 2016
ISSN: 2352-2208
Variability Encoding: From Compile-Time to Load-Time Variability
J. Logic and Algebraic Methods in Programming (JLAMP) :125-145
January 2016
ISSN: 2352-2208
DOI: | 10.1016/j.jlamp.2015.06.007 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-JLAMP-Rhein.pdf |
404.
Thüm,
Thomas;
Winkelmann,
Tim;
Schröter,
Reimar;
Hentschel,
Martin;
Krüger,
Stefan
Variability Hiding in Contracts for Dependent Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 97-104
Publisher: ACM, New York, NY, USA
January 2016
Variability Hiding in Contracts for Dependent Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 97-104
Publisher: ACM, New York, NY, USA
January 2016
DOI: | 10.1145/2866614.2866628 |
ISBN: | 978-1-4503-4019-9 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2016/2016-VaMoS-Thuem.pdf |
2015
403.
Vogel-Heuser,
Birgit;
Fay,
Alexander;
Schaefer,
Ina;
Tichy,
Matthias
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software, 110 :54-84
December 2015
Publisher: Elsevier
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software, 110 :54-84
December 2015
Publisher: Elsevier
DOI: | 10.1016/j.jss.2015.08.026 |
402.
Maro,
Salome;
Steghöfer,
Jan-Philipp;
Anjorin,
Anthony;
Tichy,
Matthias;
Gelin,
Lars
On Integrating Graphical and Textual Editors for a UML Based Domain Specific Language - An Industrial Experience
Proc. of 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
October 2015
On Integrating Graphical and Textual Editors for a UML Based Domain Specific Language - An Industrial Experience
Proc. of 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
October 2015
DOI: | 10.1145/2814251.2814253 |
401.
Vogel-Heuser,
Birgit;
Rösch,
Susanne;
Martini,
Antonio;
Tichy,
Matthias
Technical Debt in Automated Production Systems
Proc. of the 7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany
October 2015
Technical Debt in Automated Production Systems
Proc. of the 7th International Workshop on Managing Technical Debt, October 2nd, Bremen, Germany
October 2015
DOI: | 10.1109/MTD.2015.7332624 |
400.
Ochoa,
Lina;
Gonzalez-Rojas,
Oscar;
Thüm,
Thomas
Using Decision Rules for Solving Conflicts in Extended Feature Models
Proc. Int'l Conf. on Software Language Engineering (SLE), Page 149-160
Publisher: ACM, New York, NY, USA
October 2015
Using Decision Rules for Solving Conflicts in Extended Feature Models
Proc. Int'l Conf. on Software Language Engineering (SLE), Page 149-160
Publisher: ACM, New York, NY, USA
October 2015
ISBN: | 978-1-4503-3686-4 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-SLE-Ochoa.pdf |
399.
Gall,
Daniel;
Frühwirth,
Thom
A Formal Semantics for the Cognitive Architecture ACT-R
, Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)Volume8981
Publisher: Springer LNCS
September 2015
A Formal Semantics for the Cognitive Architecture ACT-R
, Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)Volume8981
Publisher: Springer LNCS
September 2015
DOI: | 10.1007/978-3-319-17822-6_5 |
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/act-r-semantics-2015.pdf |
398.
Sharaf,
Nada;
Abdennadher,
Slim;
Frühwirth,
Thom
CHRAnimation: An Animation Tool for Constraint Handling Rules
, Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)Volume8981
Publisher: Springer LNCS
September 2015
CHRAnimation: An Animation Tool for Constraint Handling Rules
, Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014)Volume8981
Publisher: Springer LNCS
September 2015
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/chr-animation-2015.pdf |
397.
Zaki,
Amira;
Abdennadher,
Slim;
Frühwirth,
Thom
Combining Forward and Backward Propagation
10th International Symposium on Frontiers of Combining Systems (FroCoS'15)
September 2015
Combining Forward and Backward Propagation
10th International Symposium on Frontiers of Combining Systems (FroCoS'15)
September 2015
DOI: | 10.1007/978-3-319-24246-0_19 |
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/zaki-frocos-2015.pdf |
396.
Liebel,
Grischa;
Tichy,
Matthias
Comparing Comprehensibility of Modelling Languages for SpecifyingBehavioural Requirements
Proc. of the First International Workshop on Human Factors in Modeling (HuFaMo’15) at MODELS 2015, September 28th, Ottawa, Canada
September 2015
Comparing Comprehensibility of Modelling Languages for SpecifyingBehavioural Requirements
Proc. of the First International Workshop on Human Factors in Modeling (HuFaMo’15) at MODELS 2015, September 28th, Ottawa, Canada
September 2015
395.
Frühwirth,
Thom
Constraint Handling Rules - What Else?
Invited Survey Paper, The 9th International Web Rule Symposium (RuleML)
August 2015
Constraint Handling Rules - What Else?
Invited Survey Paper, The 9th International Web Rule Symposium (RuleML)
August 2015
DOI: | 10.1007/978-3-319-21542-6_2 |
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/ruleML-keynote-chr-survey-15.pdf |
394.
Frühwirth,
Thom
A Devil's Advocate against Termination of Direct Recursion
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
July 2015
A Devil's Advocate against Termination of Direct Recursion
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
July 2015
File: | http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/drafts/devils-advocate-ppdp-15.pdf |
393.
Gall,
Daniel;
Frühwirth,
Thom
A Refined Operational Semantics for ACT-R
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
July 2015
A Refined Operational Semantics for ACT-R
ACM 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Siena, Italy
July 2015
DOI: | 10.1145/2790449.2790517 |
392.
Sharaf,
Nada;
Abdennadher,
Slim;
Frühwirth,
Thom
DiagrammaticCHR: A Diagrammatic Representation of CHR Program
19th International Conference Information Visualisation (iV2015)
Publisher: IEEE Digital Library
July 2015
DiagrammaticCHR: A Diagrammatic Representation of CHR Program
19th International Conference Information Visualisation (iV2015)
Publisher: IEEE Digital Library
July 2015
DOI: | 10.1109/iV.2015.31 |
391.
Dahl,
Veronica;
Tessaris,
Sergio;
Frühwirth,
Thom
Imperfect Querying through Womb Grammars plus Ontologies
Workshop Ontologies and Logic Programming for Query Answering (ONTOLP'15) at IJCAI-2015, Buenos Aires
July 2015
Imperfect Querying through Womb Grammars plus Ontologies
Workshop Ontologies and Logic Programming for Query Answering (ONTOLP'15) at IJCAI-2015, Buenos Aires
July 2015
DOI: | 10.1109/iV.2015.31 |
390.
Schröter,
Reimar;
Krieter,
Sebastian;
Thüm,
Thomas;
Benduhn,
Fabian;
Saake,
Gunter
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
May 2015
Feature-Model Interfaces for Compositional Analyses
Germany
Technical Report FIN-001-2015
May 2015
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-TR-Schroeter.pdf |
389.
Gall,
Daniel;
Frühwirth,
Thom
An Adaptable Implementation of ACT-R with Refraction in Constraint Handling Rules
13th International Conference on Cognitive Modeling (ICCM), Groningen
April 2015
An Adaptable Implementation of ACT-R with Refraction in Constraint Handling Rules
13th International Conference on Cognitive Modeling (ICCM), Groningen
April 2015
388.
Thüm,
Thomas;
Apel,
Sven;
Kästner,
Christian;
Schaefer,
Ina;
Saake,
Gunter
Analysis Strategies for Software Product Lines: A Classification and Survey
Proc. Software Engineering (SE), Page 57-58
Publisher: Gesellschaft für Informatik, Bonn, Germany
March 2015
Analysis Strategies for Software Product Lines: A Classification and Survey
Proc. Software Engineering (SE), Page 57-58
Publisher: Gesellschaft für Informatik, Bonn, Germany
March 2015
ISBN: | 978-3-88579-633-6 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-SE-Thuem.pdf |
387.
Nassal,
Alexander
Projektmanagement spielend lernen
In Axel Schmolitzky and Anna Sabine Hauptmann, Editor, Tagungsband des 14. Workshops ''Software Engineering im Unterricht der Hochschulen" 2015Volume1332fromCEUR Workshop Proceedings, Page 53-64
14. Workshops "Software Engineering im Unterricht der Hochschulen"
Dresden, Deutschland
26. - 27. Februar 2015
In Axel Schmolitzky and Anna Sabine Hauptmann, Editor
Publisher: CEUR-WS.org
February 2015
Projektmanagement spielend lernen
In Axel Schmolitzky and Anna Sabine Hauptmann, Editor, Tagungsband des 14. Workshops ''Software Engineering im Unterricht der Hochschulen" 2015Volume1332fromCEUR Workshop Proceedings, Page 53-64
14. Workshops "Software Engineering im Unterricht der Hochschulen"
Dresden, Deutschland
26. - 27. Februar 2015
In Axel Schmolitzky and Anna Sabine Hauptmann, Editor
Publisher: CEUR-WS.org
February 2015
386.
Benduhn,
Fabian;
Thüm,
Thomas;
Lochau,
Malte;
Leich,
Thomas;
Saake,
Gunter
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 80:80-80:87
Publisher: ACM, New York, NY, USA
January 2015
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 80:80-80:87
Publisher: ACM, New York, NY, USA
January 2015
DOI: | 10.1145/2701319.2701332 |
ISBN: | 978-1-4503-3273-6 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2015/2015-VaMoS-Benduhn.pdf |
385.
Krieter,
Sebastian;
Schröter,
Reimar;
Fenske,
Wolfram;
Saake,
Gunter
Use-Case-Specific Source-Code Documentation for Feature-Oriented Programming
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27:27-27:34
Publisher: ACM, New York, NY, USA
January 2015
Use-Case-Specific Source-Code Documentation for Feature-Oriented Programming
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27:27-27:34
Publisher: ACM, New York, NY, USA
January 2015
ISBN: | 978-1-4503-3273-6 |
2014
384.
Betz,
Hariolf;
Frühwirth (editor),
Thom;
Schöning (editor),
Uwe
A Unified Analytical Foundation for Constraint Handling Rules
Publisher: BOD
December 2014
A Unified Analytical Foundation for Constraint Handling Rules
Publisher: BOD
December 2014
ISBN: | 9783734732508 |
383.
Nassal,
Alexander;
Dausend,
Marcel
A Board Game for Education Purposes in Software Engineering
European Conference Software Engineering Education (ECSEE)
November 2014
A Board Game for Education Purposes in Software Engineering
European Conference Software Engineering Education (ECSEE)
November 2014
382.
Kowalski,
Robert;
Frühwirth (editor),
Thom
Logic for Problem Solving, Revisited
Publisher: BOD
November 2014
Logic for Problem Solving, Revisited
Publisher: BOD
November 2014
ISBN: | 9783837036299 |
381.
Sharaf,
Nada;
Abdennadher,
Slim;
Frühwirth,
Thom
A Visualization Tool for Constraint Handling Rules
24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014), Canterbury, UK
September 2014
A Visualization Tool for Constraint Handling Rules
24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2014), Canterbury, UK
September 2014
380.
Meinicke,
Jens;
Thüm,
Thomas;
Schröter,
Reimar;
Benduhn,
Fabian;
Saake,
Gunter
An Overview on Analysis Tools for Software Product Lines
Proc. Workshop on Software Product Line Analysis Tools (SPLat), Page 94-101
Publisher: ACM, New York, NY, USA
September 2014
An Overview on Analysis Tools for Software Product Lines
Proc. Workshop on Software Product Line Analysis Tools (SPLat), Page 94-101
Publisher: ACM, New York, NY, USA
September 2014
DOI: | 10.1145/2647908.2655972 |
ISBN: | 978-1-4503-2739-8 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLatools-Meinicke.pdf |
379.
Schröter,
Reimar;
Siegmund,
Norbert;
Thüm,
Thomas;
Saake,
Gunter
Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 102-111
Publisher: ACM, New York, NY, USA
September 2014
Feature-Context Interfaces: Tailored Programming Interfaces for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 102-111
Publisher: ACM, New York, NY, USA
September 2014
DOI: | 10.1145/2648511.2648522 |
ISBN: | 978-1-4503-2740-4 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLC-Schroeter.pdf |
378.
Thüm,
Thomas;
Meinicke,
Jens;
Benduhn,
Fabian;
Hentschel,
Martin;
Rhein,
Alexander;
Saake,
Gunter
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 177-186
Publisher: ACM, New York, NY, USA
September 2014
Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 177-186
Publisher: ACM, New York, NY, USA
September 2014
DOI: | 10.1145/2648511.2648530 |
ISBN: | 978-1-4503-2740-4 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLC-Thuem.pdf |
377.
Al-Hajjaji,
Mustafa;
Thüm,
Thomas;
Meinicke,
Jens;
Lochau,
Malte;
Saake,
Gunter
Similarity-Based Prioritization in Software Product-Line Testing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 197-206
Publisher: ACM, New York, NY, USA
September 2014
Similarity-Based Prioritization in Software Product-Line Testing
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 197-206
Publisher: ACM, New York, NY, USA
September 2014
DOI: | 10.1145/2648511.2648532 |
ISBN: | 978-1-4503-2740-4 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SPLC-Al-Hajjaji.pdf |
376.
Gall,
Daniel;
Frühwirth,
Thom
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014)Volume14(4-5), Page 525-538
Publisher: Cambridge University Press
July 2014
Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R
, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014)Volume14(4-5), Page 525-538
Publisher: Cambridge University Press
July 2014
375.
Nogatz,
Falco;
Frühwirth,
Thom
From XML Schema to JSON Schema: Translation with CHR
11th Workshop on Constraint Handling Rules (CHR 2014), Vienna
July 2014
From XML Schema to JSON Schema: Translation with CHR
11th Workshop on Constraint Handling Rules (CHR 2014), Vienna
July 2014
374.
Saad,
Aya;
Frühwirth,
Thom;
Gervet,
Carmen
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information
, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014)Volume14(4-5), Page 461-475
Publisher: Cambridge University Press
July 2014
The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information
, Selected Papers of the 30th International Conference on Logic Programming (ICLP 2014)Volume14(4-5), Page 461-475
Publisher: Cambridge University Press
July 2014
DOI: | 10.1017/S1471068414000143 |
373.
Thüm,
Thomas;
Apel,
Sven;
Kästner,
Christian;
Schaefer,
Ina;
Saake,
Gunter
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Computing Surveys (CSUR) :6:1-6:45
June 2014
Publisher: ACM
ISSN: 0360-0300
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Computing Surveys (CSUR) :6:1-6:45
June 2014
Publisher: ACM
ISSN: 0360-0300
DOI: | 10.1145/2580950 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-CSUR-Thuem.pdf |
372.
Nassal,
Alexander
A general framework for software project management simulation games
9th Iberian Conference on Information Systems and Technologies (CISTI)
June 2014
A general framework for software project management simulation games
9th Iberian Conference on Information Systems and Technologies (CISTI)
June 2014
DOI: | 10.1109/CISTI.2014.6877074 |
371.
Tsang,
Edward
Foundations of Constraint Satisfaction
In Thom Frühwirth, Editor
Publisher: BOD
May 2014
Foundations of Constraint Satisfaction
In Thom Frühwirth, Editor
Publisher: BOD
May 2014
ISBN: | 9783735723666 |
370.
Carlsson,
Mats;
Frühwirth (editor),
Thom
SICStus Prolog User's Manual 4.3
May 2014
Publisher: BOD
SICStus Prolog User's Manual 4.3
May 2014
Publisher: BOD
ISBN: | 9783735737441 |
369.
Wielemaker,
Jan;
Frühwirth,
Thom;
Koninck,
Leslie De;
Triska,
Markus;
Uneson,
Marcus
SWI Prolog Reference Manual 7.1
May 2014
Publisher: BOD
SWI Prolog Reference Manual 7.1
May 2014
Publisher: BOD
ISBN: | 9783735738035 |
368.
Rebelo,
Henrique;
Leavens,
Gary T.;
Bagherzadeh,
Mehdi;
Rajan,
Hridesh;
Lima,
Ricardo;
Zimmerman,
Daniel M.;
Cornelio,
Marcio;
Thüm,
Thomas
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 157-168
Publisher: ACM, New York, NY, USA
April 2014
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 157-168
Publisher: ACM, New York, NY, USA
April 2014
DOI: | 10.1145/2577080.2577084 |
ISBN: | 978-1-4503-2772-5 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-AOSD-Rebelo.pdf |
367.
Rebelo,
Henrique;
Leavens,
Gary T.;
Bagherzadeh,
Mehdi;
Rajan,
Hridesh;
Lima,
Ricardo;
Zimmerman,
Daniel M.;
Cornelio,
Marcio;
Thüm,
Thomas
Modularizing Crosscutting Contracts With AspectJML
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 21-24
Publisher: ACM, New York, NY, USA
April 2014
Modularizing Crosscutting Contracts With AspectJML
Proc. Int'l Conf. on Aspect-Oriented Software Development (AOSD), Page 21-24
Publisher: ACM, New York, NY, USA
April 2014
DOI: | 10.1145/2584469.2584476 |
ISBN: | 978-1-4503-2772-5 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-AOSD-Rebelo-Demo.pdf |
366.
Thüm,
Thomas
Modular Reasoning for Crosscutting Concerns With Contracts
Proc. Software Engineering (SE), Page 65-66
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2014
Modular Reasoning for Crosscutting Concerns With Contracts
Proc. Software Engineering (SE), Page 65-66
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2014
ISBN: | 978-388579-621-3 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SE-Thuem.pdf |
365.
[English]
Dausend,
Marcel;
Raschke,
Alexander
<prt>Introducing Aspect–Oriented Specification for Abstract State Machines</prt>
In Ait Ameur, Yamine and Schewe, Klaus-Dieter, Editor, Abstract State Machines, Alloy, B, TLA, VDM, and Z Volume 8477 from Lecture Notes in Computer Science
Page 174-187
Publisher: Springer Berlin Heidelberg
2014
174-187
<prt>Introducing Aspect–Oriented Specification for Abstract State Machines</prt>
In Ait Ameur, Yamine and Schewe, Klaus-Dieter, Editor, Abstract State Machines, Alloy, B, TLA, VDM, and Z Volume 8477 from Lecture Notes in Computer Science
Page 174-187
Publisher: Springer Berlin Heidelberg
2014
174-187
DOI: | 10.1007/978-3-662-43652-3_15 |
ISBN: | 978-3-662-43651-6 |
364.
Fenske,
Wolfram;
Thüm,
Thomas;
Saake,
Gunter
A Taxonomy of Software Product Line Reengineering
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 4:1-4:8
Publisher: ACM, New York, NY, USA
January 2014
A Taxonomy of Software Product Line Reengineering
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 4:1-4:8
Publisher: ACM, New York, NY, USA
January 2014
DOI: | 10.1145/2556624.2556643 |
ISBN: | 978-1-4503-2556-1 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-VaMoS-Fenske.pdf |
363.
Thüm,
Thomas;
Kästner,
Christian;
Benduhn,
Fabian;
Meinicke,
Jens;
Saake,
Gunter;
Leich,
Thomas
FeatureIDE: An Extensible Framework for Feature-Oriented Software Development
Science of Computer Programming (SCP) :70-85
January 2014
ISSN: 0167-6423
FeatureIDE: An Extensible Framework for Feature-Oriented Software Development
Science of Computer Programming (SCP) :70-85
January 2014
ISSN: 0167-6423
DOI: | 10.1016/j.scico.2012.06.002 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2014/2014-SCP-Thuem.pdf |
2013
362.
Siegmund,
Janet;
Thüm,
Thomas;
Schulze,
Sandro;
Jürgens,
Elmar
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft für Informatik, Page 234
Publisher: Gesellschaft für Informatik
September 2013
Agile Methoden im Softwareprojekt
Jahrestagung der Gesellschaft für Informatik, Page 234
Publisher: Gesellschaft für Informatik
September 2013
ISBN: | 978-3-88579-614-5 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-Informatik-Siegmund.pdf |
361.
Rebelo,
Henrique;
Leavens,
Gary T.;
Bagherzadeh,
Mehdi;
Rajan,
Hridesh;
Lima,
Ricardo;
Zimmerman,
Daniel M.;
Cornelio,
Marcio;
Thüm,
Thomas
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts (Technical Report)
Orlando, FL, USA
Technical Report CS-TR-13-07
September 2013
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts (Technical Report)
Orlando, FL, USA
Technical Report CS-TR-13-07
September 2013
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-TR-Rebelo.pdf |
360.
Apel,
Sven;
Rhein,
Alexander;
Thüm,
Thomas;
Kästner,
Christian
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
August 2013
Publisher: Elsevier North-Holland, Inc.
ISSN: 1389-1286
Feature-Interaction Detection Based on Feature-Based Specifications
Computer Networks :2399-2409
August 2013
Publisher: Elsevier North-Holland, Inc.
ISSN: 1389-1286
DOI: | 10.1016/j.comnet.2013.02.025 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-ComNet-Apel.pdf |
359.
Sneyers,
Jon;
Schreye,
Daniel De;
Frühwirth,
Thom
Probabilistic Legal Reasoning in CHRiSM
, Selected Papers of the 29th International Conference on Logic Programming (ICLP 2013)Volume13, 4-5-Online-Supplement
Publisher: Cambridge University Press
August 2013
Probabilistic Legal Reasoning in CHRiSM
, Selected Papers of the 29th International Conference on Logic Programming (ICLP 2013)Volume13, 4-5-Online-Supplement
Publisher: Cambridge University Press
August 2013
358.
Zaki,
Amira;
Frühwirth,
Thom;
Abdennadher,
Slim
Towards Inverse Execution of Constraint Handling Rules
Theory and Practice of Logic Programming, 13 (4-5-Online-Supplement)
August 2013
Publisher: Cambridge University Press
Towards Inverse Execution of Constraint Handling Rules
Theory and Practice of Logic Programming, 13 (4-5-Online-Supplement)
August 2013
Publisher: Cambridge University Press
357.
Schröter,
Reimar;
Siegmund,
Norbert;
Thüm,
Thomas
Towards Modular Analysis of Multi Product Lines
Proc. Int'l Workshop on Multi Product Line Engineering (MultiPLE), Page 96-99
Publisher: ACM, New York, NY, USA
August 2013
Towards Modular Analysis of Multi Product Lines
Proc. Int'l Workshop on Multi Product Line Engineering (MultiPLE), Page 96-99
Publisher: ACM, New York, NY, USA
August 2013
DOI: | 10.1145/2499777.2500719 |
ISBN: | 978-1-4503-2325-3 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-MultiPLE-Schroeter.pdf |
356.
Zaki,
Amira;
Rau,
Matthias;
Frühwirth,
Thom
CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor
July 2013
CHR-IDE: An Eclipse Plug-In for Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor
July 2013
355.
Sneyers,
Jon;
Schreye,
Daniel De;
Frühwirth,
Thom
CHRiSM and Probabilistic Argumentation Logic
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor
July 2013
CHRiSM and Probabilistic Argumentation Logic
In Henning Christiansen and Jon Sneyers, Editor, CHR 2013: Proc. 10th Workshop on Constraint Handling Rules
In Henning Christiansen and Jon Sneyers, Editor
July 2013
354.
Thüm,
Thomas
Product-Line Verification With Feature-Oriented Contracts
Proc. Int'l Symposium on Software Testing and Analysis (ISSTA), Page 374-377
Publisher: ACM, New York, NY, USA
July 2013
Product-Line Verification With Feature-Oriented Contracts
Proc. Int'l Symposium on Software Testing and Analysis (ISSTA), Page 374-377
Publisher: ACM, New York, NY, USA
July 2013
DOI: | 10.1145/2483760.2492396 |
ISBN: | 978-1-4503-2159-4 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-ISSTA-Thuem.pdf |
353.
Thüm,
Thomas;
Apel,
Sven;
Zelend,
Andreas;
Schröter,
Reimar;
Möller,
Bernhard
Subclack: Feature-Oriented Programming With Behavioral Feature Interfaces
Proc. Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI), Page 1-8
Publisher: ACM, New York, NY, USA
July 2013
Subclack: Feature-Oriented Programming With Behavioral Feature Interfaces
Proc. Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI), Page 1-8
Publisher: ACM, New York, NY, USA
July 2013
DOI: | 10.1145/2489828.2489829 |
ISBN: | 978-1-4503-2046-7 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-MASPEGHI-Thuem.pdf |
352.
Dausend,
Marcel;
Müller,
Markus;
Stegmaier,
Michael
An advanced Editor and Debugger for CoreASM
Universität Ulm
March 2013
An advanced Editor and Debugger for CoreASM
Universität Ulm
March 2013
351.
Betz,
Hariolf;
Frühwirth,
Thom
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL), 14:1 :1-37
February 2013
Publisher: ACM
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
ACM Transactions on Computational Logic (TOCL), 14:1 :1-37
February 2013
Publisher: ACM
350.
Schröter,
Reimar;
Thüm,
Thomas;
Siegmund,
Norbert;
Saake,
Gunter
Automated Analysis of Dependent Feature Models
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 9:1-9:5
Publisher: ACM, New York, NY, USA
January 2013
Automated Analysis of Dependent Feature Models
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 9:1-9:5
Publisher: ACM, New York, NY, USA
January 2013
DOI: | 10.1145/2430502.2430515 |
ISBN: | 978-1-4503-1541-8 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-VaMoS-Schroeter.pdf |
349.
Rhein,
Alexander;
Apel,
Sven;
Kästner,
Christian;
Thüm,
Thomas;
Schaefer,
Ina
The PLA Model: On the Combination of Product-Line Analyses
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 14:1-14:8
Publisher: ACM, New York, NY, USA
January 2013
The PLA Model: On the Combination of Product-Line Analyses
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 14:1-14:8
Publisher: ACM, New York, NY, USA
January 2013
DOI: | 10.1145/2430502.2430522 |
ISBN: | 978-1-4503-1541-8 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2013/2013-VaMoS-Rhein.pdf |
2012
348.
Saad,
Aya;
Gervet,
Carmen;
Frühwirth,
Thom
CDF-Intervals Revisited
The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012)
October 2012
CDF-Intervals Revisited
The Eleventh International Workshop on Constraint Modelling and Reformulation (ModRef 2012)
October 2012
347.
Thüm,
Thomas;
Schaefer,
Ina;
Apel,
Sven;
Hentschel,
Martin
Family-Based Deductive Verification of Software Product Lines
Proc. Int'l Conf. on Generative Programming and Component Engineering (GPCE), Page 11-20
Publisher: ACM, New York, NY, USA
September 2012
Family-Based Deductive Verification of Software Product Lines
Proc. Int'l Conf. on Generative Programming and Component Engineering (GPCE), Page 11-20
Publisher: ACM, New York, NY, USA
September 2012
DOI: | 10.1145/2371401.2371404 |
ISBN: | 978-1-4503-1129-8 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-GPCE-Thuem.pdf |
346.
Zaki,
Amira;
Frühwirth,
Thom;
Geller,
Ilvar
Parallel Execution of <prt>C</prt>onstraint <prt>H</prt>andling <prt>R</prt>ules on a <prt>G</prt>raphical <prt>P</prt>rocessing <prt>U</prt>nit
CHR '12: Proc. 9th Workshop on Constraint Handling Rules, Page 82-90
September 2012
Parallel Execution of <prt>C</prt>onstraint <prt>H</prt>andling <prt>R</prt>ules on a <prt>G</prt>raphical <prt>P</prt>rocessing <prt>U</prt>nit
CHR '12: Proc. 9th Workshop on Constraint Handling Rules, Page 82-90
September 2012
345.
Proceedings of the 4th International Workshop on Feature-Oriented Software Development (FOSD)
In Ina Schaefer and Thomas Thüm, Editor
Publisher: ACM, New York, NY, USA
September 2012
DOI: | 10.1145/2377816 |
ISBN: | 978-1-4503-1309-4 |
344.
Sneyers,
Jon;
Frühwirth,
Thom
Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012)
Volume Report CW 624
Leuven, Belgium
Department of Computer Science, Katholieke Universiteit Leuven
September 2012
Proceedings of the 9th International Workshop on Constraint Handling Rules (CHR 2012)
Volume Report CW 624
Leuven, Belgium
Department of Computer Science, Katholieke Universiteit Leuven
September 2012
343.
Bolock,
Alia El;
Zaki,
Amira;
Frühwirth,
Thom
Substitution-based CHR Solver for Bivariate Binomial Equation Sets
CHR 2012: Ninth International Workshop on Constraint Handling Rules
September 2012
Substitution-based CHR Solver for Bivariate Binomial Equation Sets
CHR 2012: Ninth International Workshop on Constraint Handling Rules
September 2012
342.
Wielemaker,
Jan;
Frühwirth,
Thom;
Koninck,
Leslie De;
Triska,
Markus;
Uneson,
Marcus
SWI Prolog Reference Manual 6.2.2
September 2012
Publisher: Books On Demand
SWI Prolog Reference Manual 6.2.2
September 2012
Publisher: Books On Demand
ISBN: | 978-3-84-822617-7 |
341.
Kästner,
Christian;
Apel,
Sven;
Thüm,
Thomas;
Saake,
Gunter
Type Checking Annotation-Based Product Lines
Trans. on Software Engineering and Methodology (TOSEM) :14:1-14:39
July 2012
Publisher: ACM
ISSN: 1049-331X
Type Checking Annotation-Based Product Lines
Trans. on Software Engineering and Methodology (TOSEM) :14:1-14:39
July 2012
Publisher: ACM
ISSN: 1049-331X
DOI: | 10.1145/2211616.2211617 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-TOSEM-Kaestner.pdf |
340.
Thüm,
Thomas
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Page 75-82
Publisher: University of Magdeburg, Germany
July 2012
Verification of Software Product Lines Using Contracts
Doktorandentagung Magdeburger-Informatik-Tage (MIT), Page 75-82
Publisher: University of Magdeburg, Germany
July 2012
ISBN: | 978-3-940961-73-0 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-MIT-Thuem.pdf |
339.
Breckel,
Alexander
Error Mining: Bug Detection through Comparison with Large Code Databases
Proceedings of the 9th International Working Conference on Mining Software Repositories
June 2012
Error Mining: Bug Detection through Comparison with Large Code Databases
Proceedings of the 9th International Working Conference on Mining Software Repositories
June 2012
DOI: | 10.1109/MSR.2012.6224278 |
338.
Thüm,
Thomas;
Apel,
Sven;
Kästner,
Christian;
Kuhlemann,
Martin;
Schaefer,
Ina;
Saake,
Gunter
Analysis Strategies for Software Product Lines
Germany
Technical Report FIN-004-2012
April 2012
Analysis Strategies for Software Product Lines
Germany
Technical Report FIN-004-2012
April 2012
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-TR-Thuem.pdf |
337.
Thüm,
Thomas;
Schaefer,
Ina;
Kuhlemann,
Martin;
Apel,
Sven;
Saake,
Gunter
Applying Design by Contract to Feature-Oriented Programming
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 255-269
Publisher: Springer, Berlin, Heidelberg
March 2012
Applying Design by Contract to Feature-Oriented Programming
Proc. Int'l Conf. on Fundamental Approaches to Software Engineering (FASE), Page 255-269
Publisher: Springer, Berlin, Heidelberg
March 2012
DOI: | 10.1007/978-3-642-28872-2_18 |
ISBN: | 978-3-642-28871-5 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-FASE-Thuem.pdf |
336.
Thüm,
Thomas;
Schulze,
Sandro;
Pukall,
Mario;
Saake,
Gunter;
Günther,
Sebastian
Secure and Customizable Data Management for Automotive Systems: A Feasibility Study
ISRN Software Engineering
March 2012
Secure and Customizable Data Management for Automotive Systems: A Feasibility Study
ISRN Software Engineering
March 2012
DOI: | 10.5402/2012/424230 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-ISRN-Thuem.pdf |
335.
Guttmann,
Walter
Algebras for Iteration and Infinite Computations
Acta Informatica
2012
Algebras for Iteration and Infinite Computations
Acta Informatica
2012
DOI: | 10.1007/s00236-012-0162-2 |
334.
Triossi,
Andrea;
Orlando,
Salvatore;
Raffaetà,
Alessandra;
Frühwirth,
Thom
Compiling CHR to Parallel Hardware
Proceedings of the 14th Symposium on Principles and Practice of Declarative ProgrammingfromPPDP '12, Page 173--184
Publisher: ACM, New York, NY, USA
2012
Compiling CHR to Parallel Hardware
Proceedings of the 14th Symposium on Principles and Practice of Declarative ProgrammingfromPPDP '12, Page 173--184
Publisher: ACM, New York, NY, USA
2012
DOI: | 10.1145/2370776.2370798 |
ISBN: | 978-1-4503-1522-7 |
333.
Dausend,
Marcel;
Stegmaier,
Michael;
Raschke,
Alexander
Debugging Abstract State Machine Specifications: An Extension of CoreASM
Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012
2012
Debugging Abstract State Machine Specifications: An Extension of CoreASM
Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012
2012
ISBN: | 978-88-7958-008-3 |
File: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ_2012_Stegmaier_Debugger.pdf |
332.
Thüm,
Thomas;
Benduhn,
Fabian
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
January 2012
Entwicklung von Softwarevarianten mit FeatureIDE
Eclipse Magazin :94-97
January 2012
331.
Guttmann,
Walter
Extended Designs Algebraically
Science of Computer Programming
2012
Extended Designs Algebraically
Science of Computer Programming
2012
DOI: | 10.1016/j.scico.2012.07.009 |
330.
Guttmann,
Walter
Typing Theorems of Omega Algebra
Journal of Logic and Algebraic Programming
2012
Typing Theorems of Omega Algebra
Journal of Logic and Algebraic Programming
2012
DOI: | 10.1016/j.jlap.2012.05.002 |
329.
Guttmann,
Walter
Unifying Correctness Statements
In Gibbons, J. and Nogueira, P., Editor, Mathematics of Program ConstructionVolume7342fromLecture Notes in Computer Science, Page 198-219
In Gibbons, J. and Nogueira, P., Editor
Publisher: Springer-Verlag
2012
Unifying Correctness Statements
In Gibbons, J. and Nogueira, P., Editor, Mathematics of Program ConstructionVolume7342fromLecture Notes in Computer Science, Page 198-219
In Gibbons, J. and Nogueira, P., Editor
Publisher: Springer-Verlag
2012
DOI: | 10.1007/978-3-642-31113-0_11 |
328.
Guttmann,
Walter
Unifying Lazy and Strict Computations
In Griffin, T. G. and Kahl, W., Editor, Relational and Algebraic Methods in Computer SciencefromLecture Notes in Computer Science
In Griffin, T. G. and Kahl, W., Editor
Publisher: Springer-Verlag
2012
Unifying Lazy and Strict Computations
In Griffin, T. G. and Kahl, W., Editor, Relational and Algebraic Methods in Computer SciencefromLecture Notes in Computer Science
In Griffin, T. G. and Kahl, W., Editor
Publisher: Springer-Verlag
2012
DOI: | 10.1007/978-3-642-33314-9_2 |
327.
Schulze,
Sandro;
Thüm,
Thomas;
Kuhlemann,
Martin;
Saake,
Gunter
Variant-Preserving Refactoring in Feature-Oriented Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 73-81
Publisher: ACM, New York, NY, USA
January 2012
Variant-Preserving Refactoring in Feature-Oriented Software Product Lines
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 73-81
Publisher: ACM, New York, NY, USA
January 2012
DOI: | 10.1145/2110147.2110156 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2012/2012-VaMoS-Schulze.pdf |
2011
326.
Thüm,
Thomas;
Schulze,
Sandro;
Pukall,
Mario;
Saake,
Gunter;
Günther,
Sebastian
AutoDaMa: On the Feasibility of Secure and Tailor-made Automotive Data Management
Germany
Technical Report FIN-008-2011
November 2011
AutoDaMa: On the Feasibility of Secure and Tailor-made Automotive Data Management
Germany
Technical Report FIN-008-2011
November 2011
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-TR-Thuem.pdf |
325.
Thüm,
Thomas;
Kästner,
Christian;
Erdweg,
Sebastian;
Siegmund,
Norbert
Abstract Features in Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 191-200
Publisher: IEEE, Washington, DC, USA
August 2011
Abstract Features in Feature Modeling
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 191-200
Publisher: IEEE, Washington, DC, USA
August 2011
DOI: | 10.1109/SPLC.2011.53 |
ISBN: | 978-0-7695-4487-8 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-SPLC-Thuem.pdf |
324.
Scholz,
Wolfgang;
Thüm,
Thomas;
Apel,
Sven;
Lengauer,
Christian
Automatic Detection of Feature Interactions Using the Java Modeling Language: An Experience Report
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 7:1-7:8
Publisher: ACM, New York, NY, USA
August 2011
Automatic Detection of Feature Interactions Using the Java Modeling Language: An Experience Report
Proc. Int'l Workshop on Feature-Oriented Software Development (FOSD), Page 7:1-7:8
Publisher: ACM, New York, NY, USA
August 2011
DOI: | 10.1145/2019136.2019144 |
ISBN: | 978-1-4503-0789-5 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-FOSD-Scholz.pdf |
323.
Guttmann,
Walter
Fixpoints for General Correctness
Journal of Logic and Algebraic Programming, 80 (6) :248-265
August 2011
Fixpoints for General Correctness
Journal of Logic and Algebraic Programming, 80 (6) :248-265
August 2011
DOI: | 10.1016/j.jlap.2011.04.004 |
322.
Thüm,
Thomas;
Schaefer,
Ina;
Kuhlemann,
Martin;
Apel,
Sven
Proof Composition for Deductive Verification of Software Product Lines
Proc. Int'l Workshop on Variability-Intensive Systems Testing, Validation and Verification (VAST), Page 270-277
Publisher: IEEE, Washington, DC, USA
March 2011
Proof Composition for Deductive Verification of Software Product Lines
Proc. Int'l Workshop on Variability-Intensive Systems Testing, Validation and Verification (VAST), Page 270-277
Publisher: IEEE, Washington, DC, USA
March 2011
DOI: | 10.1109/ICSTW.2011.48 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-VAST-Thuem.pdf |
321.
Dausend,
Marcel;
Poguntke,
Mark
<prt>Ausführbare UML-Modelle multimodaler Interaktionsanwendungen</prt>
<prt>i-com: Zeitschrift für interaktive und kooperative Medien</prt>, 10 (3) :33-39
2011
<prt>Ausführbare UML-Modelle multimodaler Interaktionsanwendungen</prt>
<prt>i-com: Zeitschrift für interaktive und kooperative Medien</prt>, 10 (3) :33-39
2011
320.
Dausend,
Marcel;
Poguntke,
Mark
<prt>Ausführbare UML-Modelle multimodaler Interaktionsanwendungen</prt>
Informatik 2011, Workshop: Modellbasierte Entwicklung von Benutzungsschnittstellen,
Publisher: Berlin
2011
<prt>Ausführbare UML-Modelle multimodaler Interaktionsanwendungen</prt>
Informatik 2011, Workshop: Modellbasierte Entwicklung von Benutzungsschnittstellen,
Publisher: Berlin
2011
319.
Dausend,
Marcel;
Raiser,
Frank
<prt>Model Transformation using Constraint Handling Rules as a basis for Model Interpretation</prt>
<prt>CHR 2011 -- Eighth International Workshop on Constraint Handling Rules</prt>,
2011
<prt>Model Transformation using Constraint Handling Rules as a basis for Model Interpretation</prt>
<prt>CHR 2011 -- Eighth International Workshop on Constraint Handling Rules</prt>,
2011
318.
Dausend,
Marcel
<prt>Towards a UML Profile based on Formal Semantics for Modelling Multimodal Interactive Systems</prt>
<prt>Ulm University</prt>, Ulm
2011
<prt>Towards a UML Profile based on Formal Semantics for Modelling Multimodal Interactive Systems</prt>
<prt>Ulm University</prt>, Ulm
2011
317.
Guttmann,
Walter;
Struth,
G.;
Weber,
T.
A Repository for Tarski-Kleene Algebras
In Höfner, P. and McIver, A. and Struth, G., Editor, Automated Theory EngineeringVolume760fromCEUR Workshop Proceedings, Page 30-39
In Höfner, P. and McIver, A. and Struth, G., Editor
2011
A Repository for Tarski-Kleene Algebras
In Höfner, P. and McIver, A. and Struth, G., Editor, Automated Theory EngineeringVolume760fromCEUR Workshop Proceedings, Page 30-39
In Höfner, P. and McIver, A. and Struth, G., Editor
2011
316.
Langbein,
Johannes;
Stelzer,
Roland;
Frühwirth,
Thom
A Rule-Based Approach to Long-Term Routing for Autonomous Sailboats
In Schlaefer, A. and Blaurock, O., Editor, Robotic Sailing: Proceedings of the 4th International Robotic Sailing Conference, Page 195-204
In Schlaefer, A. and Blaurock, O., Editor
Publisher: Springer-Verlag
2011
A Rule-Based Approach to Long-Term Routing for Autonomous Sailboats
In Schlaefer, A. and Blaurock, O., Editor, Robotic Sailing: Proceedings of the 4th International Robotic Sailing Conference, Page 195-204
In Schlaefer, A. and Blaurock, O., Editor
Publisher: Springer-Verlag
2011
DOI: | 10.1007/978-3-642-22836-0_14 |
315.
Raiser,
Frank;
Frühwirth,
Thom
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming, 11 (1) :65-109
January 2011
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming, 11 (1) :65-109
January 2011
DOI: | 10.1017/S1471068410000438 |
314.
Guttmann,
Walter;
Struth,
Georg;
Weber,
Tjark
Automating Algebraic Methods in Isabelle
In Qin, S. and Qiu, Z., Editor, Formal Methods and Software EngineeringVolume6991fromLecture Notes in Computer Science, Page 617-632
In Qin, S. and Qiu, Z., Editor
Publisher: Springer-Verlag
2011
Automating Algebraic Methods in Isabelle
In Qin, S. and Qiu, Z., Editor, Formal Methods and Software EngineeringVolume6991fromLecture Notes in Computer Science, Page 617-632
In Qin, S. and Qiu, Z., Editor
Publisher: Springer-Verlag
2011
DOI: | 10.1007/978-3-642-24559-6_41 |
313.
Gessenharter,
Dominik;
Rauscher,
Martin
Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development Approach
In France, R. B. and Küster, J. M. and Bordbar, B. and Paige, R. F., Editor, Modelling Foundations and ApplicationsVolume6698fromLecture Notes in Computer Science, Page 205-220
In France, R. B. and Küster, J. M. and Bordbar, B. and Paige, R. F., Editor
Publisher: Springer-Verlag
2011
Code Generation for UML 2 Activity Diagrams: Towards a Comprehensive Model-Driven Development Approach
In France, R. B. and Küster, J. M. and Bordbar, B. and Paige, R. F., Editor, Modelling Foundations and ApplicationsVolume6698fromLecture Notes in Computer Science, Page 205-220
In France, R. B. and Küster, J. M. and Bordbar, B. and Paige, R. F., Editor
Publisher: Springer-Verlag
2011
DOI: | 10.1007/978-3-642-21470-7_15 |
312.
Constraint Handling Rules: Compilation, Execution, and Analysis
In Frühwirth, T. and Raiser, F., Editor
Publisher: Books on Demand
2011
ISBN: | 978-3-83-911591-6 |
311.
Foreword and Appendix
In Frühwirth, T. and Raiser, F., Editor, Constraint Handling Rules: Compilation, Execution, and Analysis
Publisher: Books on Demand
2011
ISBN: | 978-3-83-911591-6 |
310.
Partsch,
Helmuth;
Dausend,
Marcel;
Gessenharter,
Dominik;
Kohlmeyer,
Jens;
Raschke,
Alexander
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development
International Journal of Software and Informatics, 5 (1-2, Part II) :291-312
2011
From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development
International Journal of Software and Informatics, 5 (1-2, Part II) :291-312
2011
309.
Rosenmüller,
Marko;
Siegmund,
Norbert;
Thüm,
Thomas;
Saake,
Gunter
Multi-Dimensional Variability Modeling
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 11-22
Publisher: ACM, New York, NY, USA
January 2011
Multi-Dimensional Variability Modeling
Proc. Int'l Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), Page 11-22
Publisher: ACM, New York, NY, USA
January 2011
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2011/2011-VaMoS-Rosenmueller.pdf |
308.
Guttmann,
Walter
Towards a Typed Omega Algebra
In Swart, H. de, Editor, Relational and Algebraic Methods in Computer ScienceVolume6663fromLecture Notes in Computer Science, Page 196-211
In Swart, H. de, Editor
Publisher: Springer-Verlag
2011
Towards a Typed Omega Algebra
In Swart, H. de, Editor, Relational and Algebraic Methods in Computer ScienceVolume6663fromLecture Notes in Computer Science, Page 196-211
In Swart, H. de, Editor
Publisher: Springer-Verlag
2011
DOI: | 10.1007/978-3-642-21070-9_16 |
2010
307.
Guttmann,
Walter
Imperative Abstractions for Functional Actions
Journal of Logic and Algebraic Programming, 79 (8) :768-793
November 2010
Imperative Abstractions for Functional Actions
Journal of Logic and Algebraic Programming, 79 (8) :768-793
November 2010
DOI: | 10.1016/j.jlap.2010.07.015 |
306.
Betz,
Hariolf;
Raiser,
Frank;
Frühwirth,
Thom
A Complete and Terminating Execution Model for Constraint Handling Rules
Theory and Practice of Logic Programming, 10 (4-6) :597-610
July 2010
A Complete and Terminating Execution Model for Constraint Handling Rules
Theory and Practice of Logic Programming, 10 (4-6) :597-610
July 2010
DOI: | 10.1017/S147106841000030X |
305.
Gessenharter,
Dominik
Extending the UML Semantics for a Better Support of Model Driven Software Development
In Arabnia, H. R. and Reza, H. and Deligiannidis, L. and Cuadrado-Gallego, J. J. and Schmidt, V. and Solo, A. M. G., Editor, Proceedings of the 2010 International Conference on Software Engineering Research and Practice (SERP 2010)Volume1, Page 45-51
In Arabnia, H. R. and Reza, H. and Deligiannidis, L. and Cuadrado-Gallego, J. J. and Schmidt, V. and Solo, A. M. G., Editor
July 2010
Extending the UML Semantics for a Better Support of Model Driven Software Development
In Arabnia, H. R. and Reza, H. and Deligiannidis, L. and Cuadrado-Gallego, J. J. and Schmidt, V. and Solo, A. M. G., Editor, Proceedings of the 2010 International Conference on Software Engineering Research and Practice (SERP 2010)Volume1, Page 45-51
In Arabnia, H. R. and Reza, H. and Deligiannidis, L. and Cuadrado-Gallego, J. J. and Schmidt, V. and Solo, A. M. G., Editor
July 2010
304.
Langbein,
Johannes;
Raiser,
Frank;
Frühwirth,
Thom
A State Equivalence and Confluence Checker for CHR
In Van Weert, P. and De Koninck, L., Editor, Proceedings of the 7th International Workshop on Constraint Handling RulesfromReport, Page 1-7
In Van Weert, P. and De Koninck, L., Editor
Publisher: Departement of Computer Science, Katholieke Universiteit Leuven
May 2010
A State Equivalence and Confluence Checker for CHR
In Van Weert, P. and De Koninck, L., Editor, Proceedings of the 7th International Workshop on Constraint Handling RulesfromReport, Page 1-7
In Van Weert, P. and De Koninck, L., Editor
Publisher: Departement of Computer Science, Katholieke Universiteit Leuven
May 2010
303.
Geiselhart,
Florian;
Raiser,
Frank;
Sneyers,
Jon;
Frühwirth,
Thom
MTSeq: Multi-touch-enabled CHR-based Music Generation and Manipulation
In Van Weert, P. and De Koninck, L., Editor, Proceedings of the 7th International Workshop on Constraint Handling RulesfromReport, Page 41-46
In Van Weert, P. and De Koninck, L., Editor
Publisher: Departement of Computer Science, Katholieke Universiteit Leuven
May 2010
MTSeq: Multi-touch-enabled CHR-based Music Generation and Manipulation
In Van Weert, P. and De Koninck, L., Editor, Proceedings of the 7th International Workshop on Constraint Handling RulesfromReport, Page 41-46
In Van Weert, P. and De Koninck, L., Editor
Publisher: Departement of Computer Science, Katholieke Universiteit Leuven
May 2010
302.
Betz,
Hariolf;
Raiser,
Frank;
Frühwirth,
Thom
Persistent Constraints in Constraint Handling Rules
In Geske, U. and Wolf, A., Editor, Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009, Page 155-166
In Geske, U. and Wolf, A., Editor
Publisher: Universitätsverlag Potsdam
March 2010
Persistent Constraints in Constraint Handling Rules
In Geske, U. and Wolf, A., Editor, Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009, Page 155-166
In Geske, U. and Wolf, A., Editor
Publisher: Universitätsverlag Potsdam
March 2010
301.
Guttmann,
Walter;
Möller,
Bernhard
Normal Design Algebra
Journal of Logic and Algebraic Programming, 79 (2) :144-173
February 2010
Normal Design Algebra
Journal of Logic and Algebraic Programming, 79 (2) :144-173
February 2010
DOI: | 10.1016/j.jlap.2009.07.002 |
300.
Dausend,
Marcel
<prt>Potentials of Unified Modeling Language Profiles in the Field of Human-Computer Interaction</prt>
<prt>International Conference on What Makes Humans Human?</prt>,
Publisher: Ulm, Germany
2010
<prt>Potentials of Unified Modeling Language Profiles in the Field of Human-Computer Interaction</prt>
<prt>International Conference on What Makes Humans Human?</prt>,
Publisher: Ulm, Germany
2010
299.
Dausend,
Marcel;
Poguntke,
Mark
<prt>Spezifikation multimodaler Interaktionsanwendungen mit UML</prt>
<prt>Mensch & Computer</prt>, Page 215--224
Publisher: Oldenbourg Verlag
2010
<prt>Spezifikation multimodaler Interaktionsanwendungen mit UML</prt>
<prt>Mensch & Computer</prt>, Page 215--224
Publisher: Oldenbourg Verlag
2010
298.
Betz,
Hariolf;
Raiser,
Frank;
Frühwirth,
Thom
A Complete and Terminating Execution Model for Constraint Handling Rules
from Ulmer Informatik-Berichte
Document Number: 2010-01
Universität Ulm
January 2010
A Complete and Terminating Execution Model for Constraint Handling Rules
from Ulmer Informatik-Berichte
Document Number: 2010-01
Universität Ulm
January 2010
297.
Guttmann,
Walter
Lazy UTP
In Butterfield, A., Editor, Unifying Theories of Programming, Second International Symposium, UTP 2008Volume5713fromLecture Notes in Computer Science, Page 82-101
In Butterfield, A., Editor
Publisher: Springer-Verlag
2010
Lazy UTP
In Butterfield, A., Editor, Unifying Theories of Programming, Second International Symposium, UTP 2008Volume5713fromLecture Notes in Computer Science, Page 82-101
In Butterfield, A., Editor
Publisher: Springer-Verlag
2010
DOI: | 10.1007/978-3-642-14521-6_6 |
296.
Guttmann,
Walter
Partial, Total and General Correctness
In Bolduc, C. and Desharnais, J. and Ktari, B., Editor, Mathematics of Program ConstructionVolume6120fromLecture Notes in Computer Science, Page 157-177
In Bolduc, C. and Desharnais, J. and Ktari, B., Editor
Publisher: Springer-Verlag
2010
Partial, Total and General Correctness
In Bolduc, C. and Desharnais, J. and Ktari, B., Editor, Mathematics of Program ConstructionVolume6120fromLecture Notes in Computer Science, Page 157-177
In Bolduc, C. and Desharnais, J. and Ktari, B., Editor
Publisher: Springer-Verlag
2010
DOI: | 10.1007/978-3-642-13321-3_11 |
295.
Partsch,
Helmuth
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Publisher: Springer-Verlag
zweite, überarbeitete und erweiterte Edition
2010
Requirements-Engineering systematisch - Modellbildung für softwaregestützte Systeme
Publisher: Springer-Verlag
zweite, überarbeitete und erweiterte Edition
2010
294.
Dausend,
Marcel;
Poguntke,
Mark
Spezifikation multimodaler Interaktionsanwendungen mit UML
In Ziegler, J. and Schmidt, A., Editor, Mensch & Computer 2010, Page 215-224
In Ziegler, J. and Schmidt, A., Editor
Publisher: Oldenbourg
2010
Spezifikation multimodaler Interaktionsanwendungen mit UML
In Ziegler, J. and Schmidt, A., Editor, Mensch & Computer 2010, Page 215-224
In Ziegler, J. and Schmidt, A., Editor
Publisher: Oldenbourg
2010
293.
Gessenharter,
Dominik
UML Activities at Runtime: Experiences of Using Interpreters and Running Generated Code
In Trujillo, J. and Dobbie, G. and Kangassalo, H. and Hartmann, S. and Kirchberg, M. and Rossi, M. and Reinhartz-Berger, I. and Zimányi, E. and Frasincar, F., Editor, Advances in Conceptual Modeling: Applications and ChallengesVolume6413fromLecture Notes in Computer Science, Page 275-284
In Trujillo, J. and Dobbie, G. and Kangassalo, H. and Hartmann, S. and Kirchberg, M. and Rossi, M. and Reinhartz-Berger, I. and Zimányi, E. and Frasincar, F., Editor
Publisher: Springer-Verlag
2010
UML Activities at Runtime: Experiences of Using Interpreters and Running Generated Code
In Trujillo, J. and Dobbie, G. and Kangassalo, H. and Hartmann, S. and Kirchberg, M. and Rossi, M. and Reinhartz-Berger, I. and Zimányi, E. and Frasincar, F., Editor, Advances in Conceptual Modeling: Applications and ChallengesVolume6413fromLecture Notes in Computer Science, Page 275-284
In Trujillo, J. and Dobbie, G. and Kangassalo, H. and Hartmann, S. and Kirchberg, M. and Rossi, M. and Reinhartz-Berger, I. and Zimányi, E. and Frasincar, F., Editor
Publisher: Springer-Verlag
2010
DOI: | 10.1007/978-3-642-16385-2_34 |
292.
Guttmann,
Walter
Unifying Recursion in Partial, Total and General Correctness
In Qin, S., Editor, Unifying Theories of Programming, Third International Symposium, UTP 2010Volume6445fromLecture Notes in Computer Science, Page 207-225
In Qin, S., Editor
Publisher: Springer-Verlag
2010
Unifying Recursion in Partial, Total and General Correctness
In Qin, S., Editor, Unifying Theories of Programming, Third International Symposium, UTP 2010Volume6445fromLecture Notes in Computer Science, Page 207-225
In Qin, S., Editor
Publisher: Springer-Verlag
2010
DOI: | 10.1007/978-3-642-16690-7_10 |
291.
Kohlmeyer,
Jens;
Guttmann,
Walter
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009Volume5947fromLecture Notes in Computer Science, Page 206-217
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor
Publisher: Springer-Verlag
2010
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009Volume5947fromLecture Notes in Computer Science, Page 206-217
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor
Publisher: Springer-Verlag
2010
DOI: | 10.1007/978-3-642-11486-1_18 |
2009
290.
Raiser,
Frank;
Frühwirth,
Thom
Strong Joinability Analysis for Graph Transformation Systems in CHR
In Corradini, A., Editor, Proceedings of the Fifth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009)Volume253fromElectronic Notes in Theoretical Computer Science, Page 91-111
In Corradini, A., Editor
November 2009
Strong Joinability Analysis for Graph Transformation Systems in CHR
In Corradini, A., Editor, Proceedings of the Fifth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2009)Volume253fromElectronic Notes in Theoretical Computer Science, Page 91-111
In Corradini, A., Editor
November 2009
DOI: | 10.1016/j.entcs.2009.10.019 |
289.
Dausend,
Marcel;
Berton,
André;
Zilles,
Jonas
<prt>UML for automotive multi-modal HCI</prt>
<prt>AutomotiveUI 2009 - First International Conference on Automotive User Interfaces and Interactive Vehicular Applications</prt> :3
September 2009
<prt>UML for automotive multi-modal HCI</prt>
<prt>AutomotiveUI 2009 - First International Conference on Automotive User Interfaces and Interactive Vehicular Applications</prt> :3
September 2009
288.
Raschke,
Alexander
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Page 149-154
Publisher: IEEE Computer Society
August 2009
Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Page 149-154
Publisher: IEEE Computer Society
August 2009
DOI: | 10.1109/SEAA.2009.60 |
287.
Raiser,
Frank
Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules
In Hill, P. M. and Warren, D. S., Editor, Logic Programming: 25th International Conference (ICLP 2009)Volume5649fromLecture Notes in Computer Science, Page 540-541
In Hill, P. M. and Warren, D. S., Editor
Publisher: Springer-Verlag
July 2009
Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules
In Hill, P. M. and Warren, D. S., Editor, Logic Programming: 25th International Conference (ICLP 2009)Volume5649fromLecture Notes in Computer Science, Page 540-541
In Hill, P. M. and Warren, D. S., Editor
Publisher: Springer-Verlag
July 2009
DOI: | 10.1007/978-3-642-02846-5_54 |
286.
CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling Rules
In Raiser, F. and Sneyers, J., Editor from Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2009
285.
Raiser,
Frank;
Betz,
Hariolf;
Frühwirth,
Thom
Equivalence of CHR States Revisited
In Raiser, F. and Sneyers, J., Editor, CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling RulesfromTechnical Report, Page 34-48
In Raiser, F. and Sneyers, J., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2009
Equivalence of CHR States Revisited
In Raiser, F. and Sneyers, J., Editor, CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling RulesfromTechnical Report, Page 34-48
In Raiser, F. and Sneyers, J., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2009
284.
Raiser,
Frank;
Frühwirth,
Thom
Operational Equivalence of Graph Transformation Systems
In Raiser, F. and Sneyers, J., Editor, CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling RulesfromTechnical Report, Page 49-61
In Raiser, F. and Sneyers, J., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2009
Operational Equivalence of Graph Transformation Systems
In Raiser, F. and Sneyers, J., Editor, CHR 2009: Proceedings of the Sixth International Workshop on Constraint Handling RulesfromTechnical Report, Page 49-61
In Raiser, F. and Sneyers, J., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
July 2009
283.
Kohlmeyer,
Jens;
Guttmann,
Walter
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: Proceedings of the Seventh International Andrei Ershov Memorial Conference, Page 159-166
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor
Publisher: A. P. Ershov Institute of Informatics Systems, Novosibirsk
June 2009
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: Proceedings of the Seventh International Andrei Ershov Memorial Conference, Page 159-166
In Pnueli, A. and Virbitskaite, I. and Voronkov, A., Editor
Publisher: A. P. Ershov Institute of Informatics Systems, Novosibirsk
June 2009
282.
Kästner,
Christian;
Thüm,
Thomas;
Saake,
Gunter;
Feigenspan,
Janet;
Leich,
Thomas;
Wielgorz,
Fabian;
Apel,
Sven
FeatureIDE: A Tool Framework for Feature-Oriented Software Development
Proc. Int'l Conf. on Software Engineering (ICSE), Page 611-614
Publisher: IEEE, Washington, DC, USA
May 2009
FeatureIDE: A Tool Framework for Feature-Oriented Software Development
Proc. Int'l Conf. on Software Engineering (ICSE), Page 611-614
Publisher: IEEE, Washington, DC, USA
May 2009
DOI: | 10.1109/ICSE.2009.5070568 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2009/2009-ICSE-Kaestner.pdf |
281.
Thüm,
Thomas;
Batory,
Don;
Kästner,
Christian
Reasoning About Edits to Feature Models
Proc. Int'l Conf. on Software Engineering (ICSE), Page 254-264
Publisher: IEEE, Washington, DC, USA
May 2009
Reasoning About Edits to Feature Models
Proc. Int'l Conf. on Software Engineering (ICSE), Page 254-264
Publisher: IEEE, Washington, DC, USA
May 2009
DOI: | 10.1109/ICSE.2009.5070526 |
ISBN: | 978-1-4244-3453-4 |
File: | https://github.com/SoftVarE-Group/Papers/raw/main/2009/2009-ICSE-Thuem.pdf |
280.
Leuser,
J.;
Porta,
N.;
Bolz,
Armin;
Raschke,
Alexander
Empirical Validation of a Requirements Engineering Process Guide
In Budgen, D. and Turner, M. and Niazi, M., Editor, 13th International Conference on Evaluation and Assessment in Software Engineering (EASE)fromElectronic Workshops in Computing
In Budgen, D. and Turner, M. and Niazi, M., Editor
Publisher: The British Computer Society
April 2009
Empirical Validation of a Requirements Engineering Process Guide
In Budgen, D. and Turner, M. and Niazi, M., Editor, 13th International Conference on Evaluation and Assessment in Software Engineering (EASE)fromElectronic Workshops in Computing
In Budgen, D. and Turner, M. and Niazi, M., Editor
Publisher: The British Computer Society
April 2009
279.
Frühwirth,
Thom
Constraint Handling Rules
Publisher: Cambridge University Press
2009
Constraint Handling Rules
Publisher: Cambridge University Press
2009
278.
Guttmann,
Walter
General Correctness Algebra
In Berghammer, R. and Jaoua, A. M. and Möller, B., Editor, Relations and Kleene Algebra in Computer ScienceVolume5827fromLecture Notes in Computer Science, Page 150-165
In Berghammer, R. and Jaoua, A. M. and Möller, B., Editor
Publisher: Springer-Verlag
2009
General Correctness Algebra
In Berghammer, R. and Jaoua, A. M. and Möller, B., Editor, Relations and Kleene Algebra in Computer ScienceVolume5827fromLecture Notes in Computer Science, Page 150-165
In Berghammer, R. and Jaoua, A. M. and Möller, B., Editor
Publisher: Springer-Verlag
2009
DOI: | 10.1007/978-3-642-04639-1_11 |
277.
Gessenharter,
Dominik
Implementing UML Associations in Java: A Slim Code Pattern for a Complex Modeling Concept
Relationships and Associations in Object-Oriented Languages, Page 17-24
Publisher: ACM
2009
Implementing UML Associations in Java: A Slim Code Pattern for a Complex Modeling Concept
Relationships and Associations in Object-Oriented Languages, Page 17-24
Publisher: ACM
2009
DOI: | 10.1145/1562100.1562104 |
276.
Raiser,
Frank;
Frühwirth,
Thom
Strong joinability analysis for graph transformation systems in CHR
In Corradini, A., Editor, Preliminary Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH), Page 97-112
In Corradini, A., Editor
2009
Strong joinability analysis for graph transformation systems in CHR
In Corradini, A., Editor, Preliminary Proceedings of the 5th International Workshop on Computing with Terms and Graphs (TERMGRAPH), Page 97-112
In Corradini, A., Editor
2009
DOI: | 10.1016/j.entcs.2009.10.019 |
2008
275.
Ferdinand,
C.;
Frey,
Patrick;
Heckmann,
Reinhold;
Richter,
Kai
Timing Correctness and Model-Based Software Development for Safety-Critical Automotive Applications: An Integrated, Tool-Supported Workflow
Automotive Safety & Security 2008
November 2008
Timing Correctness and Model-Based Software Development for Safety-Critical Automotive Applications: An Integrated, Tool-Supported Workflow
Automotive Safety & Security 2008
November 2008
274.
Kohlmeyer,
Jens
Executing UML 2 Diagrams in ActiveCharts - A formal Semantics for the Combination of Behavior Specifications in the UML 2
In Bertelle, C. and Ayesh, A., Editor, Proceedings of the 2008 European Simulation and Modelling Conference, Page 94-101
In Bertelle, C. and Ayesh, A., Editor
October 2008
Executing UML 2 Diagrams in ActiveCharts - A formal Semantics for the Combination of Behavior Specifications in the UML 2
In Bertelle, C. and Ayesh, A., Editor, Proceedings of the 2008 European Simulation and Modelling Conference, Page 94-101
In Bertelle, C. and Ayesh, A., Editor
October 2008
273.
Cuenot,
Philippe;
Frey,
Patrick;
Johansson,
Ralf;
Lönn,
Henrik;
Törngren,
Martin;
Sjöstedt,
C.-J.
Engineering Support For Automotive Embedded Systems: Beyond AUTOSAR
FISITA 2008 World Automotive Congress
September 2008
Engineering Support For Automotive Embedded Systems: Beyond AUTOSAR
FISITA 2008 World Automotive Congress
September 2008
272.
Guttmann,
Walter
Lazy UTP
In Butterfield, A., Editor, Second International Symposium on the Unifying Theories of Programming (UTP 08), Page 253-272
In Butterfield, A., Editor
Publisher: Trinity College Dublin, Ireland
September 2008
Lazy UTP
In Butterfield, A., Editor, Second International Symposium on the Unifying Theories of Programming (UTP 08), Page 253-272
In Butterfield, A., Editor
Publisher: Trinity College Dublin, Ireland
September 2008
271.
Raiser,
Frank
Semi-automatic generation of CHR solvers for global constraints
In Stuckey, P. J., Editor, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008Volume5202fromLecture Notes in Computer Science, Page 588-592
In Stuckey, P. J., Editor
Publisher: Springer-Verlag
September 2008
Semi-automatic generation of CHR solvers for global constraints
In Stuckey, P. J., Editor, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008Volume5202fromLecture Notes in Computer Science, Page 588-592
In Stuckey, P. J., Editor
Publisher: Springer-Verlag
September 2008
DOI: | 10.1007/978-3-540-85958-1_47 |
270.
CHR 2008, The 5th Workshop on Constraint Handling Rules
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor from RISC-Linz Report Series
Research Institute for Symbolic Computation, Johannes Kepler University, Linz
July 2008
269.
Sneyers,
Jon;
Frühwirth,
Thom
Generalized CHR Machines
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor, CHR 2008, The 5th Workshop on Constraint Handling Rules, Page 143-157
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
July 2008
Generalized CHR Machines
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor, CHR 2008, The 5th Workshop on Constraint Handling Rules, Page 143-157
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
July 2008
268.
Hürster,
Carolin;
Omasreiter,
H.;
Schwinn,
Thilo
The problem of traceability and its handling in complex decision processes
Proceedings of the 20th International Conference on Systems Research, Informatics and Cybernetics, InterSymp: Special Focus Symposium on Engineering and Management of IT-based Organizational Systems: A Systems Approach
July 2008
The problem of traceability and its handling in complex decision processes
Proceedings of the 20th International Conference on Systems Research, Informatics and Cybernetics, InterSymp: Special Focus Symposium on Engineering and Management of IT-based Organizational Systems: A Systems Approach
July 2008
267.
Djelloul,
Khalil;
Dao,
T.-B.-H.;
Frühwirth,
Thom
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming, 8 (4) :431-489
July 2008
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming, 8 (4) :431-489
July 2008
DOI: | 10.1017/S1471068407003171 |
266.
Raiser,
Frank;
Frühwirth,
Thom
Towards Term Rewriting Systems in Constraint Handling Rules
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor, CHR 2008, The 5th Workshop on Constraint Handling Rules, Page 19-33
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
July 2008
Towards Term Rewriting Systems in Constraint Handling Rules
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor, CHR 2008, The 5th Workshop on Constraint Handling Rules, Page 19-33
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
July 2008
265.
Haemmerlé,
R.;
Betz,
Hariolf
Verification of Constraint Handling Rules using Linear Logic Phase Semantics
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor, CHR 2008, The 5th Workshop on Constraint Handling Rules, Page 67-78
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
July 2008
Verification of Constraint Handling Rules using Linear Logic Phase Semantics
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor, CHR 2008, The 5th Workshop on Constraint Handling Rules, Page 67-78
In Schrijvers, T. and Raiser, F. and Frühwirth, T., Editor
July 2008
264.
Frey,
Patrick;
Freund,
U.
Integrating Timing Aspects in Model- and Component Based Embedded Control System Development for Automotive Applications
Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IVfromInformatik-Bericht 2008-02, Page 40-56
Publisher: TU Braunschweig
April 2008
Integrating Timing Aspects in Model- and Component Based Embedded Control System Development for Automotive Applications
Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IVfromInformatik-Bericht 2008-02, Page 40-56
Publisher: TU Braunschweig
April 2008
263.
Frey,
Patrick;
Freund,
U.
Model-Based AUTOSAR Integration of an Engine Management System
8. Internationales Stuttgarter Symposium: Automobil- und Motorentechnik
March 2008
Model-Based AUTOSAR Integration of an Engine Management System
8. Internationales Stuttgarter Symposium: Automobil- und Motorentechnik
March 2008
262.
Tavakoli Kolagari,
Ramin;
Raschke,
Alexander;
Schneiderhan,
Matthias;
Alexander,
Ian
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse
from Ulmer Informatik-Berichte
Document Number: 2008-04
Universität Ulm
February 2008
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse
from Ulmer Informatik-Berichte
Document Number: 2008-04
Universität Ulm
February 2008
261.
Raiser,
Frank
Semi-Automatic Generation of CHR Solvers from Global Constraint Automata
from Ulmer Informatik-Berichte
Document Number: 2008-03
Universität Ulm
February 2008
Semi-Automatic Generation of CHR Solvers from Global Constraint Automata
from Ulmer Informatik-Berichte
Document Number: 2008-03
Universität Ulm
February 2008
260.
Mann,
Sandra;
Berton,
André;
Dausend,
Marcel;
Heisterkamp,
Paul
<prt>"Beethoven's Ninth" - An Example on Naming Usage for Audio Files</prt>
<prt>Elektronische Sprachsignalverarbeitung Studientexte zur Sprachkommunikation</prt>
2008
<prt>"Beethoven's Ninth" - An Example on Naming Usage for Audio Files</prt>
<prt>Elektronische Sprachsignalverarbeitung Studientexte zur Sprachkommunikation</prt>
2008
259.
Dausend,
Marcel;
Ehrlich,
Ute
<prt>A Prototype for Future Spoken Dialog Systems Using an Embodied Conversational Agent</prt>
<prt>PIT '08: Proceedings of the 4th IEEE tutorial and research workshop on Perception and Interactive Technologies for Speech-Based Systems</prt>, Page 268--271
Publisher: Springer-Verlag
2008
<prt>A Prototype for Future Spoken Dialog Systems Using an Embodied Conversational Agent</prt>
<prt>PIT '08: Proceedings of the 4th IEEE tutorial and research workshop on Perception and Interactive Technologies for Speech-Based Systems</prt>, Page 268--271
Publisher: Springer-Verlag
2008
DOI: | 10.1007/978-3-540-69369-7_30 |
ISBN: | 978-3-540-69368-0 |
258.
Dausend,
Marcel;
Berton,
André;
Kaltenmeier,
Alfred;
Mann,
Sandra
<prt>Was möchten Sie hören? - Zielsicheres Suchen in großen Datenmengen mit integrierten multimodalen Systemen</prt>
In Arild Lacroix, Editor, <prt>Elektronische Sprachverarbeitung - Studientexte zur Sprachkommunikation</prt>Volume50
In Arild Lacroix, Editor
Publisher: TUDpress
2008
<prt>Was möchten Sie hören? - Zielsicheres Suchen in großen Datenmengen mit integrierten multimodalen Systemen</prt>
In Arild Lacroix, Editor, <prt>Elektronische Sprachverarbeitung - Studientexte zur Sprachkommunikation</prt>Volume50
In Arild Lacroix, Editor
Publisher: TUDpress
2008
257.
Guttmann,
Walter
Algebraic Foundations of the Unifying Theories of Programming
In Wagner, D. and others, Editor, Ausgezeichnete Informatikdissertationen 2007 Volume D-8 from Lecture Notes in Informatics
Page 141-150
Publisher: Gesellschaft für Informatik
2008
141-150
Algebraic Foundations of the Unifying Theories of Programming
In Wagner, D. and others, Editor, Ausgezeichnete Informatikdissertationen 2007 Volume D-8 from Lecture Notes in Informatics
Page 141-150
Publisher: Gesellschaft für Informatik
2008
141-150
256.
Veanes,
M.;
Bjørner,
N.;
Raschke,
Alexander
An SMT Approach to Bounded Reachability Analysis of Model Programs
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor, Formal Techniques for Networked and Distributed Systems: FORTE 2008Volume5048fromLecture Notes in Computer Science, Page 53-68
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor
Publisher: Springer-Verlag
2008
An SMT Approach to Bounded Reachability Analysis of Model Programs
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor, Formal Techniques for Networked and Distributed Systems: FORTE 2008Volume5048fromLecture Notes in Computer Science, Page 53-68
In Suzuki, K. and Higashino, T. and Yasumoto, K. and El-Fakih, K., Editor
Publisher: Springer-Verlag
2008
DOI: | 10.1007/978-3-540-68855-6_4 |
255.
Constraint Handling Rules: Current Research Topics
In Schrijvers, T. and Frühwirth, T., Editor, Volume 5388 from Lecture Notes in Computer Science
Publisher: Springer-Verlag
2008
254.
Sobhi,
Ingi;
Abdennadher,
Slim;
Betz,
Hariolf
Constructing Rule-Based Solvers for Intentionally-Defined Constraints
In Schrijvers, T. and Frühwirth, T., Editor, Constraint Handling Rules: Current Research TopicsVolume5388fromLecture Notes in Computer Science, Page 70-84
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Springer-Verlag
2008
Constructing Rule-Based Solvers for Intentionally-Defined Constraints
In Schrijvers, T. and Frühwirth, T., Editor, Constraint Handling Rules: Current Research TopicsVolume5388fromLecture Notes in Computer Science, Page 70-84
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Springer-Verlag
2008
DOI: | 10.1007/978-3-540-92243-8_4 |
253.
Cuenot,
Philippe;
Frey,
Patrick;
Johannson,
Ralf;
Lönn,
Henrik;
Reiser,
M.-O.;
Servat,
David;
Tavakoli Kolagari,
Ramin;
Chen,
D.-J.
Developing Automotive Products using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language
4th European Congress on Embedded Real Time Software (ERTS 2008)
January 2008
Developing Automotive Products using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language
4th European Congress on Embedded Real Time Software (ERTS 2008)
January 2008
252.
Guttmann,
Walter
Lazy Relations
In Berghammer, R. and Möller, B. and Struth, G., Editor, Relations and Kleene Algebra in Computer ScienceVolume4988fromLecture Notes in Computer Science, Page 138-154
In Berghammer, R. and Möller, B. and Struth, G., Editor
Publisher: Springer-Verlag
2008
Lazy Relations
In Berghammer, R. and Möller, B. and Struth, G., Editor, Relations and Kleene Algebra in Computer ScienceVolume4988fromLecture Notes in Computer Science, Page 138-154
In Berghammer, R. and Möller, B. and Struth, G., Editor
Publisher: Springer-Verlag
2008
DOI: | 10.1007/978-3-540-78913-0_12 |
251.
Gessenharter,
Dominik
Mapping the UML2 Semantics of Associations to a Java Code Generation Model
In Czarnecki, K. and Ober, I. and Bruel, J.-M. and Uhl, A. and Völter, M., Editor, Model Driven Engineering Languages and SystemsVolume5301fromLecture Notes in Computer Science, Page 813-827
In Czarnecki, K. and Ober, I. and Bruel, J.-M. and Uhl, A. and Völter, M., Editor
Publisher: Springer-Verlag
2008
Mapping the UML2 Semantics of Associations to a Java Code Generation Model
In Czarnecki, K. and Ober, I. and Bruel, J.-M. and Uhl, A. and Völter, M., Editor, Model Driven Engineering Languages and SystemsVolume5301fromLecture Notes in Computer Science, Page 813-827
In Czarnecki, K. and Ober, I. and Bruel, J.-M. and Uhl, A. and Völter, M., Editor
Publisher: Springer-Verlag
2008
DOI: | 10.1007/978-3-540-87875-9_56 |
250.
Frühwirth,
Thom
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Recent Advances in Constraints: 12th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007Volume5129fromLecture Notes in Computer Science, Page 91-108
In Fages, F. and Rossi, F. and Soliman, S., Editor
Publisher: Springer-Verlag
2008
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Recent Advances in Constraints: 12th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007Volume5129fromLecture Notes in Computer Science, Page 91-108
In Fages, F. and Rossi, F. and Soliman, S., Editor
Publisher: Springer-Verlag
2008
DOI: | 10.1007/978-3-540-89812-2_7 |
249.
Frühwirth,
Thom
Welcome to Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor, Constraint Handling Rules: Current Research TopicsVolume5388fromLecture Notes in Computer Science, Page 1-15
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Springer-Verlag
2008
Welcome to Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor, Constraint Handling Rules: Current Research TopicsVolume5388fromLecture Notes in Computer Science, Page 1-15
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Springer-Verlag
2008
DOI: | 10.1007/978-3-540-92243-8_1 |
2007
248.
Schwinn,
Thilo;
Hürster,
C. D.
Refactoring based on systematic analysis with a practical tool
Proceedings of the 20th International Conference on Software & Systems Engineering and their Applications, ICSSEA
December 2007
Refactoring based on systematic analysis with a practical tool
Proceedings of the 20th International Conference on Software & Systems Engineering and their Applications, ICSSEA
December 2007
247.
Frey,
Patrick;
Freund,
U.
AUTOSAR} compliant reengineering of an Engine Management Syste
In Gehrke, M. and Giese, H. and Stroop, J., Editor, Preliminary Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER4), Page 18-24
In Gehrke, M. and Giese, H. and Stroop, J., Editor
October 2007
AUTOSAR} compliant reengineering of an Engine Management Syste
In Gehrke, M. and Giese, H. and Stroop, J., Editor, Preliminary Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER4), Page 18-24
In Gehrke, M. and Giese, H. and Stroop, J., Editor
October 2007
246.
Betz,
Hariolf
A Linear-Logic Semantics for Constraint Handling Rules with Disjunction
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Page 17-31
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
A Linear-Logic Semantics for Constraint Handling Rules with Disjunction
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Page 17-31
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
245.
Frühwirth,
Thom
Description Logic and Rules the CHR Way
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Page 49-61
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
Description Logic and Rules the CHR Way
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Page 49-61
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
244.
Raiser,
Frank;
Tacchella,
P.
On Confluence of Non-terminating CHR Programs
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Page 63-76
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
On Confluence of Non-terminating CHR Programs
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Page 63-76
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
243.
Betz,
Hariolf
Relating Coloured Petri Nets to Constraint Handling Rules
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Page 33-47
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
Relating Coloured Petri Nets to Constraint Handling Rules
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor, Proceedings of the 4th Workshop on Constraint Handling Rules, CHR 2007, Page 33-47
In Djelloul, K. and Duck, G. J. and Sulzmann, M., Editor
September 2007
242.
Sjöstedt,
C.-J.;
Chen,
D.-J.;
Cuenot,
Philippe;
Frey,
Patrick;
Johansson,
Ralf;
Lönn,
Henrik;
Servat,
David;
Törngren,
Martin
Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML
In Fritzson, P. and Cellier, F. and Nytsch-Geusen, C., Editor, Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and ToolsfromLinköping Electronic Conference Proceedings, Page 25-36
In Fritzson, P. and Cellier, F. and Nytsch-Geusen, C., Editor
Publisher: Linköping University Electronic Press, Linköpings universitet
July 2007
Developing Dependable Automotive Embedded Systems using the EAST-ADL; representing continuous time systems in SysML
In Fritzson, P. and Cellier, F. and Nytsch-Geusen, C., Editor, Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and ToolsfromLinköping Electronic Conference Proceedings, Page 25-36
In Fritzson, P. and Cellier, F. and Nytsch-Geusen, C., Editor
Publisher: Linköping University Electronic Press, Linköpings universitet
July 2007
241.
Meister,
Marc
Concurrency of the Preflow-Push Algorithm in Constraint Handling Rules
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, Page 160-169
In Fages, F. and Rossi, F. and Soliman, S., Editor
June 2007
Concurrency of the Preflow-Push Algorithm in Constraint Handling Rules
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, Page 160-169
In Fages, F. and Rossi, F. and Soliman, S., Editor
June 2007
240.
Meister,
Marc;
Frühwirth,
Thom
Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, Page 123-137
In Fages, F. and Rossi, F. and Soliman, S., Editor
June 2007
Reconstructing almost-linear Tree Equation Solving Algorithms in CHR
In Fages, F. and Rossi, F. and Soliman, S., Editor, Constraint Solving and Constraint Logic Programming, 12th Annual ERCIM Workshop, Page 123-137
In Fages, F. and Rossi, F. and Soliman, S., Editor
June 2007
239.
Meister,
Marc;
Djelloul,
Khalil;
Robin,
J.
Une sémantique complète pour CHR en logique des transactions
In Deransart, P., Editor, Programmation par Contraintes, Troisièmes Journées Francophones, Page 130-138
In Deransart, P., Editor
June 2007
Une sémantique complète pour CHR en logique des transactions
In Deransart, P., Editor, Programmation par Contraintes, Troisièmes Journées Francophones, Page 130-138
In Deransart, P., Editor
June 2007
238.
Miller,
S.;
Kasper,
T.;
Schneiderhan,
Matthias;
Raschke,
Alexander
A defect-based experiment for analysing and comparing software engineering processes
In Jedlitschka, A. and Ciolkowski, M., Editor, Experience on applying quantitative and qualitative empiricism to software engineering (5th International Workshop on Empirical Studies in Software Engineering)fromIESE-Report, Page 31-38
In Jedlitschka, A. and Ciolkowski, M., Editor
Publisher: Fraunhofer IESE
2007
A defect-based experiment for analysing and comparing software engineering processes
In Jedlitschka, A. and Ciolkowski, M., Editor, Experience on applying quantitative and qualitative empiricism to software engineering (5th International Workshop on Empirical Studies in Software Engineering)fromIESE-Report, Page 31-38
In Jedlitschka, A. and Ciolkowski, M., Editor
Publisher: Fraunhofer IESE
2007
237.
Meister,
Marc;
Djelloul,
Khalil;
Robin,
J.
A Unified Semantics for Constraint Handling Rules in Transaction Logic
In Baral, C. and Brewka, G. and Schlipf, J., Editor, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007Volume4483fromLecture Notes in Computer Science, Page 201-213
In Baral, C. and Brewka, G. and Schlipf, J., Editor
Publisher: Springer-Verlag
2007
A Unified Semantics for Constraint Handling Rules in Transaction Logic
In Baral, C. and Brewka, G. and Schlipf, J., Editor, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007Volume4483fromLecture Notes in Computer Science, Page 201-213
In Baral, C. and Brewka, G. and Schlipf, J., Editor
Publisher: Springer-Verlag
2007
DOI: | 10.1007/978-3-540-72200-7_18 |
236.
Sarstedt,
Stefan;
Kohlmeyer,
Jens;
Raschke,
Alexander;
Gessenharter,
Dominik
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum (6)
2007
ActiveCharts: Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen
OBJEKTspektrum (6)
2007
235.
Sarstedt,
Stefan;
Guttmann,
Walter
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
In Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006Volume4378fromLecture Notes in Computer Science, Page 349-362
In Virbitskaite, I. and Voronkov, A., Editor
Publisher: Springer-Verlag
2007
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
In Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006Volume4378fromLecture Notes in Computer Science, Page 349-362
In Virbitskaite, I. and Voronkov, A., Editor
Publisher: Springer-Verlag
2007
DOI: | 10.1007/978-3-540-70881-0_30 |
234.
Meister,
Marc;
Djelloul,
Khalil;
Frühwirth,
Thom
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints: 11th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006Volume4651fromLecture Notes in Computer Science, Page 139-153
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor
Publisher: Springer-Verlag
2007
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints: 11th Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006Volume4651fromLecture Notes in Computer Science, Page 139-153
In Azevedo, F. and Barahona, P. and Fages, F. and Rossi, F., Editor
Publisher: Springer-Verlag
2007
233.
Gessenharter,
Dominik;
Merten,
A.-M.;
Porta,
N. F.;
Raschke,
Alexander
Experiences on Using Software Experiments in the Validation of Industrial Research Questions
In Abran, A. and Dumke, R. and Mas, A., Editor, Proceedings of the IWSM-Mensura 2007, Page 279-288
In Abran, A. and Dumke, R. and Mas, A., Editor
2007
Experiences on Using Software Experiments in the Validation of Industrial Research Questions
In Abran, A. and Dumke, R. and Mas, A., Editor, Proceedings of the IWSM-Mensura 2007, Page 279-288
In Abran, A. and Dumke, R. and Mas, A., Editor
2007
232.
Raiser,
Frank
Graph Transformation Systems in CHR
In Dahl, V. and Niemelä, I., Editor, Logic Programming, 23rd International Conference, ICLP 2007Volume4670fromLecture Notes in Computer Science, Page 240-254
In Dahl, V. and Niemelä, I., Editor
Publisher: Springer-Verlag
2007
Graph Transformation Systems in CHR
In Dahl, V. and Niemelä, I., Editor, Logic Programming, 23rd International Conference, ICLP 2007Volume4670fromLecture Notes in Computer Science, Page 240-254
In Dahl, V. and Niemelä, I., Editor
Publisher: Springer-Verlag
2007
DOI: | 10.1007/978-3-540-74610-2_17 |
231.
Gerlich,
Ralf
Integrierte Testkonzepte: Von der Theorie zur Praxis und zurück
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor, Software Engineering 2007: Beiträge zu den WorkshopsVolumeP-106fromLecture Notes in Informatics, Page 113-122
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor
Publisher: Gesellschaft für Informatik
2007
Integrierte Testkonzepte: Von der Theorie zur Praxis und zurück
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor, Software Engineering 2007: Beiträge zu den WorkshopsVolumeP-106fromLecture Notes in Informatics, Page 113-122
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor
Publisher: Gesellschaft für Informatik
2007
230.
Hürster,
C. D.
Risikomanagement: Minimalscope für IT-Großprojekte
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor, Software Engineering 2007: Beiträge zu den WorkshopsVolumeP-106fromLecture Notes in Informatics, Page 329-332
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor
Publisher: Gesellschaft für Informatik
2007
Risikomanagement: Minimalscope für IT-Großprojekte
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor, Software Engineering 2007: Beiträge zu den WorkshopsVolumeP-106fromLecture Notes in Informatics, Page 329-332
In Bleek, W.-G. and Schwentner, H. and Züllighoven, H., Editor
Publisher: Gesellschaft für Informatik
2007
229.
Djelloul,
Khalil;
Dao,
T.-B.-H.;
Frühwirth,
Thom
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees
In Hung, C. C. and Rosa, A., Editor, Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007, Page 58-64
In Hung, C. C. and Rosa, A., Editor
Publisher: ACM Press
2007
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees
In Hung, C. C. and Rosa, A., Editor, Proceedings of the 2007 ACM symposium on Applied computing, SAC 2007, Page 58-64
In Hung, C. C. and Rosa, A., Editor
Publisher: ACM Press
2007
DOI: | 10.1145/1244002.1244016 |
2006
228.
Guttmann,
Walter;
Möller,
Bernhard
Normal Design Algebra
Document Number: 2006-28
Institut für Informatik, Universität Augsburg
December 2006
Normal Design Algebra
Document Number: 2006-28
Institut für Informatik, Universität Augsburg
December 2006
227.
Gerlich,
Ralf
Schneller zum Ziel durch integrierte Testautomation
Software-QS-Tag
November 2006
Schneller zum Ziel durch integrierte Testautomation
Software-QS-Tag
November 2006
226.
Gerlich,
Ralf;
Gerlich,
Rainer;
Boll,
Thomas;
Chevalley,
Philippe
Improving Test Automation by Deterministic Methods in Statistical Testing
In Ouwehand, L., Editor, DASIA 2006: Data Systems in Aerospace
In Ouwehand, L., Editor
Publisher: ESA Publications Division
July 2006
Improving Test Automation by Deterministic Methods in Statistical Testing
In Ouwehand, L., Editor, DASIA 2006: Data Systems in Aerospace
In Ouwehand, L., Editor
Publisher: ESA Publications Division
July 2006
225.
Raschke,
Alexander;
Kohlmeyer,
Jens;
Partsch,
Helmuth;
Wolf,
H.;
Mader,
W.
Virtueller Biobaukasten: Einsatz von Modellierungswerkzeugen aus der Informatik zur Simulation komplexer biologischer Prozesse
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor, Aktuelle Trends in der Softwareforschung: Tagungsband zum doIT Software-Forschungstag 2006, Page 101-116
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor
Publisher: dpunkt.verlag
July 2006
Virtueller Biobaukasten: Einsatz von Modellierungswerkzeugen aus der Informatik zur Simulation komplexer biologischer Prozesse
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor, Aktuelle Trends in der Softwareforschung: Tagungsband zum doIT Software-Forschungstag 2006, Page 101-116
In Haasis, K. and Heinzl, A. and Klumpp, D., Editor
Publisher: dpunkt.verlag
July 2006
224.
Sarstedt,
Stefan;
Guttmann,
Walter
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
In Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: Proceedings of the Sixth International Andrei Ershov Memorial Conference, Page 207-213
In Virbitskaite, I. and Voronkov, A., Editor
Publisher: A. P. Ershov Institute of Informatics Systems, Novosibirsk
June 2006
An ASM Semantics of Token Flow in UML 2 Activity Diagrams
In Virbitskaite, I. and Voronkov, A., Editor, Perspectives of System Informatics: Proceedings of the Sixth International Andrei Ershov Memorial Conference, Page 207-213
In Virbitskaite, I. and Voronkov, A., Editor
Publisher: A. P. Ershov Institute of Informatics Systems, Novosibirsk
June 2006
223.
Meister,
Marc;
Frühwirth,
Thom
Complexity of the CHR Rational Tree Equation Solver
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesfromTechnical Report, Page 77-92
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
Complexity of the CHR Rational Tree Equation Solver
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesfromTechnical Report, Page 77-92
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
222.
Frühwirth,
Thom
Deriving Linear-Time Algorithms from Union-Find in CHR
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesfromTechnical Report, Page 49-60
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
Deriving Linear-Time Algorithms from Union-Find in CHR
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesfromTechnical Report, Page 49-60
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
221.
Käser,
M.;
Meister,
Marc
Implementation of an F-Logic Kernel in CHR
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesfromTechnical Report, Page 33-48
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
Implementation of an F-Logic Kernel in CHR
In Schrijvers, T. and Frühwirth, T., Editor, Proceedings of CHR 2006, Third Workshop on Constraint Handling RulesfromTechnical Report, Page 33-48
In Schrijvers, T. and Frühwirth, T., Editor
Publisher: Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
220.
Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules
In Schrijvers, T. and Frühwirth, T., Editor from Technical Report
Departement Computerwetenschappen, Katholieke Universiteit Leuven
June 2006
219.
Raschke,
Alexander;
Tavakoli Kolagari,
Ramin
Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten Systemen
Document Number: UIB-2006-02
Universität Ulm
March 2006
Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten Systemen
Document Number: UIB-2006-02
Universität Ulm
March 2006
218.
Kohlmeyer,
Jens;
Raschke,
Alexander;
Tavakoli Kolagari,
Ramin
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Document Number: UIB-2006-03
Universität Ulm
March 2006
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg
Document Number: UIB-2006-03
Universität Ulm
March 2006
217.
Sarstedt,
Stefan
Model-Driven Development with ActiveCharts: Tutorial
Document Number: UIB-2006-01
Universität Ulm
March 2006
Model-Driven Development with ActiveCharts: Tutorial
Document Number: UIB-2006-01
Universität Ulm
March 2006
216.
Meister,
Marc
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
In Fink, M. and Tompits, H. and Woltran, S., Editor, Proceedings of WLP 2006, 20th Workshop on Logic ProgrammingfromINFSYS Research Report, Page 172-181
In Fink, M. and Tompits, H. and Woltran, S., Editor
Publisher: Technische Universität Wien
February 2006
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR
In Fink, M. and Tompits, H. and Woltran, S., Editor, Proceedings of WLP 2006, 20th Workshop on Logic ProgrammingfromINFSYS Research Report, Page 172-181
In Fink, M. and Tompits, H. and Woltran, S., Editor
Publisher: Technische Universität Wien
February 2006
215.
Guttmann,
Walter;
Möller,
Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, First International Symposium on the Unifying Theories of Programming (UTP 06), Page 206-225
In Dunne, S. and Stoddart, W., Editor
Publisher: University of Teesside, United Kingdom
February 2006
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, First International Symposium on the Unifying Theories of Programming (UTP 06), Page 206-225
In Dunne, S. and Stoddart, W., Editor
Publisher: University of Teesside, United Kingdom
February 2006
214.
Schrijvers,
T.;
Demoen,
B.;
Duck,
G.;
Stuckey,
P.;
Frühwirth,
Thom
Automatic implication checking for CHR constraints
In Cirstea, H. and Martí-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005Volume147fromElectronic Notes in Theoretical Computer Science, Page 93-111
In Cirstea, H. and Martí-Oliet, N., Editor
January 2006
Automatic implication checking for CHR constraints
In Cirstea, H. and Martí-Oliet, N., Editor, Proceedings of the 6th International Workshop on Rule-Based Programming, RULE 2005Volume147fromElectronic Notes in Theoretical Computer Science, Page 93-111
In Cirstea, H. and Martí-Oliet, N., Editor
January 2006
213.
Frühwirth,
Thom
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints, CSCLP 2005Volume3978fromLecture Notes in Computer Science, Page 14-28
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor
Publisher: Springer-Verlag
2006
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor, Recent Advances in Constraints, CSCLP 2005Volume3978fromLecture Notes in Computer Science, Page 14-28
In Hnich, B. and Carlsson, M. and Fages, F. and Rossi, F., Editor
Publisher: Springer-Verlag
2006
DOI: | 10.1007/11754602_2 |
212.
Frühwirth,
Thom
Constraint Handling Rules: The Story So Far
In Maher, M., Editor, Proceedings of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Page 13-14
In Maher, M., Editor
Publisher: ACM Press
2006
Constraint Handling Rules: The Story So Far
In Maher, M., Editor, Proceedings of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Page 13-14
In Maher, M., Editor
Publisher: ACM Press
2006
DOI: | 10.1145/1140335.1140337 |
211.
Frühwirth,
Thom;
Michel,
L.;
Schulte,
C.
Constraints in Procedural and Concurrent Languages
In Rossi, F. and Beek, P. van and Walsh, T., Editor, Handbook of Constraint Programming
Chapter 13
Publisher: Elsevier
2006
Constraints in Procedural and Concurrent Languages
In Rossi, F. and Beek, P. van and Walsh, T., Editor, Handbook of Constraint Programming
Chapter 13
Publisher: Elsevier
2006
210.
Djelloul,
Khalil;
Dao,
T.-B.-H.
Extension of First-Order Theories into Trees
In Calmet, J. and Ida, T. and Wang, D., Editor, Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006Volume4120fromLecture Notes in Computer Science, Page 53-67
In Calmet, J. and Ida, T. and Wang, D., Editor
Publisher: Springer-Verlag
2006
Extension of First-Order Theories into Trees
In Calmet, J. and Ida, T. and Wang, D., Editor, Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006Volume4120fromLecture Notes in Computer Science, Page 53-67
In Calmet, J. and Ida, T. and Wang, D., Editor
Publisher: Springer-Verlag
2006
DOI: | 10.1007/11856290_7 |
209.
Hammori,
Markus;
Herbst,
Joachim;
Kleiner,
Niko
Interactive Workflow Mining
Data and Knowledge Engineering Journal: Special Issue on Business Process Management, 56 (1) :41-63
January 2006
Interactive Workflow Mining
Data and Knowledge Engineering Journal: Special Issue on Business Process Management, 56 (1) :41-63
January 2006
208.
Guttmann,
Walter;
Möller,
Bernhard
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, Unifying Theories of ProgrammingVolume4010fromLecture Notes in Computer Science, Page 236-256
In Dunne, S. and Stoddart, W., Editor
Publisher: Springer-Verlag
2006
Modal Design Algebra
In Dunne, S. and Stoddart, W., Editor, Unifying Theories of ProgrammingVolume4010fromLecture Notes in Computer Science, Page 236-256
In Dunne, S. and Stoddart, W., Editor
Publisher: Springer-Verlag
2006
DOI: | 10.1007/11768173_14 |
207.
Guttmann,
Walter
Non-termination in Unifying Theories of Programming
In MacCaull, W. and Winter, M. and Düntsch, I., Editor, Relational Methods in Computer Science 2005Volume3929fromLecture Notes in Computer Science, Page 108-120
In MacCaull, W. and Winter, M. and Düntsch, I., Editor
Publisher: Springer-Verlag
2006
Non-termination in Unifying Theories of Programming
In MacCaull, W. and Winter, M. and Düntsch, I., Editor, Relational Methods in Computer Science 2005Volume3929fromLecture Notes in Computer Science, Page 108-120
In MacCaull, W. and Winter, M. and Düntsch, I., Editor
Publisher: Springer-Verlag
2006
DOI: | 10.1007/11734673_9 |
206.
Frühwirth,
Thom;
Abdennadher,
Slim
Principles of constraint systems and constraint solvers
Archives of Control Sciences: Special Issue on Constraint Programming, 16 (2)
2006
Principles of constraint systems and constraint solvers
Archives of Control Sciences: Special Issue on Constraint Programming, 16 (2)
2006
205.
Schrijvers,
T.;
Frühwirth,
Thom
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming, 6 (1-2) :213-224
January 2006
Programming Pearl: Optimal Union-Find in Constraint Handling Rules
Theory and Practice of Logic Programming, 6 (1-2) :213-224
January 2006
204.
Tavakoli Kolagari,
Ramin;
Porta,
N. F.
Project-oriented Reuse Approaches: Copy-and-Paste or Software Product Line Engineering?
In Schneider, K., Editor, Proceedings of the International Workshop on Learning Software Organizations and Requirements Engineering, Page 81-97
In Schneider, K., Editor
Publisher: Universität Hannover
2006
Project-oriented Reuse Approaches: Copy-and-Paste or Software Product Line Engineering?
In Schneider, K., Editor, Proceedings of the International Workshop on Learning Software Organizations and Requirements Engineering, Page 81-97
In Schneider, K., Editor
Publisher: Universität Hannover
2006