chrisposkitt.com
Events | Chris Poskitt
http://chrisposkitt.com/events
Research Fellow in Computer Science @ SUTD, Singapore. In a larger map. Participated (e.g. paper accepted, PC member), but did not attend. 21st International Symposium on Formal Methods. Limassol, Cyprus. 7-11 November, 2016. 18th IFIP International Conference on Coordination Models and Languages. Heraklion, Crete, Greece. 6-9 June, 2016. 19th International Conference on Fundamental Approaches to Software Engineering. Eindhoven University of Technology, Netherlands. 5-7 April, 2016. European Joint Confer...
ckrause.org
Computer Science Blog by Christian Krause: April 2013
http://www.ckrause.org/2013_04_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. April 26, 2013. Copying EMF models with Henshin. Copying arbitrary EMF models is an easy task using the EMF utils class: a simple EcoreUtil.copy(obj). Does the job. This method uses the reflective API of EMF to copy EObjects including their type information and all their features. In Henshin. April 9, 2013. Dynamic Adaptation in Ant Colonies and Robot Swarms. A particular interesting engineering discipline is ...
ckrause.org
Computer Science Blog by Christian Krause: February 2013
http://www.ckrause.org/2013_02_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. February 20, 2013. Graph transformations are a powerful formalism for realizing any kind of pattern and rule-based modifications of high-level data structures. A lot of work has been done for the theoretical foundations of graph transformations and a large extent of this work is phrased in category theory. Possible matches of this pattern in a given host graph. In Henshin. This is implemented using constraint ...
ckrause.org
Computer Science Blog by Christian Krause: February 2014
http://www.ckrause.org/2014_02_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. February 5, 2014. Parallel Graph Pattern Matching in Henshin (Update). In my last post. So I executed our find-couples example on the real IMDB data (thanks for the data import, Tassilo! SAP Coding Masters 2013. A possible way to improve the performance is to parallelize the graph pattern matching algorithm. In the current development version of Henshin, this is actually implemented! Int partitions = 10; EGrap...
ckrause.org
Computer Science Blog by Christian Krause: July 2014
http://www.ckrause.org/2014_07_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. July 28, 2014. Henshin 1.0 (Update). 8 years after the first PoC and 4 years after its official launch, we are proud to announce the release of Henshin 1.0. Big data is a new third main domain of Henshin. You can obtain Henshin 1.0. From the release update site. Or clone our Git repo. To try it out! And of course we've build a critical bug into the release! Subscribe to: Posts (Atom). View my complete profile.
etaps.org
Workshops
http://www.etaps.org/index.php/2016/workshops
Monday, August 22, 2016. ETAPS 2016: 2-8 April 2016, Eindhoven, The Netherlands. Monday 4 April - Thursday 7 April. Satellite events in the weekend of 2-3 April and on Friday 8 April take place in the Auditorium. Building n.1), rooms CZ 1. Ground floor) and rooms CZ 9. Second level). The meeting of the IFIP WG 1.3. Will take place on 31 March-1 April 2016. Location: MultiMedia Paviljoen. Building n.74) MMP 3. Download of Workshop Pre-Proceedings. 8 April 2016, room CZ 13a. 2-3 April 2016, room CZ 16.
ckrause.org
Computer Science Blog by Christian Krause: Henshin 0.9.8: Working with Lists
http://www.ckrause.org/2013/05/henshin-098-working-with-lists.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. May 29, 2013. Henshin 0.9.8: Working with Lists. We are happy to announce the release of Henshin 0.9.8! Is a graph-based model transformation language for EMF. Besides a number of bugfixes and performance improvements for the UI, the new version brings support for edge indices. Which allow you to work with lists. Henshin 0.9.8 comes with a new feature called edge indices. You could write ref[0]. To match the i.
ckrause.org
Computer Science Blog by Christian Krause: June 2014
http://www.ckrause.org/2014_06_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. June 8, 2014. ISA: An Integer Sequence Analyzer. Is a proof of concept of an integer sequence analyzer. It consists of a very simple web interface for entering the beginning of an integer sequence. When clicking on Analyze. ISA tries to compute a formula for an infinite sequence that starts with the entered numbers. 2 3 6 18 108. The interface and the idea of ISA resembles OEIS. Subscribe to: Posts (Atom).
ckrause.org
Computer Science Blog by Christian Krause: August 2014
http://www.ckrause.org/2014_08_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. August 31, 2014. These models have of course a graph structure, but when taking a closer look, they are actually more than just that. The higher expressive power of metamodeling languages like EMF or MOF in comparison to simple graphs has some severe implications when trying to apply formal (mathematical) methods known from the graph transformation research community. From the EMF / MOF perspective, the descri...
ckrause.org
Computer Science Blog by Christian Krause: September 2014
http://www.ckrause.org/2014_09_01_archive.html
Computer Science Blog by Christian Krause. Thoughts on Software Engineering and Formal Methods. September 30, 2014. Building the Collatz Graph in Henshin. The other day I saw an online video about a number-theoretical problem called the Collatz conjecture. The video included some visualizations of the problem which were based on force-directed graph drawing. It was immediately clear to me that such visualizations could be also easily done in Henshin. The first one multiplies x. Subscribe to: Posts (Atom).
